热门
导航
快讯
推荐文章
热门
导航
快讯
推荐文章
#Koka
koka - 具有效果类型和处理器的函数式编程语言
Koka
函数式编程
效果系统
编译器
引用计数
Github
开源项目
Koka是一种新兴的函数式编程语言,特点是效果类型系统和处理器。它能精确追踪函数副作用,为程序提供稳固的语义基础。Koka允许以类型安全和可组合的方式定义高级控制抽象。其独特的Perceus编译技术可生成无需垃圾回收的高效C代码。此外,Koka还能优化函数式程序,实现原地更新以提高性能。
1
1
使用协议
隐私政策
广告服务
投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI
·
鲁ICP备2024100362号-6
·
鲁公网安备37021002001498号