lyn has quit ["ERC Version 4.0 $Revision: 1.600 $ (IRC client for Emacs)"]
Herrchen has quit [Read error: 110 (Connection timed out)]
Nutssh has quit ["Client exiting"]
Snark has joined #ocaml
petter_ has joined #ocaml
vezenchio has joined #ocaml
_JusSx_ has joined #ocaml
mlh has quit [Client Quit]
_shawn has quit [Read error: 110 (Connection timed out)]
_shawn has joined #ocaml
zvrba has quit [Remote closed the connection]
smimou has joined #ocaml
_fab has joined #ocaml
Mon26814 has joined #ocaml
<Mon26814>
are the begin and end keywords the same as { and } ?
<petter_>
I'm not sure
<smimou>
no
<smimou>
{} are for records
<petter_>
isn't it { and } in the revised syntax?
<petter_>
instead of begin .. end?
<smimou>
maybe, I don't know the revised syntax
<Mon26814>
ok, i'll just be safe and use begin/end
<Mon26814>
thankw
<Mon26814>
w=s
<smimou>
Mon26814: but, in the normal syntax, begin ... end is the same as ( ... )
<Mon26814>
ow ok
<Mon26814>
i was searching for symbolic replacements for begin/end :)
<Mon26814>
(...) it is then
<petter_>
Would it be possible to do some kind of time-sharing programming using Lazy evaluation?
<petter_>
f.ex: if I have a function that does somethin recursively, I could "yield" by returning a suspension of the next recursive call
<Mon26814>
wouldnt that be a complicated way of using haskell :P
<petter_>
the calling function then does something else, and then forces the returned value, which will then again return a suspension, until it terminates, returning a normal value
<mflux>
petter_, how about type 'a partial = Partial of (unit -> 'a partial) | Result of 'a;;
<mflux>
and it returns fun () -> restofthefunction when it wants to evaluate partially, otherwise the final result
<petter_>
What would be the difference between that and using the Lazy module?
<petter_>
Is that just another way of implementing delayed evaluation?
<petter_>
partial = Lazy.t
<Mon26814>
hey btw, can't you replace (...) with just layout indicating the sequence ?
<petter_>
Mon26814: yes
<Mon26814>
nice
<Snark>
uh?
<petter_>
like "let fun x = ignore something_with_side_effect; ignore something_more; something_returning result
<petter_>
if what you do in the sequence returns a value, and you do nothing with it, you should "ignore" it, otherwise ocaml will complain
<mflux>
mon26814, ( ) also does grouping, for instance when you want to use it with if-then-else-statement
Schmurtz has joined #ocaml
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
Schmurtz has joined #ocaml
Schmurtz has quit [Client Quit]
<Mon26814>
mflux, yeah i was searching for that indeed. but in my case it's even more beautifull to just let the layout speak for itself
<mflux>
in ocaml layout is meaningless?
<Mon26814>
someone just told me i could use layout to indicate the sequence blocks....
<Mon26814>
o.0
<Mon26814>
im confused now
<smimou>
nono
<smimou>
there's a misunderstanding here
<smimou>
the layout is meaningless in ocaml
<Mon26814>
petter_, told me yes
<Mon26814>
so what does it mean somewhere that they have indented and alligned statements separated with a semicolon....
<Mon26814>
the layout is pure bogus
<Mon26814>
semantically?
<petter_>
maybee there's a misunderstanding
<petter_>
what did you mean by layout?
<Mon26814>
what i said before...using layout instead of (...) to indicate the sequence of statements
<petter_>
what i meant was "The expression expr1 ; expr2 evaluates expr1 first, then expr2, and returns the value of expr2"
<Mon26814>
uhm...yeah that is the semantics of the semicolon....
<petter_>
so it's not layout no
<Mon26814>
i meant if the layout could denote the grouping
<petter_>
so i misunderstood, though you meant "do I need ( and ), or begin and end, to indicate a sequence"
<Mon26814>
ah i see
<Mon26814>
:)
<Mon26814>
shouldnt mli files be regenerated automatically if the corresponding ml changes?
<smimou>
no
<smimou>
shouldnt .h files be regenerated automatically if the corresponding .c changes?
<Mon26814>
ow like that
<Mon26814>
ic
<mflux>
mon26814, but they can be generated with ocamlc -i
<Mon26814>
ah cool, ty
<ulfdoz>
re
m3ga_ has joined #ocaml
m3ga_ has quit [Remote closed the connection]
Mon26814 has quit [Remote closed the connection]
Banana has quit [Remote closed the connection]
Banana has joined #ocaml
mattam has quit [Read error: 104 (Connection reset by peer)]
Banana has quit [Read error: 54 (Connection reset by peer)]
Banana has joined #ocaml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Mon25316 has joined #ocaml
Gueben has joined #ocaml
monochrom has joined #ocaml
a-zwei has joined #ocaml
Mon25316 has quit ["Leaving"]
waltraud has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
a-zwei has quit [Client Quit]
mrsolo has joined #ocaml
mrsolo has quit [Client Quit]
mrsolo has joined #ocaml
ulfdoz has joined #ocaml
johs has quit [Read error: 101 (Network is unreachable)]
waltraud has quit [Read error: 110 (Connection timed out)]
GuebN has joined #ocaml
Gueben has quit [Nick collision from services.]
GuebN is now known as Gueben
Hadaka has quit [kornbluth.freenode.net irc.freenode.net]
lyn has joined #ocaml
angagon has joined #ocaml
angagon has left #ocaml []
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
Naked has joined #ocaml
Naked is now known as Hadaka
lyn has quit [Remote closed the connection]
dan2 has joined #ocaml
_fab has quit [Remote closed the connection]
TaXules has quit ["leaving"]
HPSB has joined #ocaml
HPSB is now known as TaXules
vezenchio has quit ["\o/ in mochintin namocniuh \o/"]
_JusSx__ has quit ["leaving"]
petter_ has quit [Read error: 110 (Connection timed out)]