From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,21960280f1d61e84
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!homer!news.glorb.com!news-spur1.glorb.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps90.POSTED!53ab2750!not-for-mail
Sender: RAY1@LITSA
Newsgroups: comp.lang.ada
Subject: Re: in defense of GC
References: <1169531612.200010.153120@38g2000cwa.googlegroups.com>
 <L2ith.12633$ji1.1337@newssvr12.news.prodigy.net>
 <mailman.44.1169724732.18371.comp.lang.ada@ada-france.org>
 <WaBuh.15096$pQ3.10501@newsread4.news.pas.earthlink.net>
 <xwsldwre3j.fsf@hod.lan.m-e-leypold.de>
 <HYPuh.15976$yx6.6882@newsread2.news.pas.earthlink.net>
 <md64ashx3o.fsf@hod.lan.m-e-leypold.de>
 <1mahvxskejxe1$.tx7bjdqyo2oj$.dlg@40tude.net>
 <2tfy9vgph3.fsf@hod.lan.m-e-leypold.de>
 <1g7m33bys8v4p.6p9cpsh3k031$.dlg@40tude.net>
 <s1mz41g7d3.fsf@hod.lan.m-e-leypold.de>
 <14hm72xd3b0bq$.axktv523vay8$.dlg@40tude.net>
 <4zwt33xm4b.fsf@hod.lan.m-e-leypold.de>
 <1j7neot6h1udi$.14vp2aos6z9l8.dlg@40tude.net>
 <ubqkd8yk3.fsf@STRIPCAPStelus.net>
 <AuednXvMpOTR8l_YnZ2dnUVZ_ruknZ2d@megapath.net>
 <u7iv18hm3.fsf_-_@STRIPCAPStelus.net> <wccr6t5e7bw.fsf@shell01.TheWorld.com>
 <utzy1rn1z.fsf@STRIPCAPStelus.net> <wccr6t45du2.fsf@shell01.TheWorld.com>
 <uzm7rofqn.fsf@STRIPCAPStelus.net> <ms1wl3tsif.fsf@hod.lan.m-e-leypold.de>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <u7iuuwgx4.fsf@STRIPCAPStelus.net>
Organization: The Transcend
X-Newsreader: Gnus v5.7/Emacs 20.7
Date: Wed, 07 Feb 2007 07:44:22 GMT
NNTP-Posting-Host: 154.20.94.243
X-Trace: edtnps90 1170834262 154.20.94.243 (Wed, 07 Feb 2007 00:44:22 MST)
NNTP-Posting-Date: Wed, 07 Feb 2007 00:44:22 MST
Xref: g2news2.google.com comp.lang.ada:9055
Date: 2007-02-07T07:44:22+00:00
List-Id: <comp.lang.ada>

Markus E Leypold <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de> writes:
> That's why you MUST use Ocaml :-). No, joke, I do not know what is the
> important thing to you in Lisp. OCaml has no macros etc. But the
> typing makes things vastly more manageable.

I think what I prefer about Lisp (and Scheme) vs the ML style languages is
that Lisp is a little more laid back. The syntax is cleaner, and the whole FP
obsession thing is optional.

The whole obsession in the syntax with just how functions map from inputs to
outputs just seem a little too serious, but maybe I am confusing things with
ML. I prefer to relax with the currying in declarations and just show simple
function signatures instead. Of course in Lisp, one just passes the lambas
around and lets the runtime worry about the mismatches.

The funny thing is that the whole dynamic thing just doesn't seem to fail as
badly as the static typing purists would have us believe. Now I do want my
strong static typing, espcially for parameter mismatches on function calls,
but I find it interesting that significant software can get done just fine in
Lisp.

I have always had OCaml on my list to dig into more. Maybe I should actually
get around to it.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.