Update F# Language Reference for F# 4.1 constructs

[cartermp]

F# 4.1 adds a lot of smaller things, mostly augmenting existing features. There were also changes in the core library, but those are not documented here because they are part of an API reference.

Struct stuff

• Struct Tuples - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/tuples
• Struct Records - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/records
• Struct DUs - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/discriminated-unions
• Structs (talk about the above and link to them) - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/structures

Literals

• Numeric Literals - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/

Keywords

• fixed support (perhaps new article)- https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/keyword-reference
• Result (new article)
• namespace rec and module rec - namespaces, modules, and perhaps new article about recursive definitions
• Consuming ref returns - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/reference-cells
• Optional Arguments (Optional and DefaultValueParameter attrs) - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/ ??
• SRTP (use type name in definition) - https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/statically-resolved-type-parameters

Misc

• CallerInfo argument attributes

[pblasucci]

In the discussion on structs, it might be worth noting when one can, or can not, explicitly control the layout of the struct. This technique is often used when inter-operating with unmanaged code (i.e. Platform/Invoke). It also makes for a very simple binary (de)serializer. From my informal tests, this is mostly a "gotcha" with multiple-case struct unions (as reported in microsoft/visualfsharp#2647). However, I've not tested single-case struct unions or struct tuples. Meanwhile, struct records and struct classes (is that the correct term?) seem to behave as expected.

[cartermp]

#1916

[mairaw]

@cartermp is this done? all subtasks are marked as done.

[cartermp]

Yup!