Yes, I've read Thomas Schilling's PhD thesis (Trace-based
Just-in-timeCompilation for Lazy Functional Programming Languages) a couple
of times.
My STG interpreter almost supports all kinds of primops that GHC does, and
I plan to add the missing ones in the future.
I'd like to use literally the
Correction it was Thomas schilling !!
And you can Google his Phd thesis trace based just in time compilation for
lazy functional programming languages
And the associated code is on his GitHub nominolo/ lambdachine though I
think it was last touched 7 years ago
On Mon, Jun 7, 2021 at 11:54 AM
I’m not aware of any currently.
I would be curious about the now relatively old work that Max bolingbroke
did for his PhD (I think it was sortah a ghc to Lua JIT?!?)
An important question is : what questions do you want the abstract
interpreter to suport?
On Mon, Jun 7, 2021 at 10:19 AM Csaba
And this is a good example of how both using libera.chat and having an
official matrix bridge with a nice name can help more people use IRC too!
On 6/6/21 2:10 PM, Brandon Allbery wrote:
Pasting directly into the channel is generally a no-no on IRC. Things
like Matrix or IRCCloud convert to
Hello,
I wonder if there was an attempt in the past to create an abstract
interpreter for GHC Core or STG to approximate the program runtime
behaviour?
I'm curious because I'd like to turn my external STG interterpreter to an
abstract interpreter using the AAM (Abstracting Abstract Machines)