|
|
|
|
|
|
by mrkeen
15 days ago
|
|
|
> Nondeterminism is not a feature you want. I can get behind the sentiment, but you absolutely need nondeterminism. You can separate the d from the non-d, but only Haskellish languages even attempt it. It's a coarse separation to make (IO vs non-IO), which is where effect systems come in - I guess you can categorise code into more fine-grain buckets. The 'algebraic' part is currently beyond my knowledge. |
|
|