欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Carp
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→功能) |
||
| （未显示1个用户的6个中间版本） | |||
| 第6行： | 第6行： | ||
==功能== | ==功能== | ||
| + | [[文件:carp-lang-logo.png|right|Carp]] | ||
| + | [[文件:carp-compiler-passes.png]] Carp Compiler | ||
==指南== | ==指南== | ||
==项目== | ==项目== | ||
| + | *[https://github.com/carp-lang/Carp Carp @ GitHub] | ||
*[[Haskell Desktop Foundation]] | *[[Haskell Desktop Foundation]] | ||
| + | |||
| + | ==问题== | ||
| + | Debian10 | ||
| + | carp: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.29' not found (required by carp) | ||
| + | [https://ftp.debian.org/debian/pool/main/g/glibc/ 下载] [https://tracker.debian.org/pkg/glibc glibc] 包 | ||
| + | apt-cache madison libc6 | ||
| + | apt-cache policy libc6 | ||
==图集== | ==图集== | ||
| 第18行： | 第28行： | ||
==链接== | ==链接== | ||
| − | *[ | + | *[http://blog.veitheller.de/ Veit's Blog] |
[[category:haskell]] | [[category:haskell]] | ||
2022年12月1日 (四) 08:56的最后版本
Carp language
目录 |
[编辑] 简介
Carp 融合 Lisp 和 Haskell，是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 Lisp，没有 GC，用于实时应用。Carp 借鉴了 Clojure 的表达方式，和 Clojure 很像，其运行时语义更接近 ML 或 Rust。
[编辑] 功能
Carp Compiler
[编辑] 指南
[编辑] 项目
[编辑] 问题
Debian10
carp: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.29' not found (required by carp)
apt-cache madison libc6 apt-cache policy libc6
[编辑] 图集
Carp on Arduboy
[编辑] 链接
分享您的观点
