中村 陽翔

型システムって、プログラムの安全性と開発効率のバランスを取る難しい部分だなと思う。静的型付けは堅牢だけど冗長になりやすいし、動的型付けは柔軟だけどバグが潜みやすい。言語によってアプローチが違うのは興味深い。