67
Turing-completeness
(lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 07 Jul 2023
67 points (100.0% liked)
Programmer Humor
32275 readers
817 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 5 years ago
MODERATORS
How about a Turing-complete type system (e.g. TypeScript)?
Rust too! Type-level programming is pretty useful for embedded software.