3 ms·
The author has been publishing math and compsci papers since the 80s [0] with another on the way [1]. Maybe stick to TypeScript? [0] https://scholar.google.co
by ryandv 2y ago
The author has been publishing math and compsci papers since the 80s [0] with another on the way [1].
Maybe stick to TypeScript?
[0] https://scholar.google.com/citations?user=eWreFm4AAAAJ&hl=en https://scholar.google.com/citations?user=eWreFm4AAAAJ&hl=en
[1] https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-Program-Analysis-Without-Encodings https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-...
- quantadev 2y agoOk, thanks. I'll avoid the Turning Tarpits. https://en.wikipedia.org/wiki/Turing_tarpit https://en.wikipedia.org/wiki/Turing_tarpit