Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
Member Verification Gate EnabledCommunityDiscoverableAnimated IconInvite SplashAuto ModerationNewsSoundboardcreated Feb 11, 2017id 280033776820813825
14,221
members
1,974
online now
13.9%
active ratio
87
legitimacy score
3
Nitro boosts
High
verification gate
1h ago
last measured
How the legitimacy score of 87 is calculated
Activity +35 13.9% onlineVerified / partner +0 noAge +15 9.7 yrSize +17 14,221 membersCommunity status +10 discoverableTrack record +10 measured 58 day(s) over 66d
Live activity (widget)
2,022
online (widget)
2
voice channels
📈 Measured live across 58 days (66d tracked, 59 snapshots). 🔗 Linked 7 times across the web. 😀 54 custom emojis.
Bigger than 95% of Education Study servers (8,306 measured)
Now playing
Games this server has been measured playing
Historical record from our measurements over time — separate from the live “Now playing” list above.
| Game | Peak players | Last seen |
|---|---|---|
| Escape from Tarkov | 1 | Oct 15, 2026 |
| World of Warcraft | 1 | Oct 14, 2026 |
| VRChat | 1 | Oct 13, 2026 |
| League of Legends | 1 | Oct 11, 2026 |
| EA Sports FC 26 | 1 | Oct 10, 2026 |
| Hearts of Iron IV | 1 | Oct 9, 2026 |
| VRCFaceTracking | 1 | Oct 9, 2026 |
| Quake | 1 | Oct 9, 2026 |
| PokerStars | 1 | Oct 8, 2026 |
| Rocket League | 1 | Oct 6, 2026 |
| Satisfactory | 1 | Oct 5, 2026 |
| AION 2 | 1 | Oct 5, 2026 |
Member history
Measured 163 times; its member count changed 53 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/FvT2Y5N | invite | live | 1h ago |
| discord.gg/8w9tRKa | invite | live | 65d ago |
| discord.gg/eTbWSZj | invite | live | 65d ago |
| discord.gg/xQwR7P7 | invite | live | 65d ago |
| discord.gg/WDqsWsnZfR | invite | live | 65d ago |
| discord.gg/kENVVQ5 | invite | live | 65d ago |
| discord.gg/K6XHBSh | invite | live | 66d ago |
| discord.gg/pKYf3zDQU7 | invite | live | 66d ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 Godot Café | 83,325 |
 QMK | 27,306 |
 ReasonMLverified | 7,536 |
 zio | 5,070 |
 Low-Level Programming | 3,177 |
 Data & Dev Ops | 1,932 |
 Linsa | 1,280 |
 Formium | 1,138 |
 nikiv.dev | 82 |
 MDX Conf | 36 |
Embed & API. 
<img src="https://guildregister.com/badge/280033776820813825.svg"> · JSON · Own this server? Claim itFirst seen Aug 10, 2026. Member and online counts are Discord's own approximate counts, measured from the public invite API. GuildRegister is not affiliated with Discord.