phieromnimon

So it's like a unikernel of life?

Elixir has optional typespecs that can be statically analyzed with a tool called dialyzer: http://learnyousomeerlang.com/dialyzer

Can you please explain how this differs from a dehumidifier?

They decided that it was too confusing and suggested that developers seek other solutions.

I wrote an Elixir wrapper around it 2 days ago, and pushed it up to hex with the name gen_fsm. Here's the github page: https://github.com/pavlos/gen_fsm if you want to check it out.