最后，编辑器支持什么的也很重要了。不比当年裸 vim/emacs 写。不求专门的 ide, 可以快速做一个 emacs mode 改善入门体验

一些夹带个人喜好别的问题，
1. 语言似乎和 py 一样是 statement first 的，且所有表达式都无法包括语句？有没有什么 expression first 风格的模拟方法？
2. 扩展性。有没有办法定义新运算符，包括优先级结合性。有没有办法自定义类型推导规则。有没有办法定义新的语法，新的语言构造以及相应语义。

lz 您好，很厉害。
几个问题:
1. 类型系统设计是什么样的？如你所说这是静态语言的话，这一点会是关键
2. 语言擅长的抽象方式是什么？基于类型的多态，面向对象多态，语法宏 /语法形式抽象？
3. 语言针对的问题？如果是 DSL，针对的什么方面。如果是通用编程，在各个领域的示例代码大概什么样(不需要实现)
4. 如果静态类型不够强，运行时的 debug 支持如何？运行时报错是否 make sense ？编译运行 latency 如何(比如 julia 语言几乎是完美后端语言，不考虑 latency 的话)

@goodleixiao
你怎么扯到范式啊。
只说 lisp，并不能确保说的是什么语言，范式是否是函数式。
关于函数式，您能描述所谓的函数式的定义吗？
仅仅 函数是一等公民 就是函数式，那全世界都是函数式了。
在现在 PL 当年的历史 review 论文里(什么 how fp matters 之类的学术文章)，喜欢提的东西:
1. 函数是一等公民(first class)
2. 函数是纯的(pure)
3. 函数的定义适合进行推导证明(algebraic data type, 静态的 pattern matching)

大多数 lisp 不满足 2 和 3。
lisp 能被称为函数式语言，是一个历史遗留问题。
现代程序设计的学术目标，不仅仅是让你发挥想象力，而且要让你想得对，辅助你正确地想。

而且函数式对程序的抽象不是最高的，声明式不知比他高到哪里去了!!

@ech0x 你不是会 dt 吗？
其实会 haskell 就能写了，很简单的。我其实也不怎么用 dt 的功能

@ech0x 谢谢~ 欢迎参与开发。
我这个架构设计设计得非常简单哒，这是我最自豪的点之一~

@ech0x 没 dt 其实也很好用了。dt 有时候反而写起来麻烦，会约束一些多态能力要你显式标注，很啰嗦。
况且 haskell 现在也能用 singleton 模拟 dt 了，工业够用。

@goodleixiao 世界上有三种代码复用方式。
一，不复用, 高开销抽象。比如 python。
二，基于类型。比如 haskell。
三，基于代码生成。 这就是各种 lisp。

一是工业妥协，三是学术界早期研究成果(大概 20 年前)。
二是未来，也是目前的学术界研究领域。现在这个时代，安全性也是很重要的一环，而编译期能做的事情还很多。

说起来 Haskell 是比较完美的语言。Scala 还是稍微有点啰嗦(类型推导能力是票圈最菜)和不友好(语法要素多，也不是很简洁直观)。
我建议 haskell, rust, python，语言的一致性最重要。其他的学学 F#也很好，只是 F#也是要素多了点。