@jonmsterling I found PTSes mildly more useful than some once upon a time, but only because I'd the sort of person who'd actually look at how to encode a record system in those terms.
They're still a huge problem the moment someone thinks everything should be describable as one!
In reply to
Philippa Cowderoy
@flippac@types.pl
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
types.pl
Philippa Cowderoy
@flippac@types.pl
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.
types.pl
@flippac@types.pl
·
Oct 15, 2025
1
0
0
Loading comments...