¿Qué palabra clave reservada en la especificación de lenguaje F # debe implementarse en vNext?

Ahora que el FSharp v1 ha entrado en Beta, es hora de preguntar por vNext.¿Qué palabra clave reservada en la especificación de lenguaje F # debe implementarse en vNext?

El FSharp language spec define las siguientes palabras reservadas:

atomic break checked component const constraint constructor  
continue eager fixed fori functor include  
method mixin object parallel params process protected pure  
sealed tailcall trait virtual volatile

cuál de estos le gustaría ver implementadas y por qué?

Una palabra clave por respuesta, por favor.

Fuente

2009-11-26 Daniel Asher

¡Justo cuando aprendo un idioma, aparece otro! Estoy saltando a Z # –

@Aiden: lol, en realidad busqué en Google por "Z #" ... –

Debería haber un wiki de la comunidad – Brian

De alguna manera no puedo seguir su enlace, pero en el caso de que atomic se aplique a la memoria transaccional del software incorporado, este es mi favorito.

Fuente

2009-11-26 20:25:22 Dario

Sí, todo lo que hace que el código simultáneo y seguro sea más alcanzable para los simples mortales. –

Mi voto es para tailcall.

Si entiendo la intención correctamente, esta sería una palabra clave para marcar las funciones recursivas que el autor intentaría ser recursivo de cola. Si por alguna razón el compilador no puede cumplir, un mensaje de diagnóstico puede ser de gran ayuda.

Tal como está ahora, si usted no puede estructurar su función recursiva correctamente la primera vez que se le informará de esto es la excepción stackoverflow (Sin bandeja previsto)

Fuente

2009-11-26 20:31:42 mfeingold

Tenía la impresión de que el compilador de F # emitía instrucciones de IL de .tail y era capaz de detectar recursiones de llamadas de cola. –

Sí lo hace si escribió su función correcta. Pero si hiciste algo para que no pueda ser recursivo, no lo sabrás hasta que veas la Excepción – mfeingold

Sin necesidad de una palabra clave, el compilador debería advertirme (opcionalmente fallar) cuando vea una función rec sin cola de todos modos . –

Buena pregunta, pero difícil de responder. No se puede adivinar exactamente el propósito de cada palabra clave reservada, ¿verdad?

Desde mi punto de vista, pude ver algunos casos de uso útiles para fixed (búferes de tamaño fijo).

Fuente

2009-11-26 20:45:24 Stringer

Yo votaría por eager, si eso significaba que la evaluación era floja por defecto (como en Haskell, pero a diferencia del actual F #).

Fuente

2009-11-26 20:54:24

rasgo, asumiendo que el rasgo es algo así como los rasgos de Scala.

Fuente

2009-11-27 07:32:46

He votado a favor y he comenzado este hilo: http://cs.hubfs.net/forums/thread/12413.aspx en hubFS con mi razonamiento y algunas preguntas. –

¿Qué palabra clave reservada en la especificación de lenguaje F # debe implementarse en vNext?

Respuesta

Cuestiones relacionadas