年末年始なので何か作ろうかなと思いhaiji*1というライブラリを作ってみてる． まぁ，なんというか最近ansible*2よく使ってたこともあってイロイロ思うトコロあったりなかったり．大概のテンプレートエンジンにおいて，個人的にイマイチ気に入らないトコロは…

この記事は Haskell Advent Calendar 2014 6日目の記事です．関数プログラミング実践入門 第6章 最終節にあるロジックパズルは，一体なにをどうやるとこのインターフェース設計になるのかという話．元々内容的に入門っぽくならないものないんだけど，特徴的…

この記事は Theorem Prover Advent Calendar 2014 の4日目の記事です．Agdaがコンパイルできないんだがとか，agda-modeってEmacsだけなんでしょ？とか，そういった話をちょくちょく耳にするし，ProofSummit2014で明日の記事担当のamutakeくんがブラウザからC…