函数式编程中文社区
讨论组
活动
2021年7月10号
第五届函数式编程分享会
语言(GitHub stars 排序)
ReScript
, Fast, Simple, Fully Typed JavaScript from the Future.
Aya Prover
, a PL and a proof assistant designed for formalizing math and type-directed programming.
Calcit
, 基于 Rust 实现的仿 ClojureScript 的轻量脚本语言.
蝉语
, a dependently typed PL and interactive theorem prover.
视频
阅千人而惜知己
滴滴FP
火锅boy韩大冬
导航
Clojure
中文论坛
英文 Slack
微信群(联系
jiyinyiyong
)
QQ 群 130107204
英文 Discord
Haskell
QQ 群 72874436
微信群(联系
jiyinyiyong
)
英文论坛
HaskellCNOrg 微博
Elixir
英文论坛
微信群(联系
jiyinyiyong
)
QQ 群 249122869
英文 Slack
ReasonML, Elm, BuckleScript 群
微信群(联系
jiyinyiyong
)
英文论坛
英文 Slack
WebAssembly
微信群(联系
jiyinyiyong
)
WASM Rocks
分类论坛
Scala
微信群(联系
jiyinyiyong
)
QQ 群 231809997 (高级群, 需验证)
LISP
"Expert Scheme" QQ 群 523791077
(Chez (Scheme))
QQ 群 724577239
(Chez (Scheme))
微信群(联系
RegalisLuxus
)
其他
欢迎
反馈
...
Site on GitHub