Type Systems as Macros

Re:Type Systems as Macros by naasking on Friday April 21, 2017 @07:20PM (#14170209)

This is a little more general. They implement a stack of type systems all the way up to F-omega, and they're able reuse and compose the macro libraries to make the more elaborate type checkers. It's pretty impressive.

[ Parent | on HN ]

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 ]