Sidebar
Table of Contents
Home
Welcome on Dev Musings. Here are my ramblings about free open-source software, high-tech gadgets and (mostly functional) programming.
Photon Compiler Development: Function Calls
This is the eigth article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself.
In this article, we will add function calls to our language. This addition is relatively straightforward. We will also add unit values so that we can call functions expecting a unit-type argument.
Photon Compiler Development: External Declarations
This is the seventh article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself.
In this article, we will add external declarations, i.e. a foreign function interface to allow interaction with C libraries.
Photon Compiler Development: Value Naming
This is the sixth article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself.
In this article, we will add the possibility to name values, and to reuse them later by their name.
Photon Compiler Development: Arithmetic Operators
This is the fifth article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself.
In this article, we will add arithmetic operators.
Photon Compiler Development: Basic Pipeline
At first was the value.
This is the fourth article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself.
In this article, we will add typing, compilation and interpretation to finish our very first complete pipeline for a trivial subset of our language (constant values of built-in types).
