Functional Programming

About this server

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

At a glance

Members: 14,253, measured 11 Sept 2026
Online: 2,089, measured 11 Sept 2026
Score: 65 of 100 (members 35.6 of 60 · online share 14.7 of 25 · freshness 15 of 15)
Age rating: Not marked as adult content
Founded: 11 Feb 2017

Discord features

Set up as a Discord Community server
Walks new members through onboarding questions
New members accept the rules before they can chat
Has announcement channels
Can be previewed before joining
Has a custom invite background
Has an animated icon
Uses Discord's AutoMod
Listed in Discord's own Server Discovery

Join Functional Programming on Discord

Related servers

Other servers tagged Programming.

Better Auth 10,152 members · Join
raylib 16,761 members · Join
Komga 5,087 members · Join
Jito Developers 21,827 members · Join
Komorebi Community Server 4,724 members · Join

Is this your server? Claim it to see how many people GroupFinds sends to your invite.

Run a Discord server? Add the GroupFinds bot

Announcement cards

When a member reaches a role you pick, passes a voice hours milestone, keeps a daily voice streak, sets a voice record or reaches the anniversary of joining, the bot can post a picture card naming them in a channel you choose. It can also post a weekly card of the members who were most active, and mark round number milestones for the whole server. Members see each other recognised in public, and you decide which cards are on.

Analytics that don't expire

From the day you add it, the bot keeps a record of who posted, in which channel and when, every voice session, and who joined or left. Nothing in the bot deletes those records on a timer, so your history keeps growing instead of running out. It counts messages; it doesn't store what anyone wrote.

Levels that reward staying and playing fair

Members earn XP for chatting, at most once a minute, and for time spent in voice, and move up levels, with roles you choose handed out along the way. If you switch on decay, members who go quiet for a stretch you set (14 days unless you change it) lose some XP each day, week or month, but never drop below the level they already reached. You can also take XP away for each timeout a moderator gives, and reset a member's XP to zero if they leave, are kicked or are banned.

Functional Programming

About this server

At a glance

Tags

Discord features

Related servers