Looking for prior art: any dependently typed languages with macros? (other than Scala, I guess)
-
@spudbean@puffnfresh citation needed. I can't find any reference to any dependent typing features – its type system seems fairly basic…
@jedws @spudbean @puffnfresh I doubt there is such a language with DTs and macros, including Scala and Dylan.
-
-
@dibblego@jedws@spudbean@puffnfresh I do think ltac in Coq counts. program inference and all that junkThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.