Skip to content

deeplang-org/deeplang-type-system

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Deeplang Type System

We are learning TAPL and developing some interesting projects as follow:

Todo list:

  • Deeplang parser/lexer
  • Deeeplang typing rules
  • Deeplang symbol table
  • Deeplang type checker and then type infer
  • Deeplang wasm codegen

Prepare

  • ocaml >= 4.12.0
  • dune >= 2.8

Building

Currently, only the AST definition is completed. Its source file is at parser/ParseTree.ml. To build the AST definition, you need an OCaml compiler and the dune build system. To build directly with dune, do:

dune build

You can also build with Makefile, via:

make build

To build the module document of source files as well, you need to install the odoc document generator as well. Once odoc is installed, you can build module documents through:

make doc

The generated documents of internal modules are located in doc/internal/module_name-xxxxxxxxxx, in HTML format. You can preview the HTML online by opening the link of the HTML file in

To build source files and document together, do:

make all # or simply `make`

Development Guide

To add new OCaml modules, you just need to modify the dune build file, and add your modules/libraries/executables into it. You can find the document of dune here.

Releases

No releases published

Packages

No packages published

Languages