64
Turing-completeness (lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
[-] radiohead@lemmy.world 1 points 1 year ago

How about a Turing-complete type system (e.g. TypeScript)?

[-] maiskanzler@feddit.de 1 points 1 year ago

Rust too! Type-level programming is pretty useful for embedded software.

this post was submitted on 07 Jul 2023
64 points (95.7% liked)

Programmer Humor

32179 readers
189 users here now

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

Rules:

founded 5 years ago
MODERATORS