Efficient instance resolution for Agda (amelia.how)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 10 Mar 2024 13:29
https://programming.dev/post/11279599

This is similar to the earlier post Blazingly Fast™ Type Class Resolution with Tries. Both use tries for instance resolution, but Agda has more implementation details due to more flexibility in its instances (and actually has an implementation).

#programming_languages