From owner-freebsd-chat Thu Dec 9 15:49:20 1999 Delivered-To: freebsd-chat@freebsd.org Received: from nisser.com (c1870039.telekabel.chello.nl [212.187.0.39]) by hub.freebsd.org (Postfix) with ESMTP id 64B9F14C1A; Thu, 9 Dec 1999 15:49:17 -0800 (PST) (envelope-from roelof@nisser.com) Received: from nisser.com (roelof [10.0.0.2]) by nisser.com (8.9.3/8.9.2) with ESMTP id AAA11710; Fri, 10 Dec 1999 00:47:32 +0100 (CET) (envelope-from roelof@nisser.com) Message-ID: <38503FAC.8926658E@nisser.com> Date: Fri, 10 Dec 1999 00:47:56 +0100 From: Roelof Osinga Organization: eboa - engineering buro Office Automation X-Mailer: Mozilla 4.7 [en] (WinNT; I) X-Accept-Language: en MIME-Version: 1.0 To: Brett Glass Cc: David Scheidt , Tani Hosokawa , Jonathon McKitrick , Alfred Perlstein , Kris Kennaway , freebsd-chat Subject: Re: Yahoo hacked last night References: <38502053.28737F7B@nisser.com> <4.2.0.58.19991209162117.00cc0670@localhost> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org Brett Glass wrote: > > At 04:19 PM 12/9/1999 , David Scheidt wrote: > > >Er, because I no longer use any functional languages. I don't doubt that > >functional languages will be around for a while. They are nice to program > >in, once you get your mind around them. The level of abstraction they > >provide lets one do very powerful things easily. > > Non-deterministic pattern matching and backward chaining languages are even > more powerful (though dangerous in the wrong hands). SNOBOL and Prolog can > both produce results that are surprising -- in a good way if you've > programmed well; in a bad way otherwise. Well, have to disagree a bit. Prolog has depth-first search because of efficiency, but it does mean it can miss solutions thus never finish. Barring Borland's Turbo Prolog most didn't have (past tense since I didn't keep up) typechecking. Backward chaining doesn't ring a bell. SNOBOL is truly ancient . Long since superceded by Icon. Also by the hands of the Griswolds (and others, naturally). But mostly text oriented, as is SNOBOL. I actually copied the lower level Icon string functions for my functional language. They're very powerful. Now what really would be great is an implementation of conceptual structures as described by Sowa in the book with the same name. Since Sowa uses lambda calculus for the agents that was actually the reason I started writing my FL. I "needed" to implement a LC and while I was at it... . I believe there already are some such implementations. I was browsing a Springer-Verlag book some time ago and that described one. Roelof -- Home is where the (@) http://eboa.com/ is. Telekabel home http://nisser.com/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message