函数式编程中文社区
讨论组
活动
  • 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

  • 🌐 中文论坛
  • 微信群(联系 jiyinyiyong)
  • QQ 群 130107204
  • 🌐 英文 Discord
  • 🌐 英文 Slack
  • 🌐 英文 Zulip
  • 🌐 英文 官方论坛
  • 🌐 资源列表

    • 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