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

でもBさんが言いたいのはその話じゃ無さそう＞＜