jozefg/pcf
View on GitHub ↗ ★ 126 Haskell
A small compiler for PCF
5 mentions on Hacker News by 2 people: 0 stories, 5 comments · first 2015-03-31 · latest 2021-06-05
20082026
-
…such as closure conversion and lambda lifting. [0] https://www.stephendiehl.com/llvm/ [1] https://github.com/jozefg/pcf/
comment by siraben · 2021-06-05 · in Implementing a LLVM Micro C compiler in Haskell -
…see[1] as an example for another functional language [0] https://github.com/siraben/lisp-to-js [1] https://github.com/jozefg/pcf/blob/master/explanation.md
comment by siraben · 2020-12-28 · in A Tiny Lispy Transpiler -
…compile FP to C is[0], I'd imagine that retargeting to LLVM wouldn't be that difficult either. [0] https://github.com/jozefg/pcf
comment by siraben · 2020-12-02 · in QBE vs. LLVM -
…a closure, which lets you encode closures faithfully in a first-order language with structs. [0] https://github.com/jozefg/pcf/ [1] http://lampwww.epfl.ch/teaching/archive/advanced_compiler/20...
comment by siraben · 2020-11-09 · in Making a programming language using Rust -
Yet the code is hosted on Github ( https://github.com/jozefg/pcf ) and it generates C. Worse is better.
comment by keenerd · 2015-03-31 · in A Tiny Compiler for a Typed Higher-Order Language