jfauwasdf | 10 months ago | on: Pretty State Machine Patterns in Rust (2016)
jfauwasdf's comments
jfauwasdf | 10 months ago | on: Pretty State Machine Patterns in Rust (2016)
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 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.
jfauwasdf | 10 months ago | on: Pretty State Machine Patterns in Rust (2016)
Are you sure you aren't thinking of Idris or LinearML? Standard ML does not have linear or affine logic AFAIK.
jfauwasdf | 10 months ago | on: Problems with Go channels (2016)
> 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 goroutine that waits for a waitgroup to complete and then closes the channel?
page 1
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.