gat's articles:

Items(9) /1

Any ACL2 users out there? 1 39 (8/13/2004 6:57:02 PM) comp.lang.lisp Is anyone reading this newsgroup using ACL2 (the theorem prover, not Allegro Common Lisp 2 (there is no such thing))? I'm trying to learn how to use it, and the documentation is pretty good, but it would be... Ron

Why I don't believe in static typing 489 99 (11/17/2003 7:38:50 PM) comp.lang.lisp We've been having so much fun having theological arguments about the relative merits of static versus dynamic typing I thought I'd spoil it all by introducing an actual data point. Once upon a time I wrote a ... gat

Bug in DRScheme? 4 21 (11/6/2003 8:16:41 AM) comp.lang.scheme When I do this in DRScheme (in pretty big mode): (define (foo) (define (baz) 1) (baz)) it works, but when I do this: (define (foo) (define (new) 1) (new)) it gives me an error saying that "new" is ... gat

Computability in principle 109 41 (11/4/2003 9:28:27 PM) comp.lang.lisp The "Python from Wise Guy's Viewpoint" thread has had an extraordinarily good run, but the sub-thread on formalisms has gotten far enough removed from the subject line that I've decided to start a new thread a... gat

Hindley-Milner in Common Lisp 8 52 (10/29/2003 10:21:38 PM) comp.lang.lisp Before I go reinventing the wheel, does anyone have a Common Lisp implementation of the Hindley-Milner type inferencing algorithm? I already have a Scheme implementation courtesy of Marc Feely. A web search ... gat

Paper acceptances for Lisp conference? 1 32 (9/10/2003 10:04:23 PM) comp.lang.lisp Does anyone know if the acceptance notices for papers submitted to the Lisp conference have gone out yet? I sent an email to Ray Delacaze but I haven't heard anything. Thanks, Erann ... gat

Can call-with-values be implemented in Common Lisp? 19 27 (8/11/2003 7:42:43 PM) comp.lang.lisp Is there a way to achieve the following in partable CL: (defmacro call-with-values (function form) ...) (defun foo (x y) (list x y)) (call-with-values #'foo 1) --> (1 nil) (call-with-values #'foo (values 1 ... gat

The Right Way to process streams, strings, etc. etc. 2 41 (7/31/2003 12:37:29 AM) comp.lang.lisp The recent thread on translating strings made me give some though to the Right Way to do these things, and I've decided that the Right Way is to generalize the functionality of the MAP function so that it work... gat

Idiot's guide to packages 3 51 (6/29/2003 10:21:03 PM) comp.lang.lisp A first draft of "The Complete Idiot's Guide to Common Lisp Packages" is available at http://www.flownet.com/gat/packages.pdf. A .doc version is also available there. Comments and feedback are welcome, prefe... gat

gat's replies:

Items(39) /4 Next >> Last >|

BIG successes of Lisp (was ...) 295 81 (10/13/2003 11:23:46 PM) comp.lang.lisp In the context of LATEX, some Pythonista asked what the big successes of Lisp were. I think there were at least three *big* successes. a. orbitz.com web site uses Lisp for algorithms, etc. b. Yahoo sto... mike420 (55)

Python from Wise Guy's Viewpoint 1804 79 (10/19/2003 11:18:31 AM) comp.lang.lisp THE GOOD: 1. pickle 2. simplicity and uniformity 3. big library (bigger would be even better) THE BAD: 1. f(x,y,z) sucks. f x y z would be much easier to type (see Haskell) 90% of the code is function ... mike420 (55)

My take on ARC 124 39 (10/20/2003 6:11:11 PM) comp.lang.lisp I couldn't find a good place in the ARC thread to hang this comment so I just decided to punt and start a new thread. One central item in Paul's talk that I didn't see anyone mention (apologies if someone did... myfirstname.mylastname7824 (24)

python libs v lisp coolness? 89 30 (10/27/2003 11:58:49 PM) comp.lang.lisp So, if Python has all these great libraries and Common Lisp needs analogs of them, why isn't the right approach to write a translator? Even if the interfaces to those python libraries is not very "lisp-like" ... lord1 (42)

Hindley-Milner in Common Lisp 8 52 (10/29/2003 10:21:38 PM) comp.lang.lisp Before I go reinventing the wheel, does anyone have a Common Lisp implementation of the Hindley-Milner type inferencing algorithm? I already have a Scheme implementation courtesy of Marc Feely. A web search ... gat (279)

Reasons for preferring Lisp, and for what 88 34 (11/4/2003 9:16:36 PM) comp.lang.lisp I'd like to hear from people who prefer Lisp to other languages for at least certain types of work. I'd like to know why they prefer it to other current languages (for the types of work where they do prefer it)... tuanglen (55)

Computability in principle 109 41 (11/4/2003 9:28:27 PM) comp.lang.lisp The "Python from Wise Guy's Viewpoint" thread has had an extraordinarily good run, but the sub-thread on formalisms has gotten far enough removed from the subject line that I've decided to start a new thread a... gat (279)

Bug in DRScheme? 4 21 (11/6/2003 8:16:41 AM) comp.lang.scheme When I do this in DRScheme (in pretty big mode): (define (foo) (define (baz) 1) (baz)) it works, but when I do this: (define (foo) (define (new) 1) (new)) it gives me an error saying that "new" is ... gat (279)

Why I don't believe in static typing 489 99 (11/17/2003 7:38:50 PM) comp.lang.lisp We've been having so much fun having theological arguments about the relative merits of static versus dynamic typing I thought I'd spoil it all by introducing an actual data point. Once upon a time I wrote a ... gat (279)

Saving results 7 31 (6/24/2004 2:47:11 PM) comp.lang.lisp If in my program somewhere "foo" gets set to some result the program's calculated - say 47, then what's the easiest way to have the program save "foo" so that when I run the program again later "foo" starts off... bjweimer (6)