Andrew

I suppose you can say that type inference is up to those responsible for sbcl and general language standards. I wonder if there's a way to add something major to...

Okay, so we have been working on the problem, and here are the results (my lib and what its built on, mine is just a big sketch for now). Unsure...

I can understand that. I was thinking about that too. However, this is a "lisp curse" in its purest form -- that is, doing something completely new is a .......

We are trying to deal directly with CL type system and in particular sbcl inferer. That is obviously required to make a proper static dispatch. If you have sbcl-devel subscription,...

I was thinking (this is not mentioned in clng, since its main purpose is to gather well known ideas for all community, and not my personal ones) about some sort...

Okay, several things. 1) Here is my (torn out of context) dfs macro (which performs non-recursive dfs. It also calls proper visitors (or so I hope). I am afraid it...

Well, yea, I mean, if I wasn't busy with all the other (mostly non Cl ;(( ) stuff, I should have made something like this myself by now. I actually...

Hey, we are bulding a certain library that might be nice for collection like yours. It's here https://github.com/commander-trashdin/cl-overload and the discussion is here https://github.com/markcox80/specialization-store I was thinking about which functions...

Okay, Just for clarity though, the main goal of the project is to have 0-cost (in terms of runtime) abstraction. All of our specializations are carefully inlined and dispatched in...

No idea how to otherwise contact you, but here's an example of what I had in mind (I cannot do this atm, so I haven't finished the project, and this...