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