最低限必要な言語機能

チーム開発で必要な最低限の機能、条件を見極めたいと以前からずっと思っていた。その後の手法も考えているけど今は省略。現状の仮説は以下だ:

  • Parametric polymorphism
  • Closures
  • nullが存在しないこと

この条件を満たすとなると途端にHaskellOCamlあたりしかなくなるという現実。特に三番目がなかなかのネックだ。
早くnullが無い言語が主流になってほしい。