interpreters
Static Arguments and Partial Evaluation — Idris 1.3.0 documentation
7 hours ago by derrickturk
You can do Futamura projections!
idris
optimization
interpreters
7 hours ago by derrickturk
[Haskell-cafe] Manual Type-Checking to provide Read instances for GADTs. (was Re: [Haskell-cafe] Read instance for GATD)
17 days ago by derrickturk
this is pretty much the existential trick as in e.g. glambda or JStlc, but there's a bit on implementing an HM polymorphic language
programming
haskell
types
gadt
existential-types
interpreters
compilers
functional
17 days ago by derrickturk
AngelScript: How to build a JIT compiler
26 days ago by mrnugget
Pretty good explanation of how to do JIT compilation inside a VM
jit
virtualmachines
compilers
interpreters
26 days ago by mrnugget
Writing A Compiler In Go | Thorsten Ball
golang
compilers
interpreters
6 weeks ago by geetarista
This is the sequel to Writing An Interpreter In Go and this time we're writing a compiler and a virtual machine for Monkey. Same codebase, same approach, new goals. Code front and center, step by step explained, fully unit tested and runnable.
6 weeks ago by geetarista