mrsolo__ has quit [Read error: 104 (Connection reset by peer)]
mrsolo__ has joined #ocaml
pango is now known as pangoafk
khaladan_ has joined #ocaml
pangoafk has quit [Read error: 104 (Connection reset by peer)]
pangoafk has joined #ocaml
khaladan has quit [Read error: 110 (Connection timed out)]
khaladan_ is now known as khaladan
mrsolo__ has quit [Read error: 104 (Connection reset by peer)]
mrsolo__ has joined #ocaml
rillig has joined #ocaml
mikeX has joined #ocaml
<ulfdoz>
caml.inria.fr dead or is it me?
vodka-goo has joined #ocaml
<ulfdoz>
The host is there, but no http.
* pangoafk
nods
<mikeX>
indeed, timeout
khaladan_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
khaladan has quit [Read error: 110 (Connection timed out)]
khaladan_ is now known as khaladan
khaladan_ has joined #ocaml
pangoafk is now known as pango
khaladan has quit [Read error: 110 (Connection timed out)]
khaladan_ is now known as khaladan
_fab has joined #ocaml
glorb has left #ocaml []
vodka-goo has quit ["using sirc version 2.211+KSIRC/1.3.11"]
khaladan_ has joined #ocaml
pango is now known as pangoafk
khaladan has quit [Read error: 110 (Connection timed out)]
khaladan_ is now known as khaladan
pangoafk is now known as pango
sieni_ is now known as sieni
Skal has quit [Remote closed the connection]
pango is now known as pangoafk
pangoafk is now known as pango
sieni has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
mikeX_ has joined #ocaml
mikeX has quit [Read error: 113 (No route to host)]
mikeX_ has quit [Read error: 110 (Connection timed out)]
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
Amorphous has quit [Read error: 110 (Connection timed out)]
<ulfdoz>
Am I right? Due to the lack of polymorphic functions, there is no way to constrain a type variable to types over which are special function defined (e.g. "greater than")?
<zmdkrbou>
"lack of polymorphic functions" ?
<ulfdoz>
For example, greater than in haskell has type: "sort :: Ord a => [a] -> [a]", which means I can apply sort to all lists of values over which an order is defined.
<ulfdoz>
s/greater than/sort/1
<zmdkrbou>
then just define a function greater than which requires a 'a argument *and* a comparison function over this 'a type
<ski>
ocaml has polymorphic functions
<ulfdoz>
Hm, nice and elegant idea. I've made too much haskell.
<ski>
it doesn't have *constrained* polymorphism
<ulfdoz>
Ok, so I draw a wrong conclusion from functions / and /. for integers or floats.