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

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).


threaded - newest