3:18:06beachBike: It looks to me like you are working mostly on non-Cleavir Clasp code. Does that mean that you consider the work on Cleavir pretty much done? I am not following in detail what has been done with Cleavir v2.
3:19:24beachI could have the wrong impression too, of course.
3:20:40BikeNo, there's plenty left to do, mostly in the direction of replacing cleavir-env with trucler
3:21:43Bikeonce it uses trucler it should be possible to store more interesting type information in the environment, which is important for a lot of optimizations
3:21:53Bikeplenty of other stuff to do like loop invariant code motion of course
3:22:42Bikebut the nonspecific optimizations done by karlosz and i have already improved clasp performance a fair bit, so this all seems a little less urgent
3:23:00Bike(really, he did most of it once i replaced the ir)
3:26:57Bikecontification being essentially merging calls that have the same continuation, and then interpolating, e.g. rewriting (if x (f z) (f g)) as (f (if x z g)) so to speak
3:27:25Bikemeans that many common uses of flet and labels are pretty much free
3:28:39beachI remember understanding contification at the time it happened, but I forgot it since. Is it a published optimization technique?
3:29:14Bikeyeah, it's apparently big in ML-land. karlosz put a paper or two in the comments