4 ms·
How do you prove something that is undecidable ?
by di4na 10y ago
How do you prove something that is undecidable ?
- mamcx 10y agoLook, I honestly don't understand what you are talking about. Why suddenly we are talking about undecidable? I have not experience in this area.
- di4na 10y agoIf something have an infinite timeout, how can you know it will be the correct type that come back, because you can not know what comes back.
- mamcx 10y agoOk, but is the same problem if is untyped, or you mean that while program A is waiting for B to return [String], program B is updated to return [Int]? But is the same if untyped. Because the internal schema is changed?
- di4na 10y agowhat is the usage of your type if you can not check them through the compiler ?