Alberto La Rocca

Another possible solution is to default to 32-bit width on 32-bit platform and 64-bit width on 64-bit platforms, but this would make it difficult handling 64-bit values on 32-bit platforms.

Based on #77, wrapping integer values is no longer an option. Numeric types must now reflect the numeric sets used in math. Another option would be to implement semi-circular arrays,...

Link to the original paper: http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf

Another useful paper: https://web.archive.org/web/20120324105848/http://www.cs.ucla.edu/~jeff/docs/hmproof.pdf

b112d30df154e175ebfcc1326fbbd31746f6d2f8 provides improvements.

Valid option for the delimiters: the dollar symbol (`$`). Example: `$foo$.test "is this foo?"`

The "at" symbol (`@`) would be another option but it is going to be used for annotations.

Now that #73 is fixed, more symbols have become available by the way.

Obsoleted by #89?

This is actually mandatory because lists are not well suited to specify the arguments for native functions because they have uniform inner type. When the type system is activated, it...