User Tools

Site Tools


start

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.

→ Read more...

2011/01/28 16:22 · 0 Comments

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.

→ Read more...

2011/01/28 14:44 · 0 Comments

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.

→ Read more...

2011/01/21 15:25 · 0 Comments

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.

→ Read more...

2011/01/19 14:34 · 0 Comments

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).

→ Read more...

2011/01/18 16:54 · 0 Comments
start.txt · Last modified: 2012/01/26 21:06 by csoldani