[Push] Several questions

[Lee Spector]

Hi Bill,

I'm definitely interested in talking about and helping to design  
additional types. I'll be a bit useless on C implementation issues  
though -- for the C version of the library I'm just a user (via  
breve) and a cheerleader. But I am very much interested in the design  
ideas and would love to discuss them (and I think it'd be interesting  
to keep this on the list, at least for a while). I've used other  
types in the Lisp implementation, like unitary matrices for quantum  
computing, so I've thought a little about the issues that arise.

Maarten Keijzer (who designed and wrote the Push3 library) even has a  
cool scheme -- some of which may actually be lurking in the current  
source -- for a real TYPE type (not just the type name and  
instruction overloading scheme that was in Push1) that allows for  
dynamic type definition. And also an ENVIRONMENT type with some  
interesting implications. Last Maarten and I discussed all of this it  
didn't seem quite ready for prime time, but it's neat and would allow  
for new applications... so if your interests tend in this direction  
maybe we could pick up that thread.

  -Lee


On Jan 20, 2006, at 8:33 PM, jon klein wrote:

>
> On Jan 19, 2006, at 12:29 PM, William Tozier wrote:
>
>> The simpler end of the scale:
>> - Is there an explicit readme for installing Push 3.0.5 on a Tiger  
>> system?
>
> I believe that 3.0.5 does not compile on Tiger by default because  
> of changes in gcc 4.0, which is the default compiler on Tiger.  You  
> can try compiling it with gcc-3.3 (also installed on Tiger, I  
> believe) "CC=gcc ./configure" and then "make" .
>
> I have made some changes locally to get it working with gcc 4.0,  
> but have not yet committed the changes to CVS.  I can commit them  
> or send them to you if you're interested.
>
>> The mid-range:
>> - I'd like to extend the system to include some problem-specific  
>> additional stack types. Is anybody interested in and available for  
>> a collaboration?
>
> I know that Lee is always interested in extending Push and working  
> on new problems, so I'm sure he'll want to chime in here! :)
>
>> The higher end:
>> - Any suggestions for compiling the system in XCode 2.X? I'm  
>> "learning" both at about the same time, and could use the pointers.
>
> The current push3 build system is based around the gnu config  
> tools, and I think that it would be a lot of effort to get it  
> running in XCode.  Instead, you should get the library built using  
> the standard configure/make approach, and then link to the  
> resulting library in your XCode project.
>
> - jon klein
> _______________________________________________
> Push mailing list
> Push at lists.hampshire.edu
> http://lists.hampshire.edu/mailman/listinfo/push

--
Lee Spector, Professor of Computer Science
School of Cognitive Science, Hampshire College
893 West Street, Amherst, MA 01002-3359
lspector at hampshire.edu, http://hampshire.edu/lspector/
Phone: 413-559-5352, Fax: 413-559-5438