News for hackers. Stuff that matters.

A comment on Strong typing, a hill I'm willing to die on. Parent comment

Re:Strong typing, a hill I'm willing to die on by gpderetta on Wednesday October 04, 2023 @11:12AM (#37766349)
wait, are you saying that any sufficiently complicated lisp program contains an ad hoc, informally-specified, bug-ridden, slow implementation of a static type system?
[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by packetlost on Wednesday October 04, 2023 @10:06PM (#37774136)
No. I'm saying you can build almost whatever static analysis tools you want right into the compiler
[ Parent | on HN ]