3 ms·
Interesting. How does non-strict evaluation match?
by JoelMcCracken 5y ago
Interesting. How does non-strict evaluation match?
- wyager 5y agoBecause in hardware you can have undefined states (bottom) and it’s fine as long as you don’t observe the undefined state (pattern match on bottom). The only difference is pattern matching on Unit, which is represented by a zero-width bus in hardware. Beyond that, non-termination “contaminates” a value just like undefinedness “contaminates” a circuit.