John Regehr on Nostr: nprofile1q…7fad3 my off the cuff analysis is there are two PL design points that ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqa9pjgcgz8fhtgp286c8tz0jjs0unrnqknntrywxt2au4cmgtdzdsg7fad3 (nprofile…fad3) my off the cuff analysis is there are two PL design points that are workable here:
first, languages specialized for physical reasoning/simulation can bake this stuff into their type system, giving seamless integration, good error messages, etc.
second, general-purpose languages with unusually powerful type systems can make this available as a module, but it seems to me to be kind of hard to get all of the affordances right in this case.
first, languages specialized for physical reasoning/simulation can bake this stuff into their type system, giving seamless integration, good error messages, etc.
second, general-purpose languages with unusually powerful type systems can make this available as a module, but it seems to me to be kind of hard to get all of the affordances right in this case.