You are here |
matteo.vaccari.name | ||
| | | |
hypothesis.works
|
|
| | | | Test faster, fix more | |
| | | |
www.serpentine.com
|
|
| | | | Bryan O'Sullivan's blog | |
| | | |
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... | |
| | | |
tm.durusau.net
|
|
| |