Functional Systems Programming
With the advent of modern functional languages it becomes
attractive to rethink the way we have been programming thus far, and to
demonstrate the essence of many things we have been doing thus far, by
encoding them in a more abstract way.
- Prof. S. Doaitse Swierstra