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