Vicare Scheme’s typed language: built-in

6 Built–in object types

The library (vicare) exports keyword syntactic bindings representing the types of built–in objects: fixnum, strings, vectors, et cetera.

• built-in void:		Type of the void object.
• built-in top:		The universal super-type.
• built-in bottom:		The universal sub-type.
• built-in wildcard:		Wildcard annotation.
• built-in unique:		Types of unique objects.
• built-in booleans:		Type of boolean objects.
• built-in chars:		Type of character objects.
• built-in symbols:		Type of symbol objects.
• built-in keywords:		Type of keyword objects.
• built-in pointers:		Type of pointer objects.
• built-in transcoders:		Type of transcoder objects.
• built-in procedures:		Type of procedures objects.
• built-in numerics:		Type of numeric objects.
• built-in strings:		Type of string objects.
• built-in vectors:		Type of vector objects.
• built-in lists:		Type of list objects.
• built-in pairs:		Type of pair objects.
• built-in bytevectors:		Type of bytevector objects.
• built-in hashtables:		Type of hashtable objects.
• built-in structs:		Type of struct objects.
• built-in records:		Type of record objects.
• built-in conditions:		Type of condition objects.
• built-in ports:		Type of input/output ports.
• built-in enum-set:		Type of enumeration sets.
• built-in time:		Type of time objects.
• built-in promises:		Type of promise objects.
• built-in utsname:		Type of utsname objects.
• built-in memory-block:		Type of memory block objects.
• built-in reader-annotation:		Type of reader annotation objects.
• built-in stats:		Type of stats objects.
• built-in misc:		Miscellaneous built-in types.