jfauwasdf

4 ms·

1. 1.▲
   by jfauwasdf 1y ago

   Agreed but I never made the claim they couldn't be. Can you expand on the ideas from Standard ML that are referenced in the article? That's what I'm interested in and didn't intend to go on a tangent here. Apologies for
2. 2.▲
   by jfauwasdf 1y ago

   With respect to state machine transitions FTA: "Changing from one state to another should consume the state so it can no longer be used." consume is a dog whistle for affine logic, is it not? also you are right in that state machi
3. 3.▲
   by jfauwasdf 1y ago

   Are you sure you aren't thinking of Idris or LinearML? Standard ML does not have linear or affine logic AFAIK.
4. 4.▲
   by jfauwasdf 1y ago

   > you can never use range over a channel in production code. You must always do any select on a channel alongside a shutdown (bailout) channel, so there will always be at least two channels being select-ed on. What if you spawned a new g