Studying Scrapping your Inefficient Engine http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf … @edwinbrady @khstandrews
-
-
@edwinbrady@khstandrews what are the recent advancements in Idris that make partial evaluation work even better? -
@biboudis@khstandrews PE looks under patterns so in particular it removes type class, and possible HOF, overhead at compile time. - 2 more replies
New conversation -
-
-
@edwinbrady@khstandrews interesting paper because now I know why taglessness matters (even more) in the context of embdedding in a DTPL.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.