search

sunjay / brain

A high level programming language that compiles into the brainfuck esoteric programming language
MIT License
167 stars 12 forks source link

Full Type Inference #49

Open sunjay opened 7 years ago

sunjay commented 7 years ago

Currently, we require every variable to have an explicit type annotation. This can get quite tedious and add a lot of extra noise to programs.

Support:

let foo = 8;

Derive the type from the usage of variables in expressions and function types.