イベント, Coq, Clojure名古屋 Hackathon に参加してきた。朝からうだうだしていたので、少しばかり遅刻して、着いたころにはもうチーム分けが済んでいた。 Scala チームと Coq チームの両方からお誘いがあり、 Scala チームの SICP を読みながら Lisp インタプリタを作るというテーマに後ろ髪を引かれながらも、下準備していたものがあったので Coq チームへ。Coq チームは、 Coq の extraction 機能で抽出できる言語を増やそうということで、 yoshihiro503 さんは Coq to HaXe、 rf0444 さんは Scala、 mzp は Ruby、と、チームを組む必要があるのかというくらいの統一感のなさ。自分は athos0220 さんと Coq to Clojure に手をつけていたのだけれど、こちらもそれぞれ勝手にしていて、