函数式编程中文社区
讨论组
活动
语言
  • Aya Prove, a PL and a proof assistant designed for formalizing math and type-directed programming.
  • 蝉语, a dependently typed PL and interactive theorem prover.
  • Calcit, 基于 Rust 实现的仿 ClojureScript 的轻量脚本语言.
  • 导航

    Clojure

  • 中文论坛
  • 英文 Slack
  • 微信群(联系 jiyinyiyong), 备份
  • 导航页面
  • QQ 群 130107204
  • 英文 Discord
  • Haskell

    Elixir

  • 英文论坛
  • 微信群(联系 jiyinyiyong)
  • QQ 群 249122869
  • 英文 Slack
  • ReasonML, Elm, BuckleScript 群

  • 微信群(联系 jiyinyiyong), 备份
  • 英文论坛
  • 英文 Slack
  • WebAssembly

  • 微信群(联系 jiyinyiyong)
  • WASM Rocks
  • 分类论坛
  • Scala

  • 微信群(联系 jiyinyiyong)
  • QQ 群 231809997 (高级群, 需验证)
  • LISP

  • Scheme 中文论坛
  • LISP 微信群(联系 jiyinyiyong)
  • "Expert Scheme" QQ 群 523791077
  • (Chez (Scheme)) QQ 群 724577239
  • (Chez (Scheme)) 微信群(联系 RegalisLuxus)
  • 其他

    欢迎反馈...
    Site on GitHub