Explore >> Select a destination
|
You are here 
|
kuruczgy.com | ||
| | | | |
programmingmadecomplicated.wordpress.com
|
|
| | | | | There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For... | |
| | | | |
adam.chlipala.net
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
blog.aurel32.net
|
|
| | | The long awaited James Webb Space Telescope has finally been successfully launched today. It is a Xmas gift for many people who have been waiting... | ||
