Tangentially related, this post git me reading about the spectre language. In the spectre docs you write: "There is a notable lack of contract based programming languages that enforce correctness at a low level.". What is the difference between a function checking arguments and throwing exceptions and contract-based functions, apart from perhaps a more concise syntax to specify it?
10 comments
[ 3.1 ms ] story [ 36.2 ms ] threadOver 900 commits and 400k loc to Spectre in less than 3 weeks has me thinking this is all AI.