Functional Programming
All about functional programming with Haskell, Lisp, ML and proof checkers like Idris, Lean, etc.
Member Verification Gate EnabledInvite SplashSoundboardCommunityAnimated IconNewsDiscoverableAuto Moderationcreated Feb 11, 2017id 280033776820813825
14,242
members
1,776
online now
12.5%
active ratio
85
legitimacy score
3
Nitro boosts
High
verification gate
1h ago
last measured
How the legitimacy score of 85 is calculated
Activity +35 12.5% onlineVerified / partner +0 noAge +15 9.6 yrSize +17 14,242 membersCommunity status +10 discoverableTrack record +8 measured 38 day(s) over 46d
Live activity (widget)
1,777
online (widget)
2
visible channels
📈 Measured live across 38 days (46d tracked, 38 snapshots). 🔗 Linked 7 times across the web. 😀 54 custom emojis.
Now playing
Member history
Measured 80 times; its member count changed 36 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/FvT2Y5N | invite | live | 1h ago |
| discord.gg/8w9tRKa | invite | live | 44d ago |
| discord.gg/eTbWSZj | invite | live | 44d ago |
| discord.gg/xQwR7P7 | invite | live | 45d ago |
| discord.gg/WDqsWsnZfR | invite | live | 45d ago |
| discord.gg/kENVVQ5 | invite | live | 45d ago |
| discord.gg/K6XHBSh | invite | live | 45d ago |
| discord.gg/pKYf3zDQU7 | invite | live | 46d ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 Godot Café | 83,734 |
 QMK | 27,278 |
 ReasonMLverified | 7,554 |
 zio | 5,094 |
 Low-Level Programming | 3,175 |
 Data & Dev Ops | 1,928 |
 Linsa | 1,276 |
 Formium | 1,143 |
 nikiv.dev | 82 |
 MDX Conf | 37 |
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.