について読んでいます
- static (型はコンパイル時にチェックされます) および
- 動的(型は実行時にチェックされる) 型
対
- 強い(暗黙の変換なし) および
- 弱い(暗黙の変換) 型
そして、私はそれらが異なるものであることを理解しています（ここでも議論されているように）ので、私はこのようにサンプル言語を考えてきました：
- 静的-強力(C、C++、Java など)
- 静的-弱い(???)
- 動的-強い(python、ruby、..)
- 動的-弱い(perl、javascript、..)
私の質問は、静的に弱い型付き言語はありますか? （何もないのであれば、そうすることにはほとんど意味がないと思います）。また、上記の私の理解/例は正しいですか?