ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 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/
brx has quit [Remote closed the connection]
brx has joined #ocaml
brx has quit [Remote closed the connection]
jlarocco has quit [Remote closed the connection]
vezenchio has quit ["\o/ itsumo arukikaeri michi tsunai datta wo hanasenai - kono mama itai keredo toki ga sugite iku - yozora ni egaku yume wa hi]
vodka-goo has quit []
fab_ has joined #ocaml
_fab has quit [Read error: 110 (Connection timed out)]
asymptote has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
cmeme has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
pango_ has joined #ocaml
pango has quit [Read error: 131 (Connection reset by peer)]
quamaretto has joined #ocaml
asymptote has quit [Read error: 110 (Connection timed out)]
Slick18 has joined #ocaml
ellisonch has quit [Read error: 110 (Connection timed out)]
threeve has quit []
quamaretto has quit ["Leaving"]
cmeme has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
UziMonkey has quit [Remote closed the connection]
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
Submarine has joined #ocaml
pango_ has quit [Remote closed the connection]
UziMonkey has joined #ocaml
ski has quit ["Reorx"]
Skal has joined #ocaml
UziMonkey has quit [":q"]
batdog is now known as batdog|gone
batdog|gone is now known as batdog
ppsmimou has joined #ocaml
pango has joined #ocaml
Nutssh has quit ["Client exiting"]
ski has joined #ocaml
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
mlh_ has quit [Client Quit]
brx has joined #ocaml
Schmurtz has quit [Read error: 113 (No route to host)]
Schmurtz has joined #ocaml
Snark has joined #ocaml
Submarine has quit ["Leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Snark has quit ["Leaving"]
Submarine has joined #ocaml
vezenchio has joined #ocaml
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
Submarine has joined #ocaml
lus|wats has joined #ocaml
vezenchio has quit [Read error: 110 (Connection timed out)]
Schmurtz has joined #ocaml
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
threeve has joined #ocaml
kryptt has joined #ocaml
<kryptt> what do you guys think about f# ?
<kryptt> or nemerele?
lambdawar has joined #ocaml
beschmi has joined #ocaml
<pango> kryptt: only heard of f#
<haelix> it's nemerle
<Smerdyakov> kryptt, I think it's a godsend if you must use .NET, but I don't like to use .NET. :)
<kryptt> i'm thinking about using it to do enterprise aplications...
<Smerdyakov> I would hope that the Open Source Linuxy world has enough infrastructure that you wouldn't need any .NET.
Submarine has joined #ocaml
<kryptt> i guess basically i've never used a functional language at my work... and i fear it wouldn't work out
<Smerdyakov> That could be a problem if your coworkers are undereducated.
<kryptt> :) i myself am not that well educated
<Smerdyakov> It looks like you want to change that, though. :)
<kryptt> :) yeah...
<kryptt> i'm basically teaching myself ocaml
<kryptt> i'm pretty bright, but i live in a third world country, and the education here basically sucks
<Submarine> which country?
<kryptt> anyways... i wrote a daemon in mixed c & c++ to process incomming sms from a hardware equipment we developed and trinagulates the modules position
<kryptt> dominican republic
Snark has joined #ocaml
<kryptt> i wanted it to be fast.. but i over did it, and can barely read what i wrote..
<kryptt> so i need to rewrite it.. and i'm thinking about doing it in ocaml... but i need to write the triangulation into oracle
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
brx_ has joined #ocaml
brx has quit [Read error: 110 (Connection timed out)]
ChipsterOne has joined #ocaml
brx_ has quit [Remote closed the connection]
Submarine has joined #ocaml
kryptt has left #ocaml []
brx has joined #ocaml
teiax has joined #ocaml
brx has quit [Remote closed the connection]
descender has quit [Read error: 110 (Connection timed out)]
teiax has quit [Read error: 110 (Connection timed out)]
brx has joined #ocaml
__DL__ has joined #ocaml
batdog is now known as batdog|gone
batdog|gone is now known as batdog
ChipsterOne is now known as Chipster1
brx has quit [Remote closed the connection]
brx has joined #ocaml
descender has joined #ocaml
brx has quit [Remote closed the connection]
brx has joined #ocaml
arcticd has joined #ocaml
ppsmimou has quit ["Leaving"]
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
Bigb[a]ng is now known as Bigbang
brx has quit [Remote closed the connection]
brx has joined #ocaml
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
<Chipster1> bon app tout le monde ;)
Schmurtz has joined #ocaml
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
arcticdd has joined #ocaml
shirogane has joined #ocaml
cmeme has quit [Connection timed out]
arcticd has quit [Success]
cmeme has joined #ocaml
cmeme has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
Snark has quit ["Leaving"]
shirogane has quit [Read error: 104 (Connection reset by peer)]
brx has quit [Remote closed the connection]
brx has joined #ocaml
dylan has joined #ocaml
brx has quit [Read error: 104 (Connection reset by peer)]
brx has joined #ocaml
<dylan> this is perhaps silly... but is there a way to turn a float into a Num.num ?
<pango> by computing a rational approximation of your float, maybe ?
<dylan> indeed...
<dylan> Perhaps it is a bad idea to use Num.num as the default representation of numbers in my interpreter.
__DL__ has quit ["Bye Bye"]
brx has quit [Remote closed the connection]
brx has joined #ocaml
<ulfdoz> How can I force a function to have special type? Case is: I have a dummy function which does nothing, but needs to have arguments, that its type fits to my purpose. So I defined a "type f_type = token list -> ();;" and i want dummy_function to be of type f_type. I wasn't able to google any example for a typesignature in OCaml.
<ulfdoz> Something like let dummy_function : f_type;;?
<dylan> You mean the parameter of a function?
<ulfdoz> No, I mean the function itself.
<ulfdoz> The parameter is oviously unused, but part of the type of the function.
<dylan> well, then you could just say: let dummy_function (tl : token list) = ()
<Chipster1> salut tout le monde
<ulfdoz> dylan: would do it, I hope. Unfortunately I'm still far away from testing. :)
Chipster1 has left #ocaml []
<dylan> you need do do something like this:
<dylan> (to do...) let dummy_func x = () ;; let dummy_func = (dummy_func : f_type) ;;
Bigbang is now known as Bigb[a]ng
<ulfdoz> looks strange to me. ;) Two declarations of f to have it being a special type.
<dylan> the first one defines the function. The second one redefines the function to itself and specifies the type. As far as I know.
<ulfdoz> Some kind of refinement?
<dylan> consider: (3 : int);; and (3 : float) in the ocaml toplevel. :)
<ulfdoz> Ok, I got enlightment.
<dylan> (the later saying "This expression has type int but is here used with type float")
* dylan nods
<pango> # let dummy_function : f_type = (fun t -> ());;
<dylan> that's not so nice to read.
<pango> # let dummy_function= ((fun t -> ()) : f_type) ?
<ulfdoz> The last one looks good, at least for me as noob.
<dylan> I prefer the defining it twice, since I like my ocaml to be more readable than my perl. ;)
<ulfdoz> With my little experience (most of it from haskell) I would understand the last one earlier.
<dylan> haskell seems to have more funny symbols than perl. :)
<ulfdoz> Oh yes, some of them. $, >>= and so on. And this quite strange monad concept whose theoretical background didn't got clear to me (yet).
<dylan> let df : f_type = fun _ -> ()
<dylan> ^^ requires less parens. :)
<pango> correct, that works
<dylan> I tested it first. ;)
<ulfdoz> And is even nicer.
<ulfdoz> Some philosophic question: Why doesn't it seem common in ocaml to have explicit type signature while in haskell the programmer is encouraged to specify types explicitely?
<dylan> From what I understand, haskell can't infer types as well as ocaml can, because of laziness
<ulfdoz> I can remember, that I've read, that it always can infer correct types. Eventually they are more general than needed, but this should cause no harm for program.
<beschmi> ulfdoz: the standard way would be to define the type of dummy_function in the mli file
<ulfdoz> beschmi: That I don't have, cause I'm writing the .mly.
lispy has quit [Remote closed the connection]
lispy has joined #ocaml
lispy has quit [Remote closed the connection]
lispy has joined #ocaml
brx has quit [Remote closed the connection]
brx has joined #ocaml
threeve has quit []
arcticdd has quit [Remote closed the connection]
brx has quit [Remote closed the connection]
brx has joined #ocaml
threeve has joined #ocaml
Skal has quit [Remote closed the connection]
smimou has joined #ocaml
threeve has quit []
TaXules has quit [Read error: 110 (Connection timed out)]
TaXules has joined #ocaml
Submarine has joined #ocaml
shirogane has joined #ocaml
smimou has quit ["?"]
asymptote has joined #ocaml
mlh_ has joined #ocaml
asymptote has quit ["Leaving"]