Does anyone know of any examples of typed homoiconic languages with non-trivial syntax?
-
-
Replying to @milessabin
@milessabin We did something along those lines with the dsl notation in http://eb.host.cs.st-andrews.ac.uk/drafts/dsl-idris.pdf …1 reply 2 retweets 5 likes -
Replying to @edwinbrady
@edwinbrady oh, awesome :-) I just want mixfix now.1 reply 0 retweets 0 likes -
Replying to @milessabin
@milessabin I just fake that with syntax macros. There is an effort to rewrite the parser at the minute though, so maybe it's coming.1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady@milessabin I don't think Ahmad is putting mixfix in the new parser. He's focusing on proper error messages and source locations1 reply 0 retweets 0 likes
Replying to @d_christiansen
@d_christiansen @milessabin Well that is probably much more important! But I suspect it'll make adding mixfix easier too.
5:45 AM - 15 Sep 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.