2006-12-17から1日間の記事一覧

シンタックス・ハイライティング

hatena

module Polynomial where import Data.Ratio import Data.List import Maybe data Polynomial a = Const a | Var String | PLUS (Polynomial a) (Polynomial a) | MULT (Polynomial a) (Polynomial a) instance Show a => Show (Polynomial a) where show (C…

メモ

最近眺めて面白そうだった論文メモ ・Interpreting Polymorphic FPC into domain theoretic. models of parametric polymorphism http://homepages.inf.ed.ac.uk/rmogelbe/papers/parametric_polyFPC.pdf まあ正直さっぱり理解できなかった。In recent work,…

途中経過メモ

融合変換

reconctructionまで書いた。何気に、きちんと書くと分量多いな。つって、全部併せても1000行いかなそうだけど。単にやる気がないだけ。derivationしか考えずに書き始めたので色々まずかった。TermとHyloFormと分けたけど、(OnoueのD論でそうなってるように)…

■

今年を振り返ると、Haskellに触れたのがよかったなぁ。新しい言語を覚えること自体は、まあどうでもいいけど、Haskellを通して理論的なあれこれに触れられたのが。Scheme(やLisp)は、所詮、型無ラムダ計算＋αなので、理論的にはあまり面白いことはないし。pa…