[racket-users] Final Call for Papers: ICFP 2017

ICFP 2017 The 22nd ACM SIGPLAN International Conference on Functional Programming Oxford, United Kingdom http://icfp17.sigplan.org/ Final Call for Papers ### Important

Re: [racket-users] Are types first class values in typed/racket

Hey Jack, thanks for the explanation. I was really confused about the fact that my question couldn't be understood. But yeah - if at the moment types are NOT defined during the macro expansion phase and are NOT *thingies* THEN I understand why the confusion. Thanks for clearing that up for me.

Re: [racket-users] Are types first class values in typed/racket

That's not possible in Typed Racket, no. Type checking is after macro expansion so type information doesn't even exist when your macro would expand. However, hope is not lost. There is a new approach to typechecking with macros outlined in the Types as Macros paper by Stephen Chang and Alex