>>175
機能は関係ないだろ
タイプセーフでコンパイラが型がわかるから別の言語に変換できるんだろ

機能が違ったら変換できないなんていう理論は、
特定のロジックをかけないプログラミングがあるといってるようなもんだ
意味がわからない。