2 FLI Types

A central aspect of the FLI is implementation of foreign language types. FLI variables, function arguments and temporary objects have predictable properties and structures which are analogous to the properties and structures of the types found in C. The FLI can translate Lisp data objects into FLI data objects, which are then passed to the foreign language, such as C. Similarly, data can be passed from C or the Windows functions to the FLI, and then translated into a suitable Lisp form. The FLI types can therefore best be seen as an intermediate stage in the passing of data between Lisp and other languages.

Here are some of the features and sorts of foreign types:

• Consistency -- Foreign types behave in a consistent and predictable manner. There is only one definition for any given foreign type.
• Parameterized types -- these can be created using a deftype -like syntax. The macro define-foreign-type provides a simple mechanism for creating parameterized types.
• Encapsulated types -- the ability to define a new foreign type as an extension to an existing type definition is provided. All types are converters between Lisp and the foreign language. New types can be defined to add an extra level of conversion around an existing type. The macro define-foreign-converter and the foreign type :wrapper provide this functionality.
• Generalized accessors -- the FLI does not create named accessors. Instead, several generalized accessors use information stored within the foreign type object in order to destructure the foreign object. These accessors are foreign-slot-value, foreign-aref and dereference. This makes it possible to handle type definitions corresponding to C types defined using unnamed structures, as we do not rely on specialized accessors for the given type.
• Documentation for types -- foreign type definitions can now include documentation strings.
• Specialized type constructors -- to make the definition of the Lisp to C interfaces even easier several type constructor macros are provided to mimic the C type constructors typedef , enum , struct , and union . The new FLI constructors are define-c-typedef, define-c-enum, define-c-struct and define-c-union. Note that the equivalent foreign types for most standard C types are already available within the FLI.

There are two fundamental sorts of FLI types: immediate and aggregate . Immediate types, which correspond to the C fundamental types, are so called because they are basic data types such as integers, booleans and bytes which have a direct representation in the computer memory. Aggregate types, which correspond to the C derived types, consist of a combination of immediate types, and possibly of smaller aggregate types. Examples of aggregate types are arrays and structures. Any user-defined type is an aggregate type.

2.1 Immediate types

2.2 Aggregate types

2.3 Parameterized types

2.4 Encapsulated types

2.5 The void type

2.6 Summary