This repo was abandoned, as my thesis became a purely theoretical one without an implementation. I'm keeping the repo, because I kinda like the name.
A toy programming language for my magister thesis.
The language is not meant to be practically useful, thus does not even have a compiler, IO, or a module system, just a type checker. The purpose of the language is to demonstrate the capabilities of its type system.
Required software: Node.js.
- Clone this repository.
- In the root folder of the repo, install the dependencies by running
npm install. (The command comes with installing Node.) - Compile the code by running
./node_modules/typescript/bin/tsc. - Run
node local/out/main.js > parser-table.json, thenmv parser-table.json local. Yes, it needs to be done in two steps.
Now you can use the type checker. If PATH is a path to an .ictoan file, run
node local/out/main.js PATH to typecheck its contents.
(Ictoan stands for I can't think of a name.)