Từ khóa dành riêng nào trong thông số ngôn ngữ F # nên được triển khai trong vNext?

Question

Bây giờ FSharp v1 đã đi vào Beta, đã đến lúc hỏi về vNext.

Các FSharp language spec xác định từ khóa reserved sau:

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 

mà các bạn muốn xem thực hiện và tại sao?

Vui lòng đợi một từ khóa cho mỗi câu trả lời.

Answer 1

Tôi bằng cách nào đó không thể theo liên kết của bạn, nhưng trong trường hợp atomic áp dụng cho bộ nhớ giao dịch phần mềm tích hợp, đây là yêu thích của tôi.

Answer 2

Bỏ phiếu của tôi dành cho tailcall.

Nếu tôi hiểu ý định chính xác thì đây sẽ là từ khóa để đánh dấu các hàm đệ quy mà tác giả dự định sẽ đệ quy đuôi. Nếu vì lý do nào đó trình biên dịch không thể tuân thủ, một thông báo chẩn đoán có thể giúp ích rất nhiều.

Khi đứng bây giờ nếu bạn thất bại trong việc cấu trúc chức năng đệ quy của bạn đúng là lần đầu tiên bạn sẽ được thông báo về vấn đề này là ngoại lệ StackOverflow (Không chảo dự định)

Answer 3

Câu hỏi hay nhưng khó để trả lời. Bạn không thể đoán chính xác mục đích của từng từ khóa dành riêng, đúng không?

Từ quan điểm của tôi, tôi có thể thấy một số trường hợp sử dụng hữu ích cho fixed (bộ đệm kích thước cố định).

Answer 4

Tôi muốn bỏ phiếu cho eager, nếu điều đó có nghĩa là đánh giá đã bị bỏ qua theo mặc định (như trong Haskell, nhưng không giống như F # hiện tại).

Answer 5

đặc điểm, đặc điểm giả định giống như đặc điểm Scala.