Have you tried using them as macro assemblers in the way described in the paper? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kragen 17 days ago \| parent \| context \| favorite \| on: Coq: The World's Best Macro Assembler? (2013) [pdf... Have you tried using them as macro assemblers in the way described in the paper?

nextos 17 days ago [–]

No, I haven't. I have used them with shallow embedding techniques that are relatively similar, but not in this way.

kragen 17 days ago | [–]

That sounds interesting!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact