Computer science2016 · shared on Hacker News
Type Systems as Macros [pdf]
Research PDF · needs verificationExplore Type Systems as Macros [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yyarapavan ·
JEP 295: Ahead-of-Time Compilation
220 points142 comments
YGankro ·
The Pain of Real Linear Types in Rust
167 points81 comments
Ypcr910303 ·
Why Lisp macros are cool, a Perl perspective (2005)
123 points68 comments
Yluu ·
Dependent Type Systems as Macros [pdf]
95 points7 comments
Ypanic ·
Time safety is more important than memory safety
87 points109 comments
Ypcr910303 ·
Sweet.js – Hygienic Macros for JavaScript
74 points28 comments
Ygrzm ·
ToriLisp – an ersatz Lisp for tiny birds
71 points15 comments
Yadamnemecek ·
The Ergonomics of Type Checking (2016)
69 points93 comments
YNinjacop123 ·
BuBBLE: A Lisp Dialect DSL Written in Haskell
51 points8 comments
Yrendall ·
TypeScript's Type System Is Turing Complete (2017)
49 points43 comments
Ynandalism ·
Stop Building on Corporate-Controlled Languages
24 points16 comments
Ynetworked ·
Type Systems as Macros [pdf]
3 points0 comments
Ypcr910303 ·
Type Systems as Macros [pdf]
3 points0 comments