Do note that Haskell is moving forward all the time, and at a rate faster than mainstream is adopting these ideas.<p>Mainstream languages have lambdas, more immutability and stronger types? That&#x27;s great (non-sarcastically!). Haskell now has GADTs, rank-n types, polymorphic kinds, type families (poor name for type-level functions), and more.<p>These things make Haskell still quite compelling over other more mainstream languages, if you&#x27;re willing to learn.