mirror of
https://github.com/grin-compiler/grin.git
synced 2024-09-11 15:37:54 +03:00
add comments
This commit is contained in:
parent
b6f4d0341e
commit
8f915f15f9
@ -41,6 +41,11 @@ THOUGHTS:
|
||||
program optimization is evaluation
|
||||
type inference/check is evaluation
|
||||
|
||||
GRIN optimisations vs supercompilation
|
||||
GRIN does calculation on tags that comes from the frontend language's type system therefore it terminates for sure.
|
||||
The tag related calculations are much more limited than computations on arbitrary values.
|
||||
Supercompilation does general computation without binding time annotations.
|
||||
|
||||
micro TODO:
|
||||
- compile LC_SmallStep
|
||||
- closure conversion
|
||||
|
Loading…
Reference in New Issue
Block a user