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&#x27;s goals.<p>Distributed systems just seem to too thorny for static types to subjugate&#x2F;bend to their will.<p>Sure, you can declare global invariants ahead of time that your cluster must uphold, but it&#x27;s a bit less &quot;distributed&quot; in a real sense then