Explore >> Select a destination
|
You are here 
|
gbracha.blogspot.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Composition. See the Table of Contents. The category of types and functions plays an important role in programming, so let's talk about what types are and why we need them. Who Needs Types? There seems to be... | |
| | | | |
typesanitizer.com
|
|
| | | | | An informal survey of the design space for ad-hoc polymorphism in a programming language. | |
| | | | |
weblog.raganwald.com
|
|
| | | | | ||
| | | | |
donsbot.com
|
|
| | | A common misconception from non-Haskellers is that Haskell, when compiled, pays an ongoing penalty for supporting laziness by default. The idea is that in a lazy language, every expression would suspend to a heap-allocated, garbage collected, thunk. Even if you were to use the variable immediately. That sounds scarily expensive. In the real world however,... | ||
