パラドクス

HaskellとType Theory

一昨日(20131128)はHaskell勉強会の2回目 Haskell(とそれを含む関数型言語)はType Theory(Wiki記事)と関係があるという Type Theoryは煎じ詰めると"In type theory, every "term" has a "type" and operations are restricted to terms of a certain type."…