我想知道,是否有可能将haskell强大的类型系统集成到像C这样的语言中,并且仍能够进行高效的低级编程?
是否有可能在像Haskell这样的函数式语言中达到非常低的水平?(比如制作内核或设备驱动程序).功能特性(如monad)会在那里快速高效吗?
让我们说有一个架构XYZ,它针对功能语言(如haskell)进行了优化.谁能告诉我这种架构的优点还有"功能"汇编语言?
提前致谢
根据你的说法,你认为哪种语言最适合实现monad(Python/Ruby/LISP)?还有谁能告诉我monad的一些可能的用法(请举例),比如异常?
提前致谢
我遇到了一些答案(这里是SO),说Haskell在其类型系统中有许多"黑暗的角落",还有一些凌乱的漏洞.有人可以详细说明吗?
提前致谢
在任务关键型软件中使用Haskell是否可行?(如航空电子,航天技术等)
我正在考虑在haskell中编写一个编译器,为了获得一些知识和经验,我将尝试为现有语言实现编译器.有人能给我一个适合这个的语言列表吗?
提前致谢
haskell ×4
lisp ×2
assembly ×1
c ×1
clojure ×1
low-level ×1
monads ×1
performance ×1
scala ×1
theory ×1
type-safety ×1
type-systems ×1