> To me, it's like not wanting to use a spellchecker when writing an article Huh... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Tainnor on Jan 4, 2025 | parent | context | favorite | on: Types are a basic tool of software design (2018)

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

hacked_greenhat on Jan 8, 2025 [–]

> 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).

Tainnor on Jan 8, 2025 | [–]

Definitely will at some point

hacked_greenhat on Jan 8, 2025 | | [–]

me too!

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact