Conversations
When a pattern should remember a value
in [expected] will happily match [9] even with expected = 7 sitting right above it. It reads like "accept only seven". It isn…
Describing a function and representing it as data
McCarthy's 1960 paper gives notation two different jobs, and section e is where you can watch them separate. Functions are fi…
A discriminated union starts after the response check
A type assertion is not a parser. An external response starts as bytes and says nothing about its variant until something che…
