寻找支持解释和本机编译模式的新语言

Lok*_*oki 4 programming-languages scripting-language interpreted-language compiled-language

我目前使用Perl,Python,C#,C,C++,Java和其他一些语言进行编程,我正在寻找一种新的语言,可以在进行个人项目时用作主要语言.

我目前的标准是:

  • 可以作为解释语言运行(即运行而无需等待编译);
  • 可以编译为本机代码;
  • 是强类型的(即使是可选的);
  • 支持你要调用它的宏/模板/代码变形/ wtf;
  • 拥有相当数量的图书馆,或者可以轻松访问它们;

想法?建议?

kei*_*ter 5

我建议Haskell符合你的标准.

  • 可以作为解释语言运行吗?是的,通过GHCI.
  • 可以编译为本机代码吗?是.
  • 强类型?非常如此.也许即使是今天最强类型的语言,除了像Agda这样的一些定理证明.
  • 支持宏/模板/变形?如果你使用模板haskell.这是该语言的可选扩展,因此大多数库不使用宏.我自己没有使用模板haskell所以我不能评论它是否有用.
  • 有不错的图书馆支持?标准库也不错.还有Hackage,一个开放的Haskell库存储库,有点像CPAN的风格.

此外,听起来您已经了解了很多命令式/面向对象的语言.恕我直言,如果你学习另一个langs.它可能是你在其他地方已经看到的功能略有不同的排列.在工具箱中添加其他编程范例(如函数式编程)可能是一种更好的学习体验.虽然我猜这是否优势取决于你是想学习新事物还是快速生产.