smimou changed the topic of #ocaml to: OCaml 3.08.3 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
lyn has joined #ocaml
<lyn> anybody used ocamlnae?...looks pretty cool
Smerdyakov has joined #ocaml
monochrom has joined #ocaml
monochrom has quit [Client Quit]
Smerdyakov has quit []
skylan_ is now known as skylan
Herrchen_ has joined #ocaml
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)]
mlh has joined #ocaml
Gueben has quit ["plouf"]
smimou has quit ["?"]