RCMaehl [Any] to Programmer [email protected] • 2 years agoTuring-completenessimagemessage-square9arrow-up170arrow-down13cross-posted to: [email protected]
arrow-up167arrow-down1imageTuring-completenessRCMaehl [Any] to Programmer [email protected] • 2 years agomessage-square9cross-posted to: [email protected]
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.