型システム

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

型システム入門

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