Amazing. Adding the ability to do type driven design on top of the fault tolerance features of Erlang will make it easier to create correct AND fault tolerant a

Amazing. Adding the ability to do type driven design on top of the fault tolerance features of Erlang will make it easier to create correct AND fault tolerant applications. Let it fail, but not when you already know at compile time that it's wrong.