Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lmm
33 days ago
|
parent
|
context
|
favorite
| on:
Memory Safety for Skeptics
> In other words, Rust has solved the halting problem since the static checking of array bounds is undecidable in the general case!
Pfft, the simply typed lambda calculus solved the halting problem back in 1940.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Pfft, the simply typed lambda calculus solved the halting problem back in 1940.