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.