Encapsulation Considered Harmful
You heard me. Encapsulation is an obstacle to the reuse of code. When I say encapsulation, I mean having a region of your program that knows or has access to some information about the implementation of something, and hiding that information from the rest of the program. If you have another definition of encapsulation, I’m [...]
Searchable Data Types
A few years ago, MartÃn Escardó wrote an article about a seemingly-impossible program that can exhaustively search the uncountably infinite "Cantor space" (infinite streams of bits). He then showed that spaces that can be thus searched form a monad (which I threw onto hackage), and wrote a paper about the mathematical foundations which is seemingly [...]
Recent Comments