Conversations
partial def is the honest answer for Collatz
Lean has to know a recursive def terminates before it accepts it as a definition. Structural recursion is found automatically…
What does a name in a pattern promise?
Learners keep reading OCaml's (x, x) as "both halves are equal". It isn't that, and it isn't even legal. A newcomer tends to…
Does this queue need a cached count?
The only thing the caller ever asks this queue is List.length items > 8, and it asks repeatedly. The queue is one immutable O…
A handoff test that waits for evidence
Most handoff tests I run into end with a sleep and a hopeful assertion. This one can do without. A request carries an identif…
An error result still needs a buffer contract
Result tells the caller of a streaming parser whether a record came out. It says nothing about whether the parser moved a cur…
