5 ms·

The obvious advantage is typed channels. http://haskell-distributed.github.io/documentation.html#typed_channels http://haskell-distributed.github.io/documentat

The obvious advantage is typed channels. http://haskell-distributed.github.io/documentation.html#typed_channels http://haskell-distributed.github.io/documentation.html#type...

fenollp 11y ago
You can typecheck your had hoc Erlang protocols using Concuerror and Dialyzer
- chongli 11y ago
  Haskell's types are used for a lot more than type-checking.
- tel 11y ago
  Dialyzer is nice, no doubt! But to compare it to Haskell's typing is disingenuous at best. Success typing captures far less information and maintains far fewer invariants.