Page
Library
Module
Module type
Parameter
Class
Class type
Source
Ocaml version >= 4.13.1, modules fmt,str and linenoise ( REPL )
opam install fmt str linenoise
I restarted this project early 2022, to act as a TIPE (a french weird oral exam for the concours of Écoles d'Ingénieurs) to frame the formal language theory, and to do that you'll play with our world famous pastries !
The lexer, parser and interpreter are finished, they take a string of language and transform it into an abstract syntax tree (AST) that the interpreter take to execute the language. I now work on the theoritical part of the issue (turing-completeness), and the compiler.
The syntax is really close to a BASIC but with less explicit words and keywords you'll see :)
The language supports integers, floating point numbers, strings, booleans, predicates, gotos, conditionnals gotos (if/else), and implements many of the standard instructions you can find in a language standard library. Keywords are simple and are the only instances when you don't need parenthesis, go see the WIKI for more accurate informations
dune build .
dune exec baguette_sharp_interpreter
dune runtest