Typelevel

About this server

We do functional programming together!

At a glance

Members: 4,874, measured 11 Sept 2026
Online: 322, measured 11 Sept 2026
Score: 53 of 100 (members 31.6 of 60 · online share 6.6 of 25 · freshness 15 of 15)
Age rating: Not marked as adult content
Founded: 11 Oct 2019

Discord features

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

Join Typelevel on Discord

Related servers

Other servers tagged Programming.

E2B 4,243 members · Join
Agno 4,921 members · Join
GD Programming 4,176 members · Join
Developer Sanctuary 5,062 members · Join
EmulatorJS 3,338 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.

Typelevel

About this server

At a glance

Tags

Discord features

Related servers