Translucent Abstraction: Safe Views through Invertible Programming (Extended version)
Pattern matching is advantageous for understanding and reasoning about function definitions, but it tends to tightly couple the interface and implementation of a datatype. Since Wadler's \"views\" proposal two decades ago, significant effort has been invested in tackling this non-modu...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2009
|