-
Notifications
You must be signed in to change notification settings - Fork 5
Competitors
nponeccop edited this page Apr 28, 2017
·
33 revisions
In the long run HN0 is going to be only a bottom layer in a full-fledged language.
The need to have typed targets puts architectural restrictions on type checker and optimizer. The checker has to remember types of subterms, and optimizer has to construct type annotations.
These languages represent our final destination. While they direct our development, their code generation capabilities can be largely ignored at this early stage.