Gauche > Archives > 2012/10/15

2012/10/15 17:03:04 UTCshiro

なるほどbindでモナドの型を動的束縛か http://d.hatena.ne.jp/wasabiz/20121015/1350310061 しかしジェネリックなモナド関数を書こうとするとunitがbindの外に出てくる場合がないかな。これのfoldMとかseqMで入力が空の場合とか http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3AExplicitMonad

2012/10/15 17:13:09 UTCshiro

あとbindで動的束縛作るとfoldMやmapMで繰り返しの度にスタック消費することになるなあ。まあもともとCLはTCO無いからこだわるところじゃないかもしれんが

2012/10/15 21:27:29 UTCshiro

これってGoogle Mapの発明なのかな? KeyholeでMikeがやってたっぽい気もするhttp://d.hatena.ne.jp/kochizufan/20120927/1348749299 まあ買収されたんだから同じことかもしれないが