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
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.
Hi all,
I wonder what the best way is to integrate formlets into typed programs. I
simply `require/typed` formlet-display as type (-> Any Any), which is not
illuminating, but the display part is rarely the problem.
formlet-process is tricky. The earliest point at which I 'know' the type of
3 matches
Mail list logo