this post was submitted on 08 Jun 2024
299 points (96.3% liked)
Programmer Humor
31230 readers
565 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 4 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
ATS blasting in here to give you linear types, dependent types, & refinement types with the literal performance of C—& safety beyond all 3.