@[email protected] to Programmer [email protected] • 28 days agorace conditionslemmy.zipimagemessage-square84fedilinkarrow-up1779
arrow-up1779imagerace conditionslemmy.zip@[email protected] to Programmer [email protected] • 28 days agomessage-square84fedilink
minus-squareJackbyDevlinkfedilinkEnglish1•27 days agoFun fact, some languages are not turing complete and I believe people would still consider them programming languages. They’re typically targeted at making mathematical proofs.
minus-square@[email protected]linkfedilink1•27 days agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDevlinkfedilinkEnglish1•27 days ago I did say “general purpose”. I did say “fun fact”.
Fun fact, some languages are not turing complete and I believe people would still consider them programming languages. They’re typically targeted at making mathematical proofs.
I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
I did say “fun fact”.