11:53:13leo_songas vector and array is harder to use, what is the common way to write a deftype which means a list can only consisted with a certain type of elements? use satisfies?
13:13:16beachleo_song: Jim Newton and Didier Verna created some abstractions on top of that though. They call it "regular type expressions".
14:17:28leo_songbeach: thanks. I was thinking that there would be something like the the array's (array type), so the compilers can have the information to optimise.
14:37:24beachleo_song: The array types are determined by the fact that arrays are specialized. A specialized array can hold only objects of a particular type because of the very way the array is represented in memory. But CONS cells can not be specialized that way, so there is no way to guarantee that such a type constraint will remain true.
14:48:11carkhmhh is an array of structs stored in-line in some implementations ? like in c ?
14:48:28beachThat would violate the semantics of Common Lisp.