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 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 ]