I suggest we ...

Add support for GADTs

Generalized Algebraic Data Types essentially extend standard union types to allow different generic instantiations when defined recursively.

You can see a simple explanation of how they work in haskell here: https://en.wikibooks.org/wiki/Haskell/GADT

They open the door to such fantastic type safe data structures as heterogeneous lists and so can vastly improve type safety within the language.

219 votes
Vote
Sign in
(thinking…)
Sign in with: Facebook Google
Signed in as (Sign out)
You have left! (?) (thinking…)
Richard Minerich shared this idea  ·   ·  Flag idea as inappropriate…  ·  Admin →

5 comments

Sign in
(thinking…)
Sign in with: Facebook Google
Signed in as (Sign out)
Submitting...

F# Language

Feedback and Knowledge Base