Fundamental concepts in programming languages by Christopher Strachey https://t.co/SrdDf706o2
RT @kmizu: @phenan @gakuzzzz 1960年代には既にparametric polymorphismという言葉があったというのを以前住井先生に教えてもらいました。かなり古いですね: https://t.co/qKfVbh6AnG
RT @kmizu: @phenan @gakuzzzz 1960年代には既にparametric polymorphismという言葉があったというのを以前住井先生に教えてもらいました。かなり古いですね: https://t.co/qKfVbh6AnG
@phenan @gakuzzzz 1960年代には既にparametric polymorphismという言葉があったというのを以前住井先生に教えてもらいました。かなり古いですね: https://t.co/qKfVbh6AnG
そんなことより"tuple"で検索したら"Ntuple A fixed (manifest) number of objects all of the same type."と書いてあってビビった>Stracheyの講義メモ https://t.co/9XS4DTQH1z
@esumii https://t.co/9XS4DTQH1z "reducing operators with several operands to the successive application of single operand operators"とあるので(続
@esumii ←「ちゃんと知りたかったら」原著論文を読もう、と言っておきながらリンクしていなかった奴 https://t.co/9XS4DTQH1z
“Fundamental Concepts in Programming Languages - Springer” http://t.co/dbVOEry9BZ #programming #functional_programming #paper
@kmizu それは有名ですがパラメタ多相性ではなく型推論の話ですよね。Stratcheyの有名論文 http://t.co/t7peSjsw30 の「parametric polymorphism」(名前もそのまま)は遅くとも1967年なので。
Trying to read http://t.co/DsQImGwc aloud to my son, but struggling to verbalize some of the mathematical notation. Tips?