ra’s avatarra’s Twitter Archive—№ 39,570

  1. re-reading the lightweight modular staging stuff and I think I have a new angle on it. it seems to be very similar to lisp quasiquoting and unquoting except that the distinction is encoded in the type system as opposed to the syntax of the language? is that about right?
    On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood 0
    1. …in reply to @ra
      the prevailing question for me has been: what, if anything, becomes possible or even easier in lightweight modular staging vs lisp macros? so my current understanding is: not a whole lot? it seems exciting if you have a powerful type system and no macros, eg Scala
      Permalink On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood +4 🙂