All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
#835 in Education
Sep 27 – Oct 4, 2026
Approximately 14,229 members in this snapshot.
Membership decreased by 8 between September 27, 2026 and October 4, 2026.
Ranks #835 by membership among 4,104 Education servers tracked by Deepcord.
Member change includes joins and departures across observations roughly a week apart. The growth rate is normalized to seven days.
Last observed: October 4, 2026. Compared with September 27, 2026.
Approximately 14,229 members in this snapshot. Last observed: October 4, 2026.
Membership decreased by 8 between September 27, 2026 and October 4, 2026. This is net membership change, including joins and departures.
Ranks #835 by membership among 4,104 Education servers tracked by Deepcord.
Functional Programming was created on February 11, 2017.
Use the Join Server button at the top of this page for an instant invite to Functional Programming on Discord. Joining is free.
