You are here |
www.jeremykun.com | ||
| | | |
blog.hde.design
|
|
| | | | ||
| | | |
bartoszmilewski.com
|
|
| | | | In the previous instalment of Category Theory for Programmers we talked about the category of types and functions. If you're new to the series, here's the Table of Contents. You can get real appreciation for categories by studying a variety of examples. Categories come in all shapes and sizes and often pop up in unexpected... | |
| | | |
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... | |
| | | |
nithinbekal.com
|
|
| | Nithin Bekal's blog about programming - Ruby, Rails, Vim, Elixir. |