4 ms·
As long as we are here, with experienced programmers of both "sides", here's a question I've been wondering for some time: is it possible to create a haskell-l
by napsterbr 9y ago
As long as we are here, with experienced programmers of both "sides", here's a question I've been wondering for some time: is it possible to create a haskell-like type system on an erlang-like language?
Erlang has dialyzer, which is great but it's based on optimistic typing. Hot-reloading aside, what would be the issue to creating such language? Maybe some issue with the process pids, which are quite dynamic?
- naasking 9y agoThere is no issue. Plenty of typed process calculi exist, and concurrent ML existed back in the late 90s and features channels and processes.
- Tarean 9y agoThere is Cloud Haskell[1] which is reasonably close to a Haskell version of Erlang. It forces you to run the same code everywhere while in Erlang you could just hope that the code everywhere is compatible, though. [1] http://haskell-distributed.github.io/ http://haskell-distributed.github.io/