Go check out @rustlang it's like C++ with consistent functional design and a Haskell-level rigorous compiler. (incl. monads and closures!)
-
-
Replying to @MarkHintz
@MarkHintz we don't have generic monads quite yet. Maybe someday, future isn't clear.1 reply 0 retweets 2 likes
Replying to @MarkHintz
@MarkHintz (the language feature is "higher kinded types". Many want it, but the devil is in the details)
4:44 PM - 22 Feb 2016
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.