Explore >> Select a destination

You are here

 gelisam.blogspot.com
Bloggy Badger: Computing with Impossible Types
| | serokell.io
Type Witnesses in Haskell
5.7 parsecs away

Travel
| | Learn about the concept of type witness and where it can be useful in this blog post on type-level programming in Haskell.
| | chrispenner.ca
Typesafe Versioned APIs
6.2 parsecs away

Travel
| | The Personal blog and musings of Chris Penner, a designer, developer and future opsimath.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
6.4 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | bartoszmilewski.com
Function Types | Bartosz Milewski's Programming Cafe
19.1 parsecs away

Travel
| 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...