!SLIDE
monads are simple
!SLIDE
a monad is a monoid in the category of endofunctors
reiddraper
/ foo.clj
Created
December 18, 2012 22:19
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (require '[sumo.client :as sumo]) | |
| (require '[clojure.pprint :as pp]) | |
| ;; make sure that allow_mult true is set on this bucket first | |
| (def client (sumo/connect-pb)) | |
| ;; make sure ping is working | |
| (sumo/ping client) | |
| ;; true |
reiddraper
/ erlang-monads.markdown
Created
January 14, 2013 22:24
reiddraper
/ iset.erl
Created
January 15, 2013 17:09
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(iset). | |
| -include_lib("eqc/include/eqc.hrl"). | |
| -export([empty/0, | |
| singleton/1, | |
| union/2, | |
| member/2, | |
| to_list/1]). | |
| -compile(export_all). |
reiddraper
/ iset.erl
Created
January 15, 2013 18:55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(iset). | |
| -include_lib("eqc/include/eqc.hrl"). | |
| -export([empty/0, | |
| singleton/1, | |
| difference/2, | |
| union/2, | |
| member/2, | |
| to_list/1]). |
reiddraper
/ amt.erl
Created
February 15, 2013 23:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(amt). | |
| -compile(export_all). | |
| -type kv() :: {Key :: integer(), Value :: term()}. | |
| -type tree() :: {tree, orddict:orddict()} | {value, kv()}. | |
| -type either(A) :: {ok, A} | {error, term()}. | |
| -spec empty() -> tree(). | |
| empty() -> |
reiddraper
/ amt.erl
Created
February 16, 2013 04:46
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(amt). | |
| -compile(export_all). | |
| -type kv() :: {Key :: integer(), Value :: term()}. | |
| -type tree() :: {tree, orddict:orddict()} | {value, kv()}. | |
| -type either(A) :: {ok, A} | {error, term()}. | |
| -spec empty() -> tree(). | |
| empty() -> |
reiddraper
/ radix.erl
Created
February 18, 2013 20:49
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(radix). | |
| -compile(export_all). | |
| -record(tree, {value :: maybe(), | |
| children :: children()}). | |
| -type maybe() :: error | {ok, term()}. | |
| -type tree() :: #tree{}. | |
| -type children() :: orddict:orddict(). |
reiddraper
/ amt.erl
Created
February 21, 2013 18:59
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(amt). | |
| -compile(export_all). | |
| -type kv() :: {Key :: integer(), Value :: term()}. | |
| -type tree() :: {tree, orddict:orddict()} | {value, kv()}. | |
| -type either(A) :: {ok, A} | {error, term()}. | |
| -spec empty() -> tree(). | |
| empty() -> |
reiddraper
/ radix.erl
Created
February 21, 2013 19:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -module(radix). | |
| -include_lib("eqc/include/eqc.hrl"). | |
| -compile(export_all). | |
| -record(tree, {value :: maybe(), | |
| children :: children()}). | |
| -type maybe() :: error | {ok, term()}. | |
| -type tree() :: #tree{}. |
reiddraper
/ concatenative-langs-reading-list.markdown
Created
February 27, 2013 04:23
I've been reading a bit about concatenative languages recently, and figured I'd compose a short reading list for others interested.
I won't explain what a concatenative language is, but I do want to quickly say a couple of the reasons I find them interesting.
I already like to write really tiny functions, and concatenative languages make it really easy to factor a function into a smaller one. Here's an example, in a made up concatenative language: