41–47 of 47 posts
Earlier quoted context omitted.
What is the difference between multithread and different machines? Time to get a synchronous response ? At best. But errors happens to and error situations are the same.
But why are types a problem?
Earlier quoted context omitted.
I can't understand this. Can you give a more concrete example?
How do you prove something that is undecidable ?
I have not experience in this area.
Earlier quoted context omitted.
How do you prove something that is undecidable ?
Look, I honestly don't understand what you are talking about. Why suddenly we are talking about undecidable? I have not experience in this area.
Earlier quoted context omitted.
Look, I honestly don't understand what you are talking about. Why suddenly we are talking about undecidable? I have not experience in this area.
If 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.
But is the same if untyped. Because the internal schema is changed?
Earlier quoted context omitted.
If 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.
Ok, 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?