Comment by _7acn

What do you think about F#, then? It already covers everything you mentioned and it has discriminated unions.