gpt4 book ai didi

programming-languages - 静态类型的完整 Lisp 变体是否可能?

转载 作者:太空宇宙 更新时间:2023-11-03 18:31:32 25 4
gpt4 key购买 nike

静态类型的完整 Lisp 变体是否可能?这样的东西存在有意义吗?我相信 Lisp 语言的优点之一是其定义的简单性。静态类型会损害这一核心原则吗?

最佳答案

是的,这是很有可能的,尽管对于大多数惯用的 Lisp/Scheme 代码来说,标准的 HM 风格类型系统通常是错误的选择。参见 Typed Racket对于最近的一种语言,它是具有静态类型的“Full Lisp”(实际上更像是 Scheme)。

关于programming-languages - 静态类型的完整 Lisp 变体是否可能?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3323549/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com