3 ms·
> Having learned the subject myself, I'm not convinced it's useful for programmers. I think it is demonstrably useful to people who design programming language
by roenxi 2y ago
> Having learned the subject myself, I'm not convinced it's useful for programmers.
I think it is demonstrably useful to people who design programming languages with strong type systems. Not a very common use case in practice, but it did find an application. Damned with faint praise, perhaps. I haven't seen anyone demonstrate a use outside that niche.
- casey2 2y agoWhat's the application of languages with strong type systems? Some people do the work of learning category theory and still decide in the end to write lint.
- j2kun 2y agoI've been down that rabbit hole, and while some few select people do it, the vast majority of people doing this rely on PL papers that long preceded the attempt to put category theory in the mix.