this post was submitted on 08 Jun 2024
317 points (96.2% liked)

Programmer Humor

32453 readers
739 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[ā€“] [email protected] 2 points 5 months ago* (last edited 5 months ago)

ATS blasting in here to give you linear types, dependent types, & refinement types with the literal performance of Cā€”& safety beyond all 3.