Re: with-slots on instances of structure classes and performance

"david.tolpin@xxxxxxxxx" <david.tolpin@xxxxxxxxx> writes:

That's what environment access can buy you. If (as you mentioned) you
are still using Allegro, I believe you should be able to get at this
in macros via the environment access stuff in ACL 7+.

Yes, thanks a lot, that was it. I've implemented it for Allegro (don't
see a way for CMU, but its structure accessors are fast anyway, and the
code is almost as fast), and now my code is only 15-20% slower with
Allegro than with LispWorks.

That's good.


On the other hand, it is a shame that Lisp forces to do such things
manually

It's not statically typed. And furthermore, type inference like this
is often domain oriented/specific. I have a "type" inferencer
(actually it does more than just type inference, in particular various
code motion) in a major system I built (on Allegro) even before the
environment stuff was available and it takes major advantage of
various domain specific information (operation types, their behavior,
side effecting aspects, et.al.)


(and in implementation-specific way),

Well, the code for Allegro's environment access is a public lib which
other implementations can take and incorporate to fulfill this in a
(defacto)standard(!!!) way.


Hindley-Milner type system and type derivation would shine.

Maybe your application would benefit more from using Haskell/*ML???


/Jon

--
'j' - a n t h o n y at romeo/charley/november com
.