News for hackers. Stuff that matters.

A comment on Type Systems as Macros. Parent comment

Re:Type Systems as Macros by moomin on Saturday April 22, 2017 @06:59AM (#14171964)
Ok, that is rather cool. Could something like this be used to make a better Template Haskell?
[ Parent | on HN ]
Re:Type Systems as Macros by nonsince on Saturday April 22, 2017 @10:27AM (#14172667)
Someone's working on something like that already https://github.com/lexi-lambda/hackett
[ Parent | on HN ]
Re:Type Systems as Macros by naasking on Saturday April 22, 2017 @10:43AM (#14172751)
Awesome! Nice find.
[ Parent | on HN ]