InfoQの以下の記事経由で、 Andrej Bauer氏の語るプログラミング言語の設計 こういう記事を見つけたので、 On programming language design | Mathematics and Computation 日本語に(勝手に)訳してみました。 英語が得意なわけでもないので(ていうか苦手なほ…