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) ;;
<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)]