Comment Comment by 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. parent popara 12 years ago
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.