[cltl3-devel] Types

[Levente Mészáros]

Hi,

Some issues about the type system that comes to my mind (some of them
might be less important than the others):
 - no reliable way to figure out whether something is a type specifier or not
 - no way to portably expand a type specifier by using its definition
 - practically there is no reflection on types
 - no easy way to specify a parametric type of strings with less than
N characters (this is just an example of the issue: (deftype
length-limited-string (limit) ...)
   due to the limits of satisfies
 - no portable way to get the inferred type of a function, a variable, etc.

Cheers,
levy

-- 
There's no perfectoin