|
|
|
|
|
|
by bweitzman
3590 days ago
|
|
|
If you instantiate `t` as a promise then you have to always consider that it isn't there yet, even if you're saying that it's going to be. If you instantiate `t` as `Identity` [0] then you have a type level guarantee that your value is there. You have a guarantee that your program blocks when you say it will. And that's the point of a lot of these abstractions. It's not about being able to write something that you couldn't in another language. After all, we could create the same functionality in assembly. [0] https://hackage.haskell.org/package/transformers-0.2.2.1/doc... |
|
|