Alpaca – Functional programming inspired by ML for the Erlang VM
I continue to be believe even as a static typing fan that static types are fundamentally incompatible with OTP and it's goals.<p>Distributed systems just seem to too thorny for static types to subjugate/bend to their will.<p>Sure, you can declare global invariants ahead of time that your cluster must uphold, but it's a bit less "distributed" in a real sense then