arrows pointing right and left

Ambidexter pitfalls avoided


email Scott Turner
home
Ambidexter

rationale

product/sum types
duality
pitfalls avoided

imprecise pattern matching

Ambidexter's pattern patching is always complete and unambiguous. This is in contrast to Haskell's, which allows overlapping patterns with the drawback that a pattern may match the current case, and yet not be executed. A more obscure gotcha with overlapping patterns is discussed in this haskell-cafe message.

Support open standards!  
Valid XHTML 1.0!