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

Hey Jack, are there any users already for turnstile? I couldn't find anybody except the package itself. ciao robertj Am Mittwoch, 15. Februar 2017 20:13:43 UTC+1 schrieb Jack Firth: > That's not possible in Typed Racket, no. Type checking is after macro > expansion so type information doesn't

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

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

I'm not exactly sure what you mean by "feed a type into a macro" or "the constituent elements .. of a given type". But Typed Racket runs macro expansion entirely _before_ type checking, so this is unlikely to be possible. Sam On Tue, Feb 14, 2017 at 1:32 PM, Robert Kuzelj

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

Hi Matthias, thanks for answering. As it seems my question was a bit imprecise - let me rephrase it: given a type definition in typed/racket like (define-type BinaryTree (U Number (Pair BinaryTree BinaryTree))) would it be possible to feed that type into a macro (aka not runtime) so that

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

A value is a run-time entity, namely, the result of a computation. A first-class value can flow anywhere within the core language. A type is a syntactic concept. It does not exist at run-time at all (contrary to the propaganda concerning ‘dynamic typing’). > On Feb 14, 2017, at 4:04 AM,

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

That means: can I inspect the declaration and see all the defined members and types? Thanks Best regards Robert -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email