質問: OSが作れない言語はありますか もしあるとしたら どのようなことが理由としてあげられますか?
回答: 無いです。 一般にプログラミング言語と呼ばれている物は、どのようなアルゴリズムでも表現出来るように作られており、相互に翻訳可能です。「チューリング完全」というらしいです。ですから、ある言語には出来る事が、別の言語では出来ない、という事はありません。 だだし、得意不得意がありますから、言語によって現実的な手間で実用的なプログラムを作成出来る分野は異なります。 OSに関しては得意とする言語が少ないですから「作れるが現実的でない」というのがほとんどだと思います。 理由としては以下の二つが多いと思いますが、言語によって違うので、興味がある言語に絞って質問を具体的にすると、詳しい回答を得られやすいでしょう。 1. 既存の処理系、もしくは処理系の生成物(実行ファイル)がOSに依存している 2. 動作速度が遅い