News for hackers. Stuff that matters.
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
Re:Type Systems as Macros by naasking on Saturday April 22, 2017 @10:43AM (#14172751)
Awesome! Nice find.