是否存在弱类型/类型不安全的懒惰+函数式编程语言？

Question

我想知道是否存在一种带有JavaScript样式类型的惰性+函数式语言。我见过的大多数懒惰+函数式语言都非常安全。

有人可能会争辩说，可以在某些包含所有JavaScript类型的语言中定义类型。有没有人做过这样的事情？

Answer 1

我不认为“类型不安全”语言可以（纯粹）是功能性的，因为纯粹功能的一部分是表达式具有独立于机器表示的语义值。 （“Type unsafe”通常用于表示一种语言，通过使用相同的机器表示来识别值，可以将任何类型转换为任何其他类型的语言---想想Assembly或C）。

但是，JavaScript非常安全 - 只需动态输入。你没有理由不能使用单一静态类型的纯函数式语言，比如JavaScript;您可能想要实际搜索的是“纯函数式Lisp”。以下是一些结果：

• https://en.wikipedia.org/wiki/Lispkit_Lisp
• https://code.google.com/p/owl-lisp/
• Are there any purely functional Schemes or Lisps?

Answer 2

希望我早些时候见过这个。如果通过＆＃34;输入unsafe＆＃34;，你的意思是＆＃34;动态输入＆＃34;，那么是的，我一直在研究一种动态类型，懒惰的函数式语言，自2011年以来一直具有强大的元编程支持，称为＆＃ 34，康乐＆＃34;

以下是一个不完整的互动功能概述仅适用于Chrome （因此请勿在Firefox，Opera，Safari等中打开此页面）：http://zot.github.io/Leisure/?load=doc/LeisureFeatures.org

项目页面位于：https://github.com/zot/Leisure

Leisure编译为JavaScript并在Chrome和Node.js中运行。我现在也正在研究基于休闲的外壳：）。

我还没有真正宣布这一点，因为我对堆栈跟踪不满意，但是 - 懒惰的语言需要特殊的堆栈跟踪支持。

如果您对动态，懒惰，功能性语言感兴趣，请查看并告诉我您的想法。