News for hackers. Stuff that matters.
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.
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...