| ▲ | cyphar 4 hours ago | |
> I've seen at least a paper trying to bolt-on such a feature on golang but it's way too convoluted. A friend of mine has been working on [1] which is a less computer-sciency solution to the problem for Go modules that doesn't require adding effects to the type system (to be a bit snarky -- good luck getting more type changes into Go, it might take another 3 decades). | ||