2008-11-29から1日間の記事一覧
今まで見逃していたけれども, こんなものが追加されるのか! a + b == b + a; (a + b) + c == a + (b + c);みたいな論理的な性質を型に与えることができるという仕様。Haskellのrewrite rulesを連想したが論文を見つけた。 Axiom-Based Transformations: Opti…
今まで見逃していたけれども, こんなものが追加されるのか! a + b == b + a; (a + b) + c == a + (b + c);みたいな論理的な性質を型に与えることができるという仕様。Haskellのrewrite rulesを連想したが論文を見つけた。 Axiom-Based Transformations: Opti…