HACKING.md

Introduction

Hand-rolled parser, inspired by Go's:

• src/go/token/token.go;
• src/go/scanner/scanner.go;
• src/go/parser/parser.go.

Tokens are implemented as a basic enumeration:

• tokenkind.go.

The embedded go:generate stringer provides us with a func (i tokenKind) String() string {...}:

• tokenkind_string.go.

The tokens are scanned from a []byte buffer:

• scanner.go;
• scanner_test.go;

The scanned tokens are then parsed by a ad-hoc parser:

• parser.go;
• parser_test.go;

Note: Currently, the parsing data structures aren't perfectly determined.

The WIP evaluation is shared between some auxiliary utilities and the actual "evaluation" (reduction):

• utils.go;
• utils_test.go;
• eval.go;
• eval_test.go;

Simple type inference (as in, simply-typed λ-calculus) can be found in:

• styping.go;
• styping_test.go;

Budding polymorphic type inference in (not sure we'll need to be this sophisticated?):

• typing.go;
• typing_test.go;