> Fewer abstractions, and an easy to understand runtime

> Strong static guarantees

> Functional programming constructs. Especially pattern matching and sum types.

> Good performance

> Good documentation

I feel this is also Elm!