News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by baq on Wednesday December 17, 2025 @04:41AM (#46299958)
> Most of the data I deal with are strings with their own validation and formatting rules that are complicated and at the same time usually need to be permissive

this is exactly where a good type system helps: you have an unvalidated string and a validated string which you make incompatible at the type level, thus eliminating a whole class of possible mistakes. same with object ids, etc.

don't need haskell for this, either: https://brightinventions.pl/blog/branding-flavoring/

[ Parent | on HN ]
Re:Prediction: AI will make formal verification go mainstream by jonathanstrange on Wednesday December 17, 2025 @08:38AM (#46301807)
That's neat, I was about to ask which languages support that since the vast majority don't. I didn't know that you can do that in Typescript.
[ Parent | on HN ]
Re:Prediction: AI will make formal verification go mainstream by Mekaniko on Saturday December 20, 2025 @07:45AM (#46335768)
Any language with an type system really...

Even OOP : if you have a string class, you can have a String_Formated_For_API subtype.

Just extends String, and add some checking.

But now the type checker "knows" it can print() a String_Formated_For_API just fine but not call_API(string).

[ Parent | on HN ]