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