[k_bx]

Pure by default, type classes (traits), no inheritance, type level lifetime computation. It's not only more functional it's much more type-safe and closer to Haskell in spirit

[frollogaston]

I like most of those decisions, but they aren't functional programming