tty56 has quit [Read error: 110 (Connection timed out)]
ed1t has joined #ocaml
<ed1t>
anybody here uses f#
<ed1t>
?
Mr_Awesome has quit ["aunt jemima is the devil!"]
[azoic] has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
mordaunt has joined #ocaml
univac has quit [kubrick.freenode.net irc.freenode.net]
univac has joined #ocaml
ramki has quit [Read error: 113 (No route to host)]
ed1t has quit [Nick collision from services.]
psnively has quit []
ed1t has joined #ocaml
clog has joined #ocaml
mrsolo has quit [Client Quit]
[azoic] has quit [Read error: 110 (Connection timed out)]
tomppa has joined #ocaml
mrsolo has joined #ocaml
jlouis_ has joined #ocaml
Tetsuo has joined #ocaml
buluca has joined #ocaml
jlouis has quit [Connection timed out]
seafood has quit [Remote closed the connection]
<tsuyoshi>
flux: nah, I'm just here because it's cheap
ygrek has joined #ocaml
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 110 (Connection timed out)]
Tetsuo has quit [Remote closed the connection]
anders__ has joined #ocaml
mrsolo_ has quit [Client Quit]
mrsolo has joined #ocaml
l_a_m has joined #ocaml
tomppa has quit ["Ex-Chat"]
anders__ has quit [Read error: 104 (Connection reset by peer)]
Tetsuo has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
buluca has joined #ocaml
bluestorm_ has joined #ocaml
yminsky has joined #ocaml
piggybox_ has joined #ocaml
piggybox has quit [Read error: 110 (Connection timed out)]
yminsky has quit []
yminsky has joined #ocaml
smimou has joined #ocaml
buluca has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
seafoodX has joined #ocaml
yminsky has quit []
cmeme has quit [Client Quit]
cmeme has joined #ocaml
yminsky has joined #ocaml
yminsky has quit []
yminsky has joined #ocaml
yminsky has quit []
sioraiocht has quit []
yminsky has joined #ocaml
Smerdy has joined #ocaml
Smerdyakov has quit [Read error: 104 (Connection reset by peer)]
Smerdy is now known as Smerdyakov
kelaouchi has joined #ocaml
yminsky has quit []
seafoodX has quit []
rillig has joined #ocaml
mordaunt has joined #ocaml
buluca has quit [No route to host]
joshcryer has quit [Client Quit]
seafood has joined #ocaml
kelaouchi has quit [Connection timed out]
[azoic] has joined #ocaml
mrsolo has quit [Client Quit]
mrsolo has joined #ocaml
joshcryer has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
joshcryer has quit [Client Quit]
joshcryer has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
spx has joined #ocaml
ygrek has quit [Remote closed the connection]
spx has quit [Read error: 113 (No route to host)]
ygrek has joined #ocaml
mrsolo has quit [Client Quit]
<jdavis_>
flux: thanks for pointing me to the online book. That's what I was looking for.
yminsky has joined #ocaml
<flux>
jdavis_, have fun learning ocaml
kelaouchi has joined #ocaml
schme has joined #ocaml
yminsky has quit []
schme`` has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
mrsolo has joined #ocaml
gim has joined #ocaml
mrsolo has quit [Client Quit]
bluestorm_ has joined #ocaml
nuncanada has joined #ocaml
Tetsuo has quit [Read error: 104 (Connection reset by peer)]
<magius_pendragon>
is there any site that lists the interface for modules created via Map.Make?
ita has joined #ocaml
CRathman has joined #ocaml
Tetsuo has joined #ocaml
<pango>
magius_pendragon: what's wrong with 'S with type key = Ord.t' ?
Mr_Awesome has joined #ocaml
mrsolo has joined #ocaml
<Smerdyakov>
magius_pendragon, the standard library section of the OCaml manual.
<magius_pendragon>
Smerdyakov: it only shows the interface of the Map module
<Smerdyakov>
magius_pendragon, not so. You just have to understand how ocamldoc describes functors.
<Smerdyakov>
magius_pendragon, follow the link on the functor name.
<Smerdyakov>
magius_pendragon, or the link on the base signature of the functor's range signature.
<magius_pendragon>
ohh thanks
Smerdyakov has quit ["brb"]
<jdavis_>
I'm having trouble understanding the meaning of a function expression, like "function n -> n + 1;;". Why is it not possible to do "function m n -> m * n;;" ?
Smerdyakov has joined #ocaml
<ita>
jdavis_: function fib n = n+1;; function mul m n -> m*n;;
<ita>
jdavis_: if you are talking signatures, the first has int -> int and the second a' -> a' -> a'
<jdavis_>
The latter gives me a syntax error.
<ita>
jdavis_: function mul m n = m*n;;
<Smerdyakov>
ita is making some syntax mistakes.
<jdavis_>
# function mul m n = m*n;;
<jdavis_>
Syntax error
<Smerdyakov>
Maybe he meant:
<Smerdyakov>
let mul m n = m*n
<jdavis_>
Well, that's exactly where I'm confused
<ita>
Smerdyakov: [22:29] <jdavis_> I'm having trouble understanding the meaning of a function expression, like "function n -> n + 1;;". Why is it not possible to do "function m n -> m * n;;" ?
<jdavis_>
I am not really comprehending exactly what the keyword "function" does.
<Smerdyakov>
Oh, that's an easy answer.
<Smerdyakov>
'function' doesn't support currying. 'fun' does.
<Smerdyakov>
'fun' doesn't support multi-case pattern matching. 'function' does.
<jdavis_>
Back up a second, I think I'm missing some fundamentals here.
buluca has quit [No route to host]
ygrek has quit [Remote closed the connection]
<jdavis_>
So, what do "function" and "fun" do? I see only very brief examples in the docs, like the "deriv" function.
<ita>
jdavis_: just use the let syntax if you are beginning: let fun_name params = result;;
<jdavis_>
ita: does it explain "function" and "fun" somewhere later? I think I understand the concept of closures and higher-order functions, at least somewhat.
<ita>
jdavis_: yes, check the manual
<jdavis_>
Can you point me to the section? I only see it mentioned briefly.
<jdavis_>
ita: I'm not surprised. It's also not a great way to learn, because most of the examples are more imperative.
<jdavis_>
ita: hah, that's interesting.
<ita>
jdavis_: then, when in python the scoping is very ugly (global, ..), in caml it works really well (a function can modify variables that are out of the scope)
<jdavis_>
it seems nice so far.
<ita>
so for python i tend to make lots of classes when in caml i write nested functions
<jdavis_>
I'm trying re-wire my brain a little bit, because I've been doing imperative/procedural/OOP programming for my career so far.
<jdavis_>
ita: that makes sense.
<jdavis_>
functional programming is more different I think. And I don't see much functional programming around, people use much more procedural code in practice.
<ita>
i see people write a lot of ugly code in practice :-)
<jdavis_>
agreed.
mrsolo has quit [Client Quit]
buluca has joined #ocaml
mrsolo has joined #ocaml
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.7/2007091417]"]
Tetsuo has quit ["Leaving"]
kig has quit [Read error: 110 (Connection timed out)]
rillig has quit ["exit(EXIT_SUCCESS)"]
kelaouchi has quit ["leaving"]
bluestorm_ has quit ["Konversation terminated!"]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
l_a_m has quit [Remote closed the connection]
screwt840 has quit [Remote closed the connection]
Abo-Marwan14 has quit [Remote closed the connection]