欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Carp
来自开放百科 - 灰狐
（版本间的差异）
小 |
|||
| 第1行： | 第1行： | ||
Carp language | Carp language | ||
| + | [[文件:carp-lang.png|right|Carp语言]] | ||
==简介== | ==简介== | ||
Carp 融合 [[Lisp]] 和 [[Haskell]]，是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 Lisp，没有 GC，用于实时应用。Carp 借鉴了 [[Clojure]] 的表达方式，和 Clojure 很像，其运行时语义更接近 [[ML]] 或 [[Rust]]。 | Carp 融合 [[Lisp]] 和 [[Haskell]]，是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 Lisp，没有 GC，用于实时应用。Carp 借鉴了 [[Clojure]] 的表达方式，和 Clojure 很像，其运行时语义更接近 [[ML]] 或 [[Rust]]。 | ||
2021年12月16日 (四) 02:34的版本
Carp language
目录 |
简介
Carp 融合 Lisp 和 Haskell，是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 Lisp，没有 GC，用于实时应用。Carp 借鉴了 Clojure 的表达方式，和 Clojure 很像，其运行时语义更接近 ML 或 Rust。
功能
指南
项目
图集
链接
分享您的观点
