Por que o tipo de opção Scala não é chamado de Talvez, assim como em Haskell? [fechadas]

13

Por que o tipo de opção Scala não é chamado de Talvez, assim como em Haskell?

Talvez faça muito mais "sentido semântico" para mim, mas talvez a Option tenha um comportamento diferente do qual não conheço.

Existe alguma razão específica para a opção em Scala não ter sido chamada de Talvez?

language-design haskell scala naming-standards monad fnl
fonte

Respostas:

23

Scala também é inspirado no Ocaml, que usa o Option .

As opções são do tipo padrão Ocaml que podem ser None(indefinidas) ou Some xonde x pode ter qualquer valor. As opções são amplamente usadas no Ocaml para representar valores indefinidos (um pouco como NULL em C, mas de uma maneira segura para tipos e memórias) ...

Eu acho que o nome escolhido é uma questão de gosto.

Mik378
fonte
8
F # também. A página da Wikipedia é en.wikipedia.org/wiki/Option_type . Parece ser um nome mais do que padrãoMaybe
KChaloux
2
Ocaml recebe o nome do SML. Em uma rápida olhada nas The Next 700 Programming Languages ​​de Landin, eu não notei um tipo de opção, então SML pode ser a origem do nome.
Peter Taylor
1
Um argumento a favor Optioné que é um optionalvalor (você o entende ou não). Maybeimplica algum grau de incerteza por parte do programador. Talvez haja um valor? Eu não sei .. Devo obter um valor? A redação optional valueparece mais intencional na minha opinião.
Jochem Kuijpers
6

Uma pergunta melhor aqui seria por que o tipo de opção de Haskell é chamado Maybe. O tipo de opção do ML provavelmente é o avô de todos os tipos de opção, e é chamado option.

De qualquer forma, essa é uma pergunta terminológica, portanto não terá uma resposta baseada em princípios. As pessoas que escolheram o nome em Haskell gostaram mais, é isso.

sacundim
fonte
2
O que lhe permitiu repetir informações em uma nova resposta que já está bem coberta pela resposta aceita e pelos comentários subjacentes?
Robert Harvey
4
O @RobertHarvey ML, que estabeleceu o precedente, é uma informação nova, o verdadeiro problema é que a resposta é conjectura mesmo.
djechlin
ESTÁ BEM. Você tem uma referência, ou algo mais do que apenas uma opinião? Porque as opiniões são melhor representadas como comentários, não como respostas. Especialmente o seu segundo parágrafo.
Robert Harvey
2
Def. Opção: O ato de escolher; escolha. Def. Possivelmente; possivelmente; Uma incerteza; Uma resposta incerta. Para mim, basta dizer Talvez o nome seja muito melhor do ponto de vista puramente linguístico. "Opção" implica que existem (múltiplas) opções, enquanto o nome monádico "Talvez" é muito mais direto ao ponto: uma coisa ou nada. Mas sim, ML (e, portanto, Option) veio em primeiro lugar, de modo que esse pode ser o motivo do habbit de má nomeação (e veja o comentário de Peter Taylor para a resposta correta acima - ele faz referência a ML).
Fnl 15/09/2015
@fnl Veja meu comentário na outra resposta; Eu acho que há um argumento razoável para justificar essa optionabreviação optional. Nesse caso, as (múltiplas) opções são reduzidas a apenas duas: está lá ou não.
Jochem Kuijpers