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 developmen

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://learnyouahaskell.com/ http://learnyouanagda.liamoc.net/ http://learnyouanagda.liamoc.net/ When I catch some time I will fiddle with Elixir also mentioned here in comments.