Elixir

Lixico is a dynamically typed language, so you never get quite the same guarantees as in a language like rest or darot for that matter. But still it's only using these conventional things for doing the same kind of approaches. And this actually born out of a project I've been working on for a while. Lixico could benefit from a bit more support from the language itself to give you something to model these more complex cases.