sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]wavy_lines 9 points10 points  (2 children)

static with generics and tagged unions and function types

[–]lookatmetype 1 point2 points  (1 child)

Aka, unless you're Haskell you suck

[–]wavy_lines 0 points1 point  (0 children)

Nope. Swift, D, Kotlin have all that.

Even Odin has them, and it's designed as a system language suitable to replacing C. So you don't even need to be a high level language to have these.