ノーマルビュー

今日 — 2026年3月4日 Zennのトレンド

【TypeScriptよりいいもの】未だ応用されきっていない、型システム本来の力の簡単紹介【読み物】

2026年3月2日 20:07
これはなに? 型システム(静的型付けのシステム [1])のオタクによる、ものすごく簡単な説明。 型システムには多くの機能が存在するため、必ずしも単純な強弱で語れないものの、基本的に上から下に行くほど、型システムがリッチになっていくことを意図している。 C・C++ intやcharなどの値が区別できるが、いつの間にかそれぞれが紛れ込んでいたりする。 これは型チェックエラーにならない: #include <iostream> int main() { int age = 25; char grade = 'A'; // intとcharには暗黙変換がある...

💾

❌