4 ms·
Are you sure you aren't thinking of Idris or LinearML? Standard ML does not have linear or affine logic AFAIK.
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.
- pjmlp 1y agoThe state machine approach described in the article has nothing to do with linear or affine types.
- jfauwasdf 1y agoWith 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 machines themselves don't have anything to do with linear or affine types but this article is about implementing one in rust which has affine logic.
- pjmlp 1y agoIt can be modeled as part of transition states on the type system, doesn't necessarily need affine logic.
- jfauwasdf 1y agoAgreed 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 that.