[popara]

The thing that I am studying in my spare time are Agda and Haskell.

Haskell gave rise to bunch of strongly typed DSLs both for front-end and backend development.

Agda is sort of derivative of Haskell, and gives you powers to reason MUCH MUCH clearer about your code and what you want it to do.

I have wet dreams of using those languages on my everyday development. Esp Haskell.

http://learnyouahaskell.com/ http://learnyouanagda.liamoc.net/

When I catch some time I will fiddle with Elixir also mentioned here in comments.