Context : ProgrammingLanguages

A compile to web-application language with static typing and type inference :