|
|
|
|
|
|
by kaba0
1493 days ago
|
|
|
> because of the halting problem Correct me if I’m wrong, but aren’t types so-called “trivial properties “, on which Rice’s theorem doesn’t hold (and my thinking is that thus neither does the halting problem?). Though this perhaps depends on the type system in question (with dependent types being obvious counter-examples). |
|
|