I had a similar experience when I spent some time playing with Elm. Being able to (re)model the structure of your program and have the compiler verify it is abs

I had a similar experience when I spent some time playing with Elm. Being able to (re)model the structure of your program and have the compiler verify it is absolutely freeing.