cjohnson has quit [Read error: 104 (Connection reset by peer)]
interferon has quit [Remote closed the connection]
Korollary has joined #ocaml
pnou_ has quit ["zou"]
Smerdyakov has quit ["go"]
mrsolo has quit [Read error: 104 (Connection reset by peer)]
interferon has joined #ocaml
Amorphous has joined #ocaml
avlondon1 has quit [Read error: 104 (Connection reset by peer)]
avlondon1 has joined #ocaml
Herrchen_ has joined #ocaml
interferon has quit [Read error: 110 (Connection timed out)]
Herrchen has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
ax has quit [Remote closed the connection]
ax has joined #ocaml
dan2_ has quit [Excess Flood]
dan2_ has joined #ocaml
booyaa has quit ["leaving"]
Smerdyakov has quit []
sebell has joined #ocaml
ramkrsna has joined #ocaml
Snark has joined #ocaml
ramkrsna has quit [Remote closed the connection]
Snark has quit ["Leaving"]
Submarine has joined #ocaml
pango_ has joined #ocaml
Korollary has quit [Read error: 110 (Connection timed out)]
pango has quit [Read error: 110 (Connection timed out)]
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
sebell has quit []
TeXitoi has joined #ocaml
threeve has quit []
TeXitoi has quit [Read error: 101 (Network is unreachable)]
TeXitoi has joined #ocaml
__DL__ has joined #ocaml
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
vezenchio has joined #ocaml
Schmurtz has quit [Read error: 148 (No route to host)]
TeXitoi has joined #ocaml
Snark has joined #ocaml
Boojum has joined #ocaml
Snark has quit [Read error: 54 (Connection reset by peer)]
Gueben has joined #ocaml
__DL__ has left #ocaml []
__DL__ has joined #ocaml
__DL__ has left #ocaml []
chris__ has joined #ocaml
Boojum is now known as Snark
pnou_ has joined #ocaml
chris__ has quit ["leaving"]
pnou_ has quit ["zou"]
Submarine has quit ["Leaving"]
Banana has quit [Read error: 104 (Connection reset by peer)]
mattam has quit [Read error: 104 (Connection reset by peer)]
Snark has quit [Read error: 60 (Operation timed out)]
mattam has joined #ocaml
Banana has joined #ocaml
Snark has joined #ocaml
Smerdyakov has joined #ocaml
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
TeXitoi has joined #ocaml
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
TeXitoi has joined #ocaml
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
TeXitoi has joined #ocaml
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
TeXitoi has joined #ocaml
Benooit has joined #ocaml
Gueben has quit [Nick collision from services.]
Benooit is now known as Gueben
Korollary has joined #ocaml
avlondon1 has quit ["leaving"]
Herrchen_ is now known as Herrchen
ski has joined #ocaml
pnou_ has joined #ocaml
Gueben has quit [Remote closed the connection]
Snark has quit ["Leaving"]
<oracle1>
is there an s-exp parser available for ocaml?
<Smerdyakov>
Dunno, but doesn't it take 1 minute to write?
TeXitoi_ has joined #ocaml
TeXitoi has quit [Read error: 110 (Connection timed out)]
monochrom has joined #ocaml
Smerdyakov has quit []
TeXitoi has joined #ocaml
TeXitoi_ has quit [Read error: 145 (Connection timed out)]
TeXitoi has quit [Read error: 131 (Connection reset by peer)]
TeXitoi has joined #ocaml
pnou_ has quit ["zou"]
Snark has joined #ocaml
Smerdyakov has joined #ocaml
Smerdyakov has quit [Client Quit]
Smerdyakov has joined #ocaml
Smerdyakov has quit [Client Quit]
Smerdyakov has joined #ocaml
zigong has joined #ocaml
Snark has quit ["Leaving"]
mikeX has joined #ocaml
mikeX has quit ["Leaving"]
exa has joined #ocaml
Submarine has joined #ocaml
threeve has joined #ocaml
monochrom has quit ["good morning, sweet dream"]
k-wizzz has joined #ocaml
mwc has joined #ocaml
<mwc>
Hello all
<Smerdyakov>
OK!
<mwc>
I've been learning ocaml coming from haskell, and I'm curious about the use of different int/float operators : + and +. Do you find that leads to a loss of generalizability in practice? Even something as trivial as let square x = x *. x
<mwc>
It feels to me like an artificial wedge driven between the Ints and the Reals
<Smerdyakov>
I never use floats.
<mwc>
I'm an applied mathematician, they're unavoidable
<Smerdyakov>
OCaml would need something like type classes to support that kind of operator overloading properly.... and adding type classes is a non-trivial undertaking.
<mwc>
Yeah, that's how Haskell solves it.
<mwc>
It seems to me that this kind of forces you to stay in one type of number; which is probably a good thing pedantically speaking
<Smerdyakov>
Functors in ML provide a static way of solving the same problem.
<mwc>
Ah, I'll have a looksee
<Smerdyakov>
One type of number? How so? You can use + and +. where appropriate.
<mwc>
Smerdyakov, yeah, but it keeps you from making any number of functions more general
<Smerdyakov>
Unless you functorize them.
<mwc>
like that square functoin above, an idea of a square is well defined for both ints and reals
<Smerdyakov>
Which doesn't cover all of the cases that type classes do, but it certainly covers everything that I run up against.
<mwc>
Smerdyakov, how would you functorize let square x = x * x?
<mwc>
just show me what I'm missing
<Smerdyakov>
signature FIELD = sig type t val (+) : t -> t -> t val (*) : t -> t -> t (* ...etc...*) end
<Smerdyakov>
module F (F : FIELD) = struct open F let square x = x * x end
<Smerdyakov>
That was goofy. Didn't mean to use the same name for functor and parameter.
<Smerdyakov>
But still correct if functors aren't recursive.
<mwc>
interesting, I'll take a look at it
<mwc>
thanks
mwc has left #ocaml []
k-wizzz has quit ["leaving"]
ski_ has joined #ocaml
ulfdoz has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
<exa>
functorization rocks :)
ulfdoz_ has quit [Read error: 110 (Connection timed out)]