| Thank you Matt for pointing that out. However given Adam's reaction I reconsidered joining the project. Wish you good luck with your efforts and thank you for your time. Kind regards, Daniel Gesendet von meinem BlackBerry 10-Smartphone.
I'd posted the comment here, it's not much of a description though. The only other thought i'd had is something i have tried to work on, but not yet had any luck with, which is an implementation of the nanopass-framework as ur modules, the nanopass framework in the scheme implementation of it provides a set of macros (define-language, define-pass), which are a bit difficult to nail down in a statically typed language. In particular it seems to require row polymorphism, folds, pattern matching, type -> type functions all which seem to be provided by Ur, individually I can see that the pieces seem to be there, that I can imagine the big picture of how the macros could be implemented in ur, but I haven't managed to put it all together, not sure if it'd be a bit much for a semester or not. On Fri, Nov 10, 2017 at 4:56 AM, Daniel Agota <[email protected]> wrote:
| ||||
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
