comp.lang.ada
 help / color / mirror / Atom feed
From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: is there a FAQ?
Date: 1998/05/15
Date: 1998-05-15T00:00:00+00:00	[thread overview]
Message-ID: <Pine.BSF.3.96.980515143742.29802A-100000@shell5.ba.best.com> (raw)
In-Reply-To: 6ji9o8$5t6$1@nnrp1.dejanews.com


On Fri, 15 May 1998 adam@irvine.com wrote:
> Johann Hibschman wrote:
> > Is there a (convenient) way to write
> >
> > (map-into out-vector
> >           #'(lambda (x y) (+ x (sqrt y)))
> >           vector1 vector2)
> >
> > as I would in Common Lisp?  (Or, with slight syntax changes, in ML?)
>
> ... snip ...
> 
> A little more verbose than Common Lisp, but not that much, really.  No
> more than you'd expect for a strongly typed language.

Actually, ML is quite strongly typed, and does mapping just as concisely
as Common Lisp. The distinction is that ML is not *explicitly* typed, like 
Ada; the most general type is inferred and so you don't have to spell
everything out, or instantiate generic functions. Lots of "researchy"
languages do this. 

I found your Ada more than "a little more verbose" than the comparable
code in ML or Haskell. Its clear that this is not so for all problems
however, and sometimes that verbosity is a win. 

-- Brian







  reply	other threads:[~1998-05-15  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-05-15  0:00 is there a FAQ? adam
1998-05-15  0:00 ` Brian Rogoff [this message]
     [not found]   ` <Et0xrx.798@world.std.com>
1998-05-16  0:00     ` Brian Rogoff
1998-05-16  0:00     ` Fergus Henderson
  -- strict thread matches above, loose matches on Subject: below --
1998-05-13  0:00 Cristian Libardo
1998-05-13  0:00 ` Markus Kuhn
1998-05-15  0:00   ` Johann Hibschman
1998-05-15  0:00     ` Markus Kuhn
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox