Functional Programming icon

Functional Programming

All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.

教育第 835

关于

社区规模

1.42万名成员

成员增长

净变化
-15
7 天增长率
-0.11%

2026/9/25 – 2026/10/2

关于这些数据

最近记录的成员数量约为 14,227。

从2026年9月25日到2026年10月2日,成员数量减少了 15 人。

在 Deepcord 跟踪的“教育”分类中,成员数量排名第 835,该分类共收录 4,104 个服务器。

成员变化是两次记录的成员数量之差,间隔约一周,已综合加入和退出的影响。增长率统一折算为 7 天,方便比较。

最近记录日期:2026年10月2日。 与 2026年9月25日 相比。

服务器详情

分类排名

服务器语言

美国英语

创建日期

2017年2月11日

常见问题

“Functional Programming”有多少成员?

最近记录的成员数量约为 14,227。 最近记录日期:2026年10月2日。

“Functional Programming”的成员数量在增长吗?

从2026年9月25日到2026年10月2日,成员数量减少了 15 人。 这是综合加入和退出后的成员数量净变化。

“Functional Programming”有多受欢迎?

在 Deepcord 跟踪的“教育”分类中,成员数量排名第 835,该分类共收录 4,104 个服务器。

“Functional Programming”是什么时候创建的?

“Functional Programming”创建于2017年2月11日。

如何加入“Functional Programming”?

点击页面顶部的“加入服务器”,打开“Functional Programming”的 Discord 邀请链接。加入服务器免费。

这是你的服务器吗?

通过 Discord 免费验证服务器所有权,即可在管理面板中跟踪它的增长。