I wonder if grammar based types exist.
I see types based of predicates (dependent types) and algebraic types. Maybe Antlr informally counts as that. But it only really parses and scans stuff.
@jmw150 what would a gramar-based type look like?
Follow
@worldsendless It might be a good way to talk about macros.
