The stlc-ocaml from onionhoney

stlc-ocaml's Introduction

Simply Typed Lambda Calculus

This repo aims to fully replicate the entire language presented in UCLA's CS 231, Types and Programming Languages.

Currently the function-parameter-annotated version is implemented, with primary support for letrec. Feel free to fork and contribute!

Todos:

~~Conditionals and Boolean~~
Type Inference
Printing of Type Derivation Tree
Ref
Tuple
Variant Type

Installation

Install Ocaml, Core, Jbuilder and Menhir. Then run the following:

jbuilder build stlc.exe
jbuilder exec -- ./stlc.exe yourcode.lambda

// Note that the suffix is always .exe regardless of OS.

Example code can be found in examples/*.lambda.

stlc-ocaml's People

Contributors

Stargazers

Watchers

stlc-ocaml's Issues

jbuilder build fails in file "test.ml"

After installing all the dependencies, with opam install core ppx_jane menhir and jbuilder external-lib-deps --missing test.exe,

$ jbuilder build test.exe
      menhir stlc.{ml,mli}
Warning: 6 states have shift/reduce conflicts.
Warning: one state has reduce/reduce conflicts.
Warning: 42 shift/reduce conflicts were arbitrarily resolved.
Warning: 9 reduce/reduce conflicts were arbitrarily resolved.
      ocamlc .test.eobjs/test.{cmi,cmo,cmt} (exit 2)
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I /home/colinxy/.opam/default/lib/base -I /home/colinxy/.opam/default/lib/base/caml -I /home/colinxy/.opam/default/lib/base/md5 -I /home/colinxy/.opam/default/lib/base/shadow_stdlib -I /home/colinxy/.opam/default/lib/bin_prot -I /home/colinxy/.opam/default/lib/bin_prot/shape -I /home/colinxy/.opam/default/lib/core -I /home/colinxy/.opam/default/lib/core_kernel -I /home/colinxy/.opam/default/lib/core_kernel/base_for_tests -I /home/colinxy/.opam/default/lib/fieldslib -I /home/colinxy/.opam/default/lib/jane-street-headers -I /home/colinxy/.opam/default/lib/ppx_assert/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_bench/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_compare/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_expect/collector -I /home/colinxy/.opam/default/lib/ppx_expect/common -I /home/colinxy/.opam/default/lib/ppx_expect/config -I /home/colinxy/.opam/default/lib/ppx_hash/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_inline_test/config -I /home/colinxy/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/colinxy/.opam/default/lib/sexplib -I /home/colinxy/.opam/default/lib/sexplib/0 -I /home/colinxy/.opam/default/lib/sexplib/unix -I /home/colinxy/.opam/default/lib/spawn -I /home/colinxy/.opam/default/lib/stdio -I /home/colinxy/.opam/default/lib/typerep -I /home/colinxy/.opam/default/lib/variantslib -I /usr/lib64/ocaml/threads -no-alias-deps -I .test.eobjs -o .test.eobjs/test.cmo -c -impl test.pp.ml)
File "test.ml", line 63, characters 4-8:
Error: The function applied to this argument has type
         ?readme:(unit -> string) -> Core__Command.t
This argument cannot be applied without label

Related version info

$ uname -a
Linux *ip redacted* 4.15.8-300.fc27.x86_64 #1 SMP Fri Mar 9 18:11:36 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
$ ocaml --version
The OCaml toplevel, version 4.05.0
$ opam --version
2.0.0~beta6

Recommend Projects