Alberto La Rocca

Design and implement symbols

1

This is marked as a bug because at the very least they need to be handled by the unmarshaller (i.e. `typeof value === 'symbol'`).

Maybe's

1

#83 removed `null`. There are still important use cases for nullary values where `undefined` is unsuitable because it wouldn't type. For example, binary trees: ``` lambda # assumption: io.read returns...

The ability to define types and values by structural induction would be extremely useful in many use cases.

Generators / iterators?

1

Design generator / iterator pattern for Lambda and implement whatever is necessary. The goal is to provide an object with list-like interface (e.g. `map`, `reduce`, `filter`, etc.) with each method...

Implement operators for objects

2

The default behavior should be to apply the same operator to each member, but it needs to be defined in detail for binary operators that receive two objects (they may...

Disallow negative integers as indices

2

Currently, `int` is allowed as index for indexed types (arrays and strings). The reason we can't restrict this to `uint` is that we want to be able to use expressions...

Implement regular expressions

3

The syntax still needs to be defined. Delimiting with slashes (like in JavaScript) causes syntax ambiguities (like in JavaScript). On the other hand there aren't many other available symbols to...

Store coordinates in each AST node. Coordinates are indications on how to find the corresponding source code in the original source stream. Each AST node is associated to a span...