¿Por qué el tipo de opción Scala no se llama Quizás, como en Haskell? [cerrado]

13

¿Por qué el tipo de opción Scala no se llama Quizás, como en Haskell?

Tal vez tenga mucho más "sentido semántico" para mí, pero tal vez Option tiene un comportamiento diferente del que no soy consciente.

¿Hay alguna razón en particular por la que Option en Scala no se haya llamado Quizás?

fnl
fuente

Respuestas:

23

Scala también está inspirado en Ocaml, que usa Option .

Las opciones son un tipo estándar de Ocaml que puede ser None(indefinido) o Some xdonde x puede ser cualquier valor. Las opciones se usan ampliamente en Ocaml para representar valores indefinidos (un poco como NULL en C, pero de forma segura y de tipo) ...

Creo que el nombre elegido es cuestión de gustos.

Mik378
fuente
8
F # también. La página en Wikipedia es en.wikipedia.org/wiki/Option_type . Parece ser un nombre más estándar queMaybe
KChaloux
2
Ocaml recibe el nombre de SML. En un vistazo rápido a través de Los siguientes 700 lenguajes de programación de Landin, no noté un tipo de opción, por lo que SML podría ser el origen del nombre.
Peter Taylor
1
Un argumento a favor Optiones que es un optionalvalor (o lo obtienes o no). Maybeimplica cierto grado de incertidumbre por parte del programador. Tal vez hay un valor? No lo sé ... ¿Debo obtener un valor? La redacción optional valuesuena más intencional en mi opinión.
Jochem Kuijpers
6

Una mejor pregunta aquí sería por qué se llama el tipo de opción de Haskell Maybe. El tipo de opción de ML es probablemente el abuelo de todos los tipos de opción, y se llama option.

En cualquier caso, esta es una pregunta terminológica, por lo que no tendrá una respuesta basada en principios. A las personas que eligieron el nombre en Haskell les gustó más, eso es todo.

sacundim
fuente
2
¿Qué le hizo repetir la información en una nueva respuesta que ya está bien cubierta por la respuesta aceptada y sus comentarios subyacentes?
Robert Harvey
44
@RobertHarvey ML, habiendo establecido el precedente, es información nueva, el verdadero problema es que la respuesta es conjeturar incluso eso.
djechlin
OKAY. ¿Tienes una referencia o algo más que una opinión? Porque las opiniones están mejor representadas como comentarios, no como respuestas. Especialmente tu segundo párrafo.
Robert Harvey
2
Def. Opción: El acto de elegir; elección. Def. Quizás; posiblemente; Una incertidumbre; Una respuesta incierta. Para mí eso es suficiente para decir Quizás es el nombre mucho mejor desde un punto de vista puramente lingüístico. "Opción" implica que hay opciones (múltiples), mientras que el nombre monádico "Quizás" es mucho más importante: una cosa o nada. Pero sí, ML (y, por lo tanto, Opción) fue lo primero, por lo que esa puede ser la razón del mal habito de nombrar (y vea el comentario de Peter Taylor a la respuesta correcta anterior: sí hace referencia a ML).
fnl
@fnl Vea mi comentario sobre la otra respuesta; Creo que hay un caso razonable para hacer que optionsea ​​una abreviatura optional. En cuyo caso, las opciones (múltiples) se reducen a solo dos: está ahí o no.
Jochem Kuijpers