Kevin Mahoney is a software developer writing about software design, type systems, testing, and database design, plus small projects like a synth language.
HN commenters cite his Tests vs. Types article to argue that types replace whole classes of tests, serve as documentation, and limit LLM mistakes.
Types replace entire classes of tests that coverage metrics wouldn't detect [0].
Types are also documentation!
They also decrease the degrees of freedom LLMs have to make mistakes [1].
[0] https://kevinmahoney.co.uk/articles/tests-vs-types/
[1] https://john.regehr.org/writing/zero_dof_programming.html
Location: Belgium
Remote: Yes
Willing to relocate: Maybe Amsterdam next year
Technologies: Python, Ruby. Would love to work with something more functional.
CV: http://kevinmahoney.co.uk
Email: kevin@kevinmahoney.co.uk