tristram has quit [Read error: 110 (Connection timed out)]
tristram has joined #ocaml
Skal has quit [Remote closed the connection]
aalex has joined #ocaml
<Smerdyakov>
Quick! Convince aalex to use Coq for some yet-undetermined task involving finite state machines!
<aalex>
oh my
<aalex>
Well, it could be fun, perhaps, to embed Coq into Pure Data
<aalex>
,,,
<aalex>
...
<aalex>
can it use udp or tcp ? sockets ?
<Smerdyakov>
What is Pure Data?
<Smerdyakov>
(You can extract Coq programs to OCaml and use UDP or TCP that way, with a pure functional interface.)
<aalex>
so, coq is used to create ocaml code, Smerdyakov ?
<Smerdyakov>
Extracting OCaml code is one thing you can do with Coq.
<Smerdyakov>
Coq is a complete programming language, but there aren't any optimizing compilers for it, so you might want to convert to OCaml to execute your program quickly.
aalex has left #ocaml []
Raziel has quit [Read error: 104 (Connection reset by peer)]
Raziel has joined #ocaml
fab__ has joined #ocaml
fab_ has quit [Read error: 110 (Connection timed out)]
zigong has quit ["using sirc version 2.211+KSIRC/1.3.11"]
pango_ has joined #ocaml
pango has quit [Read error: 145 (Connection timed out)]
Smerdyakov has quit ["Leaving"]
vodka-goo has joined #ocaml
Sylvain has joined #ocaml
<Sylvain>
bonjour
<jeremy_c>
howdy
<Sylvain>
jeremy_c> ca veut dire quoi ca howdy ?
<jeremy_c>
Sylvain: might as well be French to me :-)
<Sylvain>
jeremy_c> is it a kind of "how are you" ?
<jeremy_c>
Sylvain: si
<Sylvain>
oki :)
pundai has joined #ocaml
<Sylvain>
i just installe ocaml 3.09 so i am fine lol
<pundai>
hey, what does this mean: let f x b y = x + (let _ = y + 3 in (); if b then y else 0) <-- is the let _ = y + 3 in () a noop?
<Sylvain>
it does nothing. I don't know what is a noop :)
<jeremy_c>
no operation/no side effect, no meaning to the function.
<pundai>
ok thanks
<pundai>
god that should really be cleared up on ocaml-tutorial.org
<pundai>
so why would you ever use ';' unless the statements have side effects
<Sylvain>
if it had it should be separated by a semicolon
<Sylvain>
an you can't decide this kind of thing at compile time
<pundai>
whats the deal with ; and ;; anway
<simon>
what the deal is?
<pundai>
i mean, why do you need them at all
<pundai>
and if theyre just statement separators, why not just prescribe their use always
<simon>
you need ;; to separate multiple functions in one file.
<pundai>
actually i think i got that, what about ;
<Sylvain>
or multiple eclarations
<Sylvain>
declarations
<simon>
you don't need ;, but it exists for imperative purposes.
<pundai>
ok so this example: sel#cancel_button#connect#clicked ~callback:sel#destroy;
Sylvain has quit ["Vision[0.8.5-0418]: i've been blurred!"]
pundai has quit []
Snark has joined #ocaml
<jeremy_c>
Is ocamlmklib still a current program? OCamlMakefile refers to it, it exists on my Linux box, but it does not on my windows box.
<jeremy_c>
nor do I see docs for it in the OCaml Manual
vodka-goo has quit ["Connection reset by by pear"]
<vincenz>
hp
<flux__>
simon, you don't need ;; either
<flux__>
;; is mainly for interactive use
<flux__>
but you do need ; to sequence side-effectful statements, no?
<simon>
flux__, how do you separate multiple functions in one file without ;;?
<flux__>
let func a = a + 4 let func2 b = func 42 + b let main () = Printf.printf "Hello world, %d\n" (func2 10) let _ = main ()
<flux__>
that's a valid module
<flux__>
you can of course put newlines for clarity ;)
<flux__>
(but you don't need to)
<simon>
oh, cool.
<simon>
I just forgot, you don't need that with 'let' and others.
<flux__>
what you can't do is put non-let-statements if you don't use ;;
<flux__>
but let _ = is just as good
<flux__>
or even let () = .. to signify the you know the function returns () ;)
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Raziel has quit [Read error: 104 (Connection reset by peer)]
Raziel has joined #ocaml
vegai_ has joined #ocaml
<vincenz>
Anyone know any literature that describes a model for modelling sequences
vegai has quit [Read error: 110 (Connection timed out)]
<flux__>
like, state machines?-o
<flux__>
or different kind of sequences
vegai_ is now known as vegai
_JusSx_ has joined #ocaml
pango_ has quit [Remote closed the connection]
pango has joined #ocaml
<vincenz>
no like lists or vectors
<vincenz>
basically data structures that map contiguous integral keys to values
jeremy_c_ has joined #ocaml
Flaie has joined #ocaml
bzzbzz has quit ["leaving"]
Smerdyakov has joined #ocaml
malc_ has joined #ocaml
Raziel has quit [Read error: 104 (Connection reset by peer)]
Raziel has joined #ocaml
<vincenz>
p
jeremy_c_ has quit ["leaving"]
ski has joined #ocaml
ramkrsna is now known as rK|away
rK|away is now known as ramkrsna
vodka-goo has joined #ocaml
kryptt has joined #ocaml
zigong has joined #ocaml
dvekravy has quit [Read error: 113 (No route to host)]
dvekravy has joined #ocaml
Revision17 has joined #ocaml
knobo has quit [Read error: 113 (No route to host)]
Smerdyakov has quit ["Leaving"]
knobo has joined #ocaml
__DL__ has joined #ocaml
zigong has quit [Read error: 110 (Connection timed out)]
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
Smerdyakov has joined #ocaml
Smerdyakov has quit ["Leaving"]
<jeremy_c>
Does a byte-compiled file require just an ocaml install to run, or does it require all the libraries that it uses as well, such as pcre, postgresql? (or is that linked into the .exe) ?
<ulfdoz>
requires whole runtime I think.
<ulfdoz>
including all libraries
smimou has joined #ocaml
kryptt has quit [Read error: 110 (Connection timed out)]
Bigb[a]ng is now known as Bigbang
vegai has quit ["Fish me luck."]
pango has quit ["Leaving"]
pango has joined #ocaml
knobo has quit [Remote closed the connection]
knobo has joined #ocaml
knobo has quit [Read error: 110 (Connection timed out)]
knobo has joined #ocaml
Flaie has quit ["à plouche"]
_JusSx_ has quit ["leaving"]
Smerdyakov has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Bigbang is now known as Bigb[a]ng
chimikal has joined #ocaml
__DL__ has quit [Remote closed the connection]
vodka-goo has quit ["Connection reset by by pear"]