Refactoring Pattern Matching
Defining functions by pattern matching over the arguments is advantageous for understanding and reasoning, but it tends to expose the implementation of a datatype. Significant effort has been invested in tackling this loss of modularity; however, decoupling patterns from concrete representations whi...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
2012
|