graded monad から monad への埋め込みについて，考えたので，その覚書．

Graded Monad のメタ言語，普通にプログラミング言語で実装できそうやなって思って，ちょっとやってみることにした．で，前ね …

graded monad について聞きかじって，色々調べたのでそのメモ． graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい．エフェクトシステ …

Spark は spark-shell という対話式のお試し環境がついていて，かなりちょっと実行してみる系がやりやすそう．なので，そのための …

GHC で LLVM を通してビルドをしたかったので，設定した．その備忘録．

Haskell の IO モナドって，中身どうなってたんだろと気になってて，ちょっと調べてみた．そのメモ．

ちょっと興味があったので， Apache Spark 関連についていくつか調べたことメモる．なお，僕は最近まで Apache Spark は MapReduce してると思っ …

クロスプラットフォームのエラー監視を行う Sentry というサービスがある．ブログに試しに導入してみたので，それにつ …

某勉強会がコーヒーブレイクタイムに入って，ブレイクタイムから抜けたら何もかも忘れてそうだったので，数式レ …

ふと， KaTeX ってサーバサイドレンダリングできないかと思って試してみたら，普通に楽にできそうだったので，ブログで …