Re: Dostęp do dowolnego elementu krotki w OCamlu

Article View: pl.comp.lang.funkcyjne

Article #710

Back to pl.comp.lang.funkcyjne Previous Next

#710

From: Marcin 'Qrczak' Kowalczyk
Date: Sat, 20 Aug 2005 14:13

21 lines
2138 bytes

Wojciech Mula <wojciech_mula@poczta.null.onet.pl.invalid> writes:

> Ok, dzięki. Ale w funkcji to już nie działa, błąd składniowy ze
> wskazaniem na drugie let:
>
> let foo x = let a=100 let b=a+10 in x+a+b;;

No bo to była składnia deklaracji, a nie wyrażenia.
W funkcji: let foo x = let a=100 in let b=a+10 in x+a+b;;

> Myślałem też, że "and" zadziała jak w SML-u, ale gdy wpisałem "and"
> zamiast drugiego leta, został zgłoszony błąd "unbound value a".

and bez let rec jest mało praktyczny, bo wtedy wszystkie prawe strony
są wyliczane w środowisku bez wprowadzanych właśnie zmiennych.
and ma sens przy let rec, przy typach itp.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/

Technical Details

Message-ID: <87oe7s66if.fsf@qrnik.zagroda>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

References:

<slrndgcm7l.1bb.wojciech_mula@cat.tac> <87d5o9bl7s.fsf@qrnik.zagroda> <slrndgcsst.1ui.wojciech_mula@cat.tac> <87r7cpp3e5.fsf@qrnik.zagroda> <slrndge1dp.14i.wojciech_mula@cat.tac>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Marcin 'Qrczak' Kowalczyk <qrczak@knm.org.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Dostęp do dowolnego elementu krotki w OCamlu
Date: Sat, 20 Aug 2005 16:13:28 +0200
Organization: Klub Nieszkodliwych Manjaków
Lines: 21
Message-ID: <87oe7s66if.fsf@qrnik.zagroda>
References: <slrndgcm7l.1bb.wojciech_mula@cat.tac> <87d5o9bl7s.fsf@qrnik.zagroda> <slrndgcsst.1ui.wojciech_mula@cat.tac> <87r7cpp3e5.fsf@qrnik.zagroda> <slrndge1dp.14i.wojciech_mula@cat.tac>
NNTP-Posting-Host: paf87.warszawa.sdi.tpnet.pl
Mime-Version: 1.0
X-Trace: atlantis.news.tpi.pl 1124547211 16808 217.96.225.87 (20 Aug 2005 14:13:31 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Sat, 20 Aug 2005 14:13:31 +0000 (UTC)
X-Face: .B/ouEO}=VFkSJWE}s0@!:diHI.Z,<Ilt`:~@*]7rnn^K_y"XV8AXf^E)x*|3yVg:$FCq0Y )iGn@Z[SOA<+p}TkAv'Lzu$w{z2?F);0Xt>`m}AqK#Vjuscq(Vf1B}H[)v\9tBN}>AdP,QSRbhO]=v 3?;I+cN/Z0HKPm_Eg99/pFrU!WfpjgQ!z":>A~qt0^4):0-UuPB(6^>j!mN$)RIb)rRhXeK:+MLPW[ RVb7Kepvby-ww6_zci7Yy_@IrWW
User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)
Cancel-Lock: sha1:fNm2CGbetSiunCCY6IaWj0oCs80=
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message