0x0@lemmy.zip to Programmer Humor@programming.dev · 2 months agorace conditionslemmy.zipimagemessage-square74linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imagerace conditionslemmy.zip0x0@lemmy.zip to Programmer Humor@programming.dev · 2 months agomessage-square74linkfedilink
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up0·2 months 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-squarenialv7@lemmy.worldlinkfedilinkarrow-up0·2 months agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
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.