epatrizio / lcalculustyp

Lambda calculus typer and evaluator in OCaml

Hi there 👋

tl;dr

• 💻 R&D software engineer
• 💽 Computer Scientist, work in progress ;)
• ➿ Programming languages design enthusiast
• 🌍 Need for open source
• 🌻 Convinced by the minimalist philosophy
• 🤔 Discovering low tech computing approach
• 🐫 OCaml
• 🕸 WebAssembly (wasm)
• 🐘 PHP
• 🌔 Lua
• 📖 Life long learner

current status

OCamlPro company

I contribute to the OCamlPro owi 🐌 project (OCaml WebAssembly toolchain : concrete and symbolic interpretation), part of a research project on OCaml to Wasm compilation.

Side project

ola (OCaml Lua experiments) is a personal experimental project. First step, ola is a Lua language interpreter written in OCaml.
My objective is to obtain a deeper understanding of dynamic languages design.

lcalculustyp's Issues

[Bug] typing problem

List of lists and List ref do not type when it should!
Examples https://github.com/epatrizio/lcalculustyp/blob/main/bin/lterms.ml

• lambda term "ex_list_4"
• lambda term "ref ex_list_1"