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.5 ms ] story [ 28.8 ms ] threadOver 900 commits and 400k loc to Spectre in less than 3 weeks has me thinking this is all AI.