RCMaehl [Any]@lemmy.world to Programmer Humor@lemmy.ml · 1 year agoTuring-completenesslemmy.worldimagemessage-square9fedilinkarrow-up163cross-posted to: programmer_humor@programming.dev
arrow-up163imageTuring-completenesslemmy.worldRCMaehl [Any]@lemmy.world to Programmer Humor@lemmy.ml · 1 year agomessage-square9fedilinkcross-posted to: programmer_humor@programming.dev
minus-squareradiohead@lemmy.worldlinkfedilinkarrow-up1·1 year agoHow about a Turing-complete type system (e.g. TypeScript)?
minus-squaremaiskanzler@feddit.delinkfedilinkarrow-up1·1 year agoRust too! Type-level programming is pretty useful for embedded software.
How about a Turing-complete type system (e.g. TypeScript)?
Rust too! Type-level programming is pretty useful for embedded software.