Functional programming 是否存在弱类型/类型不安全的lazy+；函数式编程语言？

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

有人可能会争辩说，可以在一些包含所有JavaScript类型的语言中定义类型。有人已经做过类似的事情了吗？

我不认为“类型不安全”语言可以（纯粹）起作用，因为纯粹起作用的部分原因是表达式具有独立于机器表示的语义值。（“类型不安全”通常用于表示一种语言，在这种语言中，任何类型都可以通过使用相同的机器表示（想想汇编或C）来标识值而转换为任何其他类型

不过，JavaScript是非常类型安全的——只是动态类型。没有理由不能有一个纯函数式语言和一个静态类型，比如JavaScript；您可能希望实际搜索的是“纯函数式Lisp”。以下是一些结果：

---

我要是早点看到就好了。如果说“类型不安全”，你的意思是“动态类型”，那么是的，我从2011年起就一直在研究一种动态类型的、懒惰的、具有强大元编程支持的函数式语言，称为“休闲”
下面是一个不完整的交互式功能概述，仅适用于Chrome（因此不要在Firefox、Opera、Safari等浏览器中打开此页面）：
项目页面如下：
Leisure编译为JavaScript并在Chrome和Node.js中运行。我现在还在开发一个基于休闲的shell:）
我还没有正式宣布这一点，因为我对堆栈跟踪并不满意，但是——惰性语言需要特殊的堆栈跟踪支持

---

如果您对动态、惰性、函数式语言感兴趣，请查看并告诉我您的想法。
我不知道您所说的JavaScript样式类型是什么意思。但是，也许您应该看看。您所说的“类型可以在包含所有JavaScript类型的某些语言中定义”是什么意思