函数式编程中文社区
讨论组
活动
  • 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), 备份
  • 英文论坛
  • 英文分类 Slack
  • 中文子论坛
  • HaskellCNOrg 微博

    • 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