Explore >> Select a destination
|
You are here 
|
kndrck.co | ||
| | | | |
julesh.com
|
|
| | | | | (Recall that monads are not a good topic for your first blog post.) I intend to bootstrap a blog by writing about 2 of my old papers, Monad Transformers for Backtracking Search and The Selection Monad as a CPS Transformation. (Wall Street will be spared for the time being.) I'm going to write about this... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | In the previous installment of Categories for Programmers, Categories Great and Small, I gave a few examples of simple categories. In this installment we'll work through a more advanced example. If you're new to the series, here's the Table of Contents. Composition of Logs You've seen how to model types and pure functions as a... | |
| | | | |
jaspervdj.be
|
|
| | | | | Personal home page and blog of Jasper Van der Jeugt. | |
| | | | |
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. | ||
