Outer Web | Explore

Explore >> Select a destination

You are here		bartoszmilewski.com Kleisli Categories \| Bartosz Milewski's Programming Cafe
\|	\|	sitr.us sitr.us ? Category Theory proofs in Idris	9.8 parsecs away Travel
\|	\|	Dependent types provide an unprecedented level of type safety. A quick example is a type-safe printf implementation. They are also useful for theorem proving. According to the Curry-Howard correspondence, mathematical propositions can be represented in a program as types. An implementation that satisfies a given type serves as a proof of the corresponding proposition. In other words, inhabited types represent true propositions.	9.8 parsecs away Travel
\|	\|	blog.sigfpe.com A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)	8.9 parsecs away Travel
\|	\|		8.9 parsecs away Travel
\|	\|	blog.scottnonnenberg.com What's a Monad? Digging into Haskell \| Scott Nonnenberg	9.0 parsecs away Travel
\|	\|	My functional journey started with Javascript techniques, grew as I briefly explored a few functional languages, then bloomed as I got comfortable with Elixir. Going further has finally defined...	9.0 parsecs away Travel
\|	\|	jan.miksovsky.com Making Origami expressions easier to learn and use	100.7 parsecs away Travel
\|		Over this summer I've shifted the Origami expression language to be a closer dialect of JavaScript expressions.	100.7 parsecs away Travel