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

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas.

Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem .

Fechado há 4 anos .

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?

— fnl
fonte

Respostas:

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

F # também. A página da Wikipedia é en.wikipedia.org/wiki/Option_type . Parece ser um nome mais do que padrãoMaybe

— KChaloux

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

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

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

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

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

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