Typed macros in typed racket?

Greg_Davidson · December 8, 2024, 11:32pm

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

samth · December 9, 2024, 5:33pm

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

Topic		Replies	Views
Pattern matching in TypedRacket that uses types to rule out impossible branches? Questions & Answers question , typed-racket	5	477	February 28, 2023
Crafting Interpreters in Typed Racket Show & Tell typed-racket	0	383	November 23, 2021
What's the common idea to represent types in Racket's LOP? Questions & Answers	2	237	July 11, 2022
Trying to learn macros, have question on code snippet Questions & Answers	4	292	January 4, 2022
Do you know the history of Racket and LeetCode? General question	0	363	August 11, 2023