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 Tainnor on Saturday January 04, 2025 @05:05AM (#42593809)
> To me, it's like not wanting to use a spellchecker when writing an article

Huh, I'm absolutely in the pro-static-types camp, but I never use spellcheck which I personally find distracting and unhelpful. I wouldn't consider those two be similar issues at all.

[ Parent | on HN ]
Re:Types are the basic tool of software design by hacked_greenhat on Wednesday January 08, 2025 @01:43AM (#42631657)
> I'm absolutely in the pro-static-types camp

Reflecting on your comments on the Transcendental Syntax threads, you should really look into linear logic, or at least System F (https://en.wikipedia.org/wiki/System_F).

[ Parent | on HN ]
Re:Types are the basic tool of software design by Tainnor on Wednesday January 08, 2025 @07:04AM (#42633313)
Definitely will at some point
[ Parent | on HN ]
Re:Types are the basic tool of software design by hacked_greenhat on Wednesday January 08, 2025 @03:38PM (#42638202)
me too!
[ Parent | on HN ]