型システム
Tags: ロゴタイプ 17 プログラミング言語 12 記事 9 絵 9 型システム 9 SATySFi 8 東京市会 8 スライド 7 組版 6 2次創作 5 落描き 3 所感 2 京都 2 言語処理系 2 多段階計算 2 プロメア 2 Sesterl 2 ぼっち・ざ・ろっく！ 1 Erlang 1 LaTeX 1 少女☆歌劇レヴュースタァライト 1 岡本太郎 1 TeX 1 情報科学若手の会 1
ユニットテストのための言語設計
ユニットテストとは，おそらくご存知の通り各コンポーネントが単独で操作的に意図通りの振舞いをしているかを具体例により確認する営みである．
「ユニットテストはどのように書かれるべきか」といった議論が為されるとき，もちろん言語横断的な議論が中心となるものの，しばしば特定の計算機言語やその処理系の性質を所与とした議論が含まれやすい．だが，言語仕様や処理系が天から降ってきたものではない以上，原理的にはむしろ言語こそが目的に応じて適切に設計されるべきものだ．
SATySFi v0.1.0に向けたラベルつきオプション引数の型システム
SATySFi v0.1.0に向けてオプション引数に関する言語設計を非互換に改めつつあるので，その紹介をします．
初出：
- 2021年12月30日，SATySFi Wiki
