Explore >> Select a destination
|
You are here 
|
kuruczgy.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b... | |
| | | | |
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... | |
| | | | |
www.pathsensitive.com
|
|
| | | | | "Interfaces are abstractions" - Olaf Thielke , the "Code Coach" "Interfaces are not abstractions" - Mark Seeman , author of Code that Fit... | |
| | | | |
joeprevite.com
|
|
| | | My notes and thoughts on Writing an Interpreter in Go by Thorsten Ball | ||
