Re: [racket-users] Types for formlets

Hi Philip, thanks for your extensive write-up -- due to Racketfest I didn't have the time to digest it earlier. Yeah, I don't see why I would want to type the formlet creating code itself, that seems like it will not be useful. What I really want is to type the output from a formlet in the

Re: [racket-users] Types for formlets

Hi Marc, You're right that there will be some challenges in using formlets in Typed Racket. The easiest approach will probably be to keep defining formlets in untyped modules and importing them with `require/typed`, perhaps with helper functions or macros to eliminate some of the boilerplate.