Quale parola chiave riservata nella specifica del linguaggio F # dovrebbe essere implementata in vNext?

Question

Ora che FSharp v1 è entrato in Beta è ora di chiedere su vNext.

Il FSharp language spec definisce le seguenti parole chiave riservate:

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 

quale di questi vorresti vedere realizzati e perché?

Una parola chiave per risposta, per favore.

Answer 1

In qualche modo non riesco a seguire il collegamento, ma nel caso in cui lo atomic si applichi alla memoria transazionale del software incorporato, questo è il mio preferito.

Answer 2

Il mio voto è per tailcall.

Se capisco correttamente l'intenzione, questa sarebbe una parola chiave per contrassegnare le funzioni ricorsive che l'autore intende essere ricorsivo della coda. Se per qualsiasi ragione il compilatore non può conformarsi, un messaggio diagnostico può essere di grande aiuto.

Così com'è ora, se non si riesce a strutturare la vostra funzione ricorsiva correttamente la prima volta che si sarà informato di questo è l'eccezione StackOverflow (No pan intended)

Answer 3

Buona domanda ma difficile da rispondere. Non puoi indovinare esattamente lo scopo di ogni parola chiave riservata, giusto?

Dal mio punto di vista, ho potuto vedere alcuni casi d'uso utili per fixed (buffer di dimensioni fisse).

Answer 4

Vorrei votare per eager, se ciò significava che la valutazione era pigra per impostazione predefinita (come in Haskell, ma a differenza dell'attuale F #).

Answer 5

tratto, assumere tratti è qualcosa come i tratti Scala.