4 ms·
Basically you'd be asking for inferring a record type largely transparently. That's going to quickly explode to the most naive form because it's very hard to te
by wbl 2y ago
Basically you'd be asking for inferring a record type largely transparently. That's going to quickly explode to the most naive form because it's very hard to tell what could be called, especially in Go.
- mst 2y agoI don't think you could fit it to Go, no. But see https://hackage.haskell.org/package/effectful https://hackage.haskell.org/package/effectful for work in the general area that seems rather promising.