Studying Scrapping your Inefficient Engine http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf … @edwinbrady @khstandrews
@khstandrews @azumanga @biboudis iirc it's not especially informative. Main issue with speed was memory allocation.
-
-
@khstandrews@azumanga@biboudis Main point of the paper is that DTP makes partial eval work really well. Current Idris does it even better. -
@edwinbrady@khstandrews what are the recent advancements in Idris that make partial evaluation work even better? - 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.