camlp4ってOCaml専用なの？ 他の言語にも応用できないの？ ということで、調査開始。 - http://www.jmuk.org/~mukai/camlp4tut.html まず、チュートリアルからそれっぽいところを探す。 camlp4は独立したコマンドであることを知る。しかし、引数としてOCaml…

simply typed lambda calculusのdenotational semanticsとして、environmental modelsとmodels based on cartesian closed categoriesがあるそうで、そのenvironmental modelsの簡単な説明を読んだのだけど、どこがどうsimply typed lambda calculusなのかよ…

のやつで、 mapE{|∀f::*→*.(Functor f)⇒t|}ρ = mapE{|t|}ρ(f:=liftE)というのがあったけど、Haskellってbounded quantificationって使えるの？ - 「やつ」ってこれね。http://lethevert.blogspot.com/2006/10/verious-types.html

[id:lethevert:20061016:p1]では、ちょっと何がいいたいかよく分からなくなっていたのだけれど、 ::Number :== E.(Arith a): Number ((a -> a) -> Number) introNumber :: a -> Number | Arith a introNumber n = app where app f = introNumber (f n) appNu…