True multi stage Haskell

David Feuer david at well-typed.com
Fri Nov 17 18:26:07 UTC 2017


I don't know anything myself, but if you're doing anything remotely related to Haskell and macro systems, you should probably read up on what Alexis King (AKA lexi-lambda) has been up to lately, and maybe get in touch with her.


David FeuerWell-Typed, LLP
-------- Original message --------From: Tim Sheard <sheard at pdx.edu> Date: 11/17/17  1:05 PM  (GMT-05:00) To: ghc-devs at haskell.org Subject: True multi stage Haskell 
After many years of hoping someone else would do this, I would like to
make GHC into a true multi-stage programming language. Here is how I
thought I might approach this.

1) Use the GHC as a library module.
2) Use the LLVM backend.

I have no experience with either of these tools.
Lets start simple, How would I write functions like

compile :: String -> IO PtrToLLVMCode  -- where the string is a small 
Haskell program.
llvmCompile :: PtrToLLVMCode -> IO PtrToMachineCode
jumpTo:: PtrToMachineCode -> IO ans   -- where ans is the "type" of the 
string.


Any thoughts on how to get started? What papers to read, examples to 
look at?

I'd love to move to some more disciplined input type, a sort of (mono) 
typed program
representation (with similar complexity) to Template Haskell Exp type.

where (Exp t) is a data structure representing a Haskell program of type t.

All offers of advice accepted. I'm trying to get started soon, and good 
advice
about what to avoid is especially welcome.  If any one wanted to help 
with this,
that would be great.

Tim Sheard

_______________________________________________
ghc-devs mailing list
ghc-devs at haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20171117/3819dd0c/attachment.html>


More information about the ghc-devs mailing list