# Typed macros in typed racket?

**URL:** https://racket.discourse.group/t/typed-macros-in-typed-racket/3403
**Category:** General
**Created:** [December 8, 2024, 11:32pm UTC](https://racket.discourse.group/t/typed-macros-in-typed-racket/3403 "2024-12-08T23:32:07Z")
**Posts on this page:** 2
**Page:** 1

<div class="post-metadata">

### Author: ![Greg\_Davidson](https://avatars.discourse-cdn.com/v4/letter/g/5f8ce5/32.png) [@Greg\_Davidson](https://racket.discourse.group/u/Greg_Davidson)
#### Post date: [December 8, 2024, 11:32pm UTC](https://racket.discourse.group/t/typed-macros-in-typed-racket/3403/1 "2024-12-08T23:32:07Z")

</div>

Has anyone done any work in having macros which match on the type signature of a form in TypedRacket?

---

<div class="post-metadata">

### Author: ![samth](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/samth/32/3_2.png) [@samth](https://racket.discourse.group/u/samth)
#### Post date: [December 9, 2024, 5:33pm UTC](https://racket.discourse.group/t/typed-macros-in-typed-racket/3403/2 "2024-12-09T17:33:53Z")

</div>

Can you say more about exactly what you're looking for, maybe with an example?