Hey, I just want to say, I really appreciate these responses. Lots of really good food for though. Thanks! 🥰
Conversation
It's been on my mind a lot lately when thinking of where to _not_ spend optimization energy in new languages. I think the perspective of staging / specializing is helpful. Like consider your compiler as deciding not just "abstractions to look through" but values to specialize-on.
1
3
It's tempting to think that a compiler is only looking-through abstractions; but in many cases it's also baking-in (possibly to a partial replica) assumptions made when looking-through, and those carry costs both for the replicas and for handling cases when assumptions are wrong.
1
1
(Absurd limit case: specializing programs on every possible input. But less absurd: every one of N scalars used as array sizes? Every one of X*Y caller/callee combinations?)
This Tweet was deleted by the Tweet author. Learn more
This why I’m following the work of , , and with interest! Not sure if it will fulfill my needs though. 🤔
1
2
Staging à la Pfenning and Davies in the Granule pipeline atm.
1
1
Such excitement. Sorry I know I’m like a broken record at this point!
1
2
Dude, your enthusiasm for PLT stuff is no small part of what’s been keeping my gears turning lately, pretty sure we all welcome a little excitement (and a little nudging to actually do the thing, hah)
1
2
Thanks, that means a lot actually. It’s what I try to do at least. It feels like a bunch of this stuff is on the cusp of combining together into something really cool, and I want to see it happen!
1
1
But who knows, may that is my lack of experience and naivety showing. But yeah, no matter the challenges and the setbacks, I still believe it’s important to let people know their work is useful and appreciated.