现代编程语言需要具备什么要素？

知乎链接

一个足够现代的语言的语言做到下面这些就够了：

• GADT + 自动类型推导
• 匿名函数 / Lambda Expression
  
• 递归 + TCO
  

剩下的完全可以通过造轮子来实现。