News for hackers. Stuff that matters.

A comment on TypeScripting the Technical Interview. Parent comment

Re:TypeScripting the Technical Interview by efficax on Sunday March 12, 2023 @10:20PM (#35130021)
yes, all turing complete type systems make it possible to define type structures that would cause infinite loops, but typically they are able to detect this and refuse to compile
[ Parent | on HN ]
Re:TypeScripting the Technical Interview by hoseja on Monday March 13, 2023 @08:13AM (#35134614)
-_-

“Oh, right.” He blusters a non-termination argument at nobody in particular. “That’s why we usually think in subsets of Haskell where types don’t have bottom values.”

[ Parent | on HN ]