Gregory's Server@csepp I've recently implemented factor's stack effect inference and it's a ton of fun to watch it find stack imbalances, extending forth to do this sort of preprocessing gymnastics is a blast :)
I'm looking forward to see what you cook up!
|
Top-level
 @csepp I've recently implemented factor's stack effect inference and it's a ton of fun to watch it find stack imbalances, extending forth to do this sort of preprocessing gymnastics is a blast :) I'm looking forward to see what you cook up! 1 comment
|
@neauoire I'm kind of mentally stuck on typing READ, because then TOS determines stack depth. Could certainly do it with a complex dependent type system, but then I probably won't have much code space for anything else.