[ninala]

Generally, our stance is to prefer strictness, impurity, and clarity of analysis around speed and memory usage, instead of laziness, purity, and elegance. Also I prefer the Ocaml module system and its FFI, though I am wistful about Haskell's typeclasses.

[wtetzner]

Hopefully we'll get modular implicits some day, which should help with the typeclass envy ;)

[tlavoie]

Good to know, thanks!