RCMaehl [Any] to Programmer [email protected] • 2 years agoTuring-completenesslemmy.worldimagemessage-square9fedilinkarrow-up167cross-posted to: [email protected]
arrow-up164imageTuring-completenesslemmy.worldRCMaehl [Any] to Programmer [email protected] • 2 years agomessage-square9fedilinkcross-posted to: [email protected]
minus-square@[email protected]linkfedilink1•2 years agoHow about a Turing-complete type system (e.g. TypeScript)?
minus-square@[email protected]linkfedilink1•2 years 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.