3 ms·
Yes, if you look at the source code I use unification to tell whether types match or not.
by interactiv 10y ago
Yes, if you look at the source code I use unification to tell whether types match or not.
- burntsushi 10y agoYou're doing a lot of repeated work though. I was trying to point out this function, which does unification in a generic context, given some function type: https://godoc.org/github.com/BurntSushi/ty#Check https://godoc.org/github.com/BurntSushi/ty#Check ... For example, it reduces a lot of the reflection boiler plate: https://github.com/BurntSushi/ty/blob/master/fun/list.go#L80 https://github.com/BurntSushi/ty/blob/master/fun/list.go#L80