型システム

FolangとかNushellとかでたまにリンクが欲しくなるので作っておく。

• 型システムのしくみ
• 型システム入門 TAPLの日本語訳の名前らしい、ややこしい。

「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 - 雑記帳