mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
smimou has quit ["bli"]
tty56_ has joined #ocaml
psnively has joined #ocaml
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.
<Smerdyakov> jdavis_, are you a functional programming newbie?
<jdavis_> Smerdyakov: short answer: yes. I have done some basic stuff.
<Smerdyakov> jdavis_, if I said "they are versions of lambda," would that help?
<jdavis_> Smerdyakov: I know what lamda does in python, or I think I do, anyway
<Smerdyakov> jdavis_, read the manual section on expressions and you'll see the exact grammar for these.
<jdavis_> Ok, I'll read some more. Thanks.
<jdavis_> Ok, now it makes a lot more sense. "fun" behaves pretty much like lambda in python, which is what I expected "function" to be like.
<ita> jdavis_: oh, so you come from python ?
<jdavis_> most of what I know about functional programming comes from python.
<jdavis_> which isn't much
<jdavis_> I'm trying to learn functional programming more completely. It's very interesting to me and I like ocaml a lot so far.
<ita> python is not really funtional .. some things will bite you
<ita> jdavis_: this can help you with the syntax http://people.csail.mit.edu/mikelin/ocaml+twt/
<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]
mrsolo has quit [Client Quit]
Abo-Marwan14 has joined #ocaml