Free Monads ←
Free Monads monads 23 Well, it’s been too long since my last post. A combination of things personal and professional have consumed my time. I’d intended for my next post to be about my project to port Clojure to the LLVM compiler. That will happen soon, but I want to get some thoughts down about Free Monads in Clojure. As is usually the case, this is more about me crystallizing my understanding of
Comonads ←
Comonads monads 23 While monads are a very useful abstraction for handling side effects, there’s a class of effects they can’t address. For those, you need a related abstraction called comonads. IO All programs must have side effects to be useful. There must exist a way for information to get into and out of a program. There are two ways for a program to aquire information to work on. Synchronous
Typed Clojure ←
Typed Clojure typed clojure 1 A digression I’m going to go off on a tangent for a bit and look at core.typed. This is more of a brain dump, so that I can refer to this material later. Before reading this post, you should read the rationale and the introduction/motivation for the core.typed project. I’ve barely begun looking at core.typed but I can already see that Ambrose has done some incredible
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Building Trees ←
Meta Machinations ←
Arrows ←
Arrowed Core.logic ←
