Andor Penzes
Andor Penzes
There are some preliminary results in the Lean paper; https://arxiv.org/pdf/1908.05647.pdf 
About the comparing GC with CIB. We can't do that measurement yet. As we have only a simple runtime implemented in C and LLVM which does only have allocation as...
I discontinued this development for the sole reason of not having enough time and resources in my life now, and it would require more than I can allocate to it....
``` named case scrutinees named node fields name function arguments named store argument ```` Please could you give examples how they are now and what will be the intended result?...
``` data FName = F { fName :: Name } | E { fname :: Name } ``` How FName will fit to the current analyses? Currently we have unified...
Last return Lets use the `pure` as it is already established in the syntax, as also doesn't give the false sense of return point of a function.
``` Program, function, definition The above mentioned notions should be different syntactic constructs. ``` This design decision was taken to be compatible with the recursion schemes library, which already had...
Naming: I see, basically you suggest to introduce constants using the `pure` construction. `v
Please could you update the description of the proposal?
As part of the ICFP tutorial there is a GADT, which helps to create syntactically expected GRIN programs. The rule indexed expressions show what can be combined how. This approach...