News for hackers. Stuff that matters.

A comment on Types are the basic tool of software design. Parent comment

Re:Types are the basic tool of software design by from-nibly on Friday January 03, 2025 @07:41PM (#42591069)
So GitHub, git lab, gutbucket, gittea (and its 50 forks), fossil, and all the other tools should change, not the formatting of the code?
[ Parent | on HN ]
Re:Types are the basic tool of software design by benatkin on Friday January 03, 2025 @08:20PM (#42591353)
No, having a concise separator is still preferable to saving a line in a diff.
[ Parent | on HN ]