search

dhh1128 / intent

the intent formal language
https://intentlang.org
2 stars 1 forks source link

warn about inconsistent semantic handling of null (and possibly similar marks) #11

Open dhh1128 opened 10 years ago

dhh1128 commented 10 years ago

screenshot18

dhh1128 commented 10 years ago

Note, however, that there may be reasons to do this in code, for future robustness -- unless intent also guarantees future robustness by also warning if null suddenly becomes possible...