型システム
Tags: ロゴタイプ 19 プログラミング言語 14 スライド 10 型システム 10 記事 9 絵 9 SATySFi 9 東京市会 9 組版 7 2次創作 5 落描き 3 京都 3 所感 2 言語処理系 2 多段階計算 2 プロメア 2 Sesterl 2 学術研究 1 盤上ゲーム 1 ぼっち・ざ・ろっく！ 1 深層学習 1 Erlang 1 LaTeX 1 メモ 1 OCaml 1 少女☆歌劇レヴュースタァライト 1 岡本太郎 1 TeX 1 情報科学若手の会 1
ユニットテストのための言語設計
ユニットテストとは，おそらくご存知の通り各コンポーネントが単独で操作的に意図通りの振舞いをしているかを具体例により確認する営みである．
「ユニットテストはどのように書かれるべきか」といった議論が為されるとき，もちろん言語横断的な議論が中心となるものの，しばしば特定の計算機言語やその処理系の性質を所与とした議論が含まれやすい．だが，言語仕様や処理系が天から降ってきたものではない以上，原理的にはむしろ言語こそが目的に応じて適切に設計されるべきものだ．
