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
(define-transformed-type MyBinaryTree BinaryTree)
and would that macro be able to access the constituent elements and their types
of given type?
Best regards
Robert
Am Dienstag, 14. Februar 2017 13:08:05 UTC+1 schrieb Matthias Felleisen:
> 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, Robert Kuzelj <rob...@robkuz.com> wrote:
> >
> > That means: can I inspect the declaration and see all the defined members
> > and types?
>
> Of course you can. Just read the type definition and the declarations.
>
> But I can’t figure out what the defined member of a type is.
--
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
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
