2 ms·
> Mostly it's a usability nightmare for typeclasses And also for Rust traits, C++ templates, etc (those are all nonterminating)
by nextaccountic 4y ago
> Mostly it's a usability nightmare for typeclasses
And also for Rust traits, C++ templates, etc (those are all nonterminating)