taketoncheir.log

Like the Decatoncheir by Poseidon Industrial, This blog is Yet Another Storage for My Long Term Memories.

TaPL

TaPL chap.3 ~ Untyped Arithmetic Expressions

未だ型のない世界。 型について語る前に、プログラミング言語について知っておくべき事柄がある。 ここではプログラムのシンタックスと意味論についての表現方法とその意味付けを学ぶ。※以下、英単語をそのまま用いたところは訳語について悩むことを避けたと…