Explore >> Select a destination
|
You are here 
|
www.benjamin.pizza | ||
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
blog.shaynefletcher.org
|
|
| | | | | More type classes in OCaml More type classes Author: Joel Björnson About the author: Joel has been enjoying functional programming ... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | Edward Kmett's lens library made lenses talk of the town. This is, however, not a lens tutorial (let's wait for the upcoming Simon Peyton Jones's intro to lenses (edit: here it is)). I'm going to concentrate on one aspect of lenses that I've found intriguing -- the van Laarhoven representation. Quick introduction: A lens is... | |
| | | | |
www.jeremykun.com
|
|
| | | Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved. | ||
