News for hackers. Stuff that matters.

A comment on Rust's type system is Turing-complete (2017). Parent comment

Re:Rust's type system is Turing-complete (2017) by amelius on Monday March 15, 2021 @09:49PM (#26471941)
You mean in case the type-inference doesn't halt?

Aren't such programs not very interesting by definition?

And why would you call them "valid" programs?

[ Parent | on HN ]

There are no comments on this comment yet.