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 Kind of like this
str_decl : 'string' id '=' val ';'
{
st.addVariable(Type.STRING, $id.text, $val.text);
// ...
};
