4 ms·
Hoogle[1] is also a pretty awesome example of this. It doesn't track the values themselves, but in Haskell there are usually only so many (sensible) functions f
by Nullabillity 10y ago
Hoogle[1] is also a pretty awesome example of this. It doesn't track the values themselves, but in Haskell there are usually only so many (sensible) functions for a given type which mitigates it a bit.
[1]: https://www.haskell.org/hoogle/ https://www.haskell.org/hoogle/
- catnaroek 10y agoParametricity actually cuts the number of possible functions at a given type much more effectively than any small number of examples: http://cstheory.stackexchange.com/questions/19548/how-can-relational-parametricity-be-motivated http://cstheory.stackexchange.com/questions/19548/how-can-re...