旧ブログ記事置き場

旧ブログ『これは圏です──きっと何者にもなれない次の読者へ続く。』の記事を今更移行しました。 もうかれこれ三、四年前くらいに、はてなブログが当時は貧弱で欲しい機能がなかったので自分で一から 当時出たてだったYesodで作ったやつでしたが、もうあっちに投稿しなくなって久しいですし、 一々SPAMメールを削除するのも面倒なので、全部こっちに移転する事にしました。

ただし、大分前に移転してあったexteffの話はここじゃない所に移してあるけど。

Extensible Effects はモナド変換子に対する救世主たり得るか? - 2013/07/21 21:26:00 JST

Oleg らによる、モナド変換子に対する大体手法、Extensible Effects の論文を読んだ感想紹介記事です。

はてなの数式を綺麗にする Chrome 拡張機能をつくった(※はてな以外も※) - 2013/05/18 01:54:42 JST

はてダなど mimetex を使っている数式をMathJax経由で綺麗にレンダーするようにする Chrome 拡張。

8つの質問で、GHC の type-level language 業界の現状を知る - 2013/03/20 15:01:50 JST

「8つの質問」という釣り記事が技術クラスタで昔流行って、それに便乗してGHCの型システムの話を書いた。

konn-san.com を刷新した - 2013/03/11 03:19:07 JST

今みてる konn-san.com 設立当時の設立宣言。こっちがメインになるとは思わなかった。

さらば愛しき JavaScript —— 愛と欲望の果てに Haskell は fay と出逢う。 - 2012/12/25 14:11:11 JST

Haskell のプログラムからJavaScriptを自動生成する Fay という言語処理系についての紹介記事。Haskell Advent Calendar 2012 の七日目の記事。

サーバのデータが消えました - 2012/07/17 24:30:27 JST

サーバ管理はちゃんとしましょうという話。

GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 - 2012/06/07 00:48:45 JST

GADTsや型族が入って、GHCの型システムがリッチになりはじめた頃の解説記事。

Haskell で LK の定理証明系を書いた - 2012/05/30 17:54:18 JST

Haskellの型機能をふんだんに使って、古典命題論理の体系であるLKの定理証明系を書いた話ぞ。

QuickCheck / SmallCheck の紹介 〜オートマトンの例を通して〜 - 2012/04/27 01:09:37 JST

オートマトンの検証という例を通して、QuickCheck や SmallCheck による性質ベースのテスト手法を紹介します。

How wonderful to be (statically) typed 〜(静的に)型がつくって素晴しい〜 - 2012/04/12 22:19:08 JST

Haskellの型システムの強力さとその工学的な応用例についての発表。

Yesod を支える技術 - 2012/03/24 14:41:14 JST

大昔のYesodの内部構造についての紹介。

Twitter 波括弧事件についてまとめてみる - 2012/03/13 02:03:39 JST

大昔にTwitterで波括弧を書くとテンプレートとして展開されるという事件があって、その時の話をまとめた今となっては考古学的な資料。

初めてのブログ - 2012/03/12 15:00:59 JST

ブログを作った報告。技術的な詳細解説。