21 May
2021
21 May
'21
10:31 a.m.
Carter Schonwald
Silly question: when will stand alone kind sigs speed up type checking phase of compilation?
I'm not hopeful that the sort of kind signatures given by Baldur could ever significantly affect compilation performance. As far as I can tell, inferring such simple signatures just isn't that much work compared to everything else that the compiler does. Cheers, - Ben