Haskell's Children
I&#x27;d claim that Scala is also heavily inspired by Haskell: it&#x27;s probably closer to ML, but so is Rust (which is on the list). Heavy use of &#x27;flatMap&#x27; (i.e. monadic bind) is clearly Haskell-inspired, and this is more obvious in popular libraries like scalaz and cats. The &#x27;for comprehension&#x27; language feature is clearly inspired by &#x27;do notation&#x27; (IIRC Python&#x27;s list comprehensions are inspired by Haskell&#x27;s too).<p>Elm is a more special-purpose child, but seems to have had an impact on JS practices, as a &#x27;gateway&#x27; to functional programming. PureScript is also interesting but hasn&#x27;t had as big an effect.<p>I agree with the article that Idris is really nice; although I&#x27;d lump Agda in with it as a dependently-typed child of Haskell, and contrast them both against Coq (rather than lumping Agda and Coq together).<p>I&#x27;ve also played around with Curry and found it quite interesting (functional logic programming), although it&#x27;s essentially a research language.