Re: czemu tu taka cisza?

Article View: pl.comp.lang.funkcyjne

Article #450

Back to pl.comp.lang.funkcyjne Previous Next

#450

From: DecatonE
Date: Fri, 10 Oct 2003 10:01

26 lines
1811 bytes

Przemek Wiśniewski...

> paskudny: for (i=0; i<10; ++i) / for i = 0 to 9
> ciekawszy: for x in [3,4,5,6,7]

A listę może zwrócić dowolna funkcja, więc wariant ciekawszy jest 
jednocześnie bardziej elastyczny.

W Oz:
{ForAll [3 4 5 6] P}

ForAll jest chyba wbudowany, ale implementacja i tak byłaby prosta:
proc {ForAll Xs P}
   case Xs
   of nil then skip 
   [] X|Xr then 
      {P X}
      {ForAll Xr P}
   end 
end

adam
-- 
rectifier[X]mesa.eu.org | e-mail (change [X] into @)
        www.mesa.eu.org | my b&w photographs
      www.mozart-oz.org | Mozart Programming System

Technical Details

Message-ID: <Xns94107A9EA8791dupajasio@127.0.0.1>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!news.ipartners.pl!not-for-mail

References:

<Xns940C7E860B845dupajasio@127.0.0.1> <87he2m8vkq.fsf@hector.domek> <Xns940C891076596dupajasio@127.0.0.1> <s99y8vytfl4.fsf@localhost.localdomain> <Xns940CD6EFCBADzdomu@127.0.0.1> <s99y8vxt6i7.fsf@localhost.localdomain> <87d6d8kisy.fsf@hector.domek> <3045-1065776488@gw.magellan.net.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!news.ipartners.pl!not-for-mail
From: DecatonE <news01@skasuj.mesa.eu.org>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: czemu tu taka cisza?
Date: 10 Oct 2003 10:01:19 GMT
Organization: Internet Partners
Lines: 26
Message-ID: <Xns94107A9EA8791dupajasio@127.0.0.1>
References: <Xns940C7E860B845dupajasio@127.0.0.1> <87he2m8vkq.fsf@hector.domek> <Xns940C891076596dupajasio@127.0.0.1> <s99y8vytfl4.fsf@localhost.localdomain> <Xns940CD6EFCBADzdomu@127.0.0.1> <s99y8vxt6i7.fsf@localhost.localdomain> <87d6d8kisy.fsf@hector.domek> <3045-1065776488@gw.magellan.net.pl>
NNTP-Posting-Host: 217.153.104.155
Mime-Version: 1.0
X-Trace: news2.ipartners.pl 1065780079 1653 217.153.104.155 (10 Oct 2003 10:01:19 GMT)
X-Complaints-To: abuse@ipartners.pl
NNTP-Posting-Date: 10 Oct 2003 10:01:19 GMT
X-Face: $~xi@nU1>HpfHt:$u~=,ef8}l#no!:aR=X?FyP-'H"`AuW@B"Y@cMK#zCo&1zHLBKh'Hfp(uMYM!@?:;mp^>RPSa\YT~P0gBo_T8`ZR#:R[1+L8=nDg?,g8IydR`<6A#xj,[|~'f95O[K(^joQR"VZE4,{,K]|ahu8dnhiAVN;uP&U+MnDW;doS',Q~04V:}QE}-}%PT{rbdvZU]B)lTh`H3tAp
User-Agent: Xnews/5.04.25 Mime-proxy/1.2.c.0 (Win32)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message