https://mathtod.online/@cmplstofB/105989698098192096
"「静的型が厳密」っていう表現,違和感あるな……。"
これふたつの意味に取れる><
ひとつは、静的か動的の違いは「型検査をいつ行うか?」の話なので、『静的検査を行うけどゆるふわな型システム』の環境もあるし、『動的に型検査を行うけど型がガチガチな型システム』もあるので、静的型付け=ガチガチという事にはならない><
それは型システムが「強い」「弱い」という風に説明される事が多い方の話になる><
でもBさんが言いたいのはその話じゃ無さそう><