Is there any specific reason why macros can't work in a statically typed languag... | Hacker News

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

hencq on June 25, 2012 | parent | context | favorite | on: What was your "ah ha" moment with Haskell?

Is there any specific reason why macros can't work in a statically typed language? How does Typed Racket handle this. Or does it not have macros?

heretohelp on June 25, 2012 [–]

Typed Racket is more like type annotations with a checking routine than anything, if you're writing a macro you want generality.

You achieve this by omitting the type annotation and reverting to normal Racket.

You can do macros in a statically typed language, but it would (and does) get ugly fast.

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