Re:The Levenshtein distance in production (2020)
by lep on Monday June 07, 2021 @04:17AM
(#27420262)
ghci also gives you a list of names if it can't find the variable you typed wrong. I'm not certain but i assume they use Levenshtein aswell. I definitivly use Demarau-Levenshtein for the same feature in pjass.
[ Parent
| on HN ]
Re:The Levenshtein distance in production (2020)
by harpocrates on Monday June 07, 2021 @08:21AM
(#27421688)
GHC also uses Demarau-Levenshtein [0]. The fuzzy lookup function gets re-used for a couple places too (including whatever you encountered in GHCi).
[0]: https://github.com/ghc/ghc/blob/25977ab542a30df4ae71d9699d01...