News for hackers. Stuff that matters.

necunpri

necunpri on Hacker News

Re:My first verified imperative program on Monday July 07, 2025 @05:16PM (#44494760)
This is the strength of typing, right?

If I can specify the type of my input I can ensure the verification.