00:08
mmc is now known as mmc_away
00:14
mmc_away is now known as mmc
00:36
mmc is now known as mmc_away
00:38
mmc_away is now known as mmc
00:55
sundeep has quit [Client Quit]
00:58
sundeep has joined #ocaml
01:09
sundeep has quit ["Client exiting"]
01:10
sundeep has joined #ocaml
01:24
sundeep has quit ["Client exiting"]
01:25
<
[1]platypus >
nidos,hi
01:26
<
nidos >
how ar eyou
01:29
<
nidos >
i am about to start useing ocaml! horray for me! :)
01:38
[1]platypus has quit [Read error: 104 (Connection reset by peer)]
01:44
sundeep has joined #ocaml
01:45
sundeep has quit [Read error: 104 (Connection reset by peer)]
01:49
sundeep has joined #ocaml
01:56
rox has quit [Connection timed out]
02:00
kinners has joined #ocaml
02:31
rox has joined #ocaml
02:49
CiscoKid has joined #ocaml
03:08
sundeep has quit [Client Quit]
03:26
sundeep has joined #ocaml
03:39
sundeep has quit ["Client exiting"]
03:49
sundeep has joined #ocaml
04:19
kinners has quit ["leaving"]
04:52
sundeep has quit ["Client exiting"]
05:13
sundeep has joined #ocaml
05:19
Kinners has joined #ocaml
05:19
cjohnson has quit [Read error: 54 (Connection reset by peer)]
05:50
benja has joined #ocaml
05:54
<
benja >
is it legal to do value x (){ value v; v = alloc (...) ...; return v} CAMLprim value y () { CAMLlocal1 (v); v = x (); CAMLreturn v;}
05:54
<
benja >
I mean not using CAMLlocal in the function x
05:55
<
Kinners >
someone else will have to answer that...
06:02
<
Kinners >
anyone here use vim for ocaml editing?
06:05
* benja
use gedit which is pretty lame
06:07
<
Kinners >
I'm making a little vim function to help my poor brain
06:09
<
benja >
Is there any specialized ocaml editor, with an embeded ocaml lexer ?
06:09
bk_ has joined #ocaml
06:10
<
Kinners >
emacs has a ocaml mode, and someone did make an emacs clone in ocaml afaik
06:10
<
Kinners >
which doesn't answer your question as such :)
06:10
<
benja >
I've seen that OCamlBrowser come with an interresting editor but the tk look discouraged me
06:11
<
Kinners >
benja: yeah, anyway, the emacs clone is called efuns
06:12
<
Kinners >
it looks a bit out of date
06:13
<
benja >
where do the people in this channel come from ?
06:14
<
Kinners >
lots of places, I'm from new zealand
06:14
<
benja >
Is the ocaml developpement mostly done in France or it's more international ?
06:15
<
bk_ >
the development of the language itself is done at inria project crystal in france
06:16
<
benja >
is there any external contributor ?
06:16
<
bk_ >
in the form of apps and libraries at least
06:17
<
benja >
I mean on the ocaml core ?
06:18
<
bk_ >
no, that's all done by the inria folks
06:19
<
benja >
are there any of them in this channel ?
06:20
<
benja >
do you know any place where I can follow the ocaml developpement more closely ?
06:20
<
benja >
I guess the mailing list
06:21
<
Kinners >
bug database and cvs sources?
06:28
<
benja >
so what are you using to code in ocaml ?
06:28
<
benja >
speaking of editor
06:28
<
bk_ >
emacs w/ tuareg mode
06:43
* CiscoKid
uses vim
06:58
* vegai
uses a text editor ;P
07:09
ne1 has quit ["To understand recursion, you must first understand recursion."]
07:12
<
vegai >
hey, can I load a module dynamically if my main program is compiled natively?
07:21
Snark has joined #ocaml
07:32
Kinners has quit ["leaving"]
07:41
Boojum has joined #ocaml
07:46
Snark has quit [Read error: 110 (Connection timed out)]
07:46
Boojum is now known as Snark
08:56
dobrek has joined #ocaml
09:14
dobrek_ has quit [Read error: 110 (Connection timed out)]
09:47
gim has joined #ocaml
09:52
__DL__ has joined #ocaml
10:16
kinners has joined #ocaml
10:24
__DL__ has quit ["Bye Bye"]
10:50
nidos_ has joined #ocaml
10:51
nidos has quit [Client Quit]
10:57
mattam_ has joined #ocaml
10:57
ayrcier has joined #ocaml
10:57
ayrnieu has quit [Read error: 104 (Connection reset by peer)]
10:58
mattam has quit [Read error: 60 (Operation timed out)]
10:58
ayrcier is now known as ayrnieu
10:58
nidos_ has quit [Remote closed the connection]
11:07
karryall has joined #ocaml
11:27
Shammah has quit [zelazny.freenode.net irc.freenode.net]
11:27
Riastradh has quit [zelazny.freenode.net irc.freenode.net]
11:27
gzl has quit [zelazny.freenode.net irc.freenode.net]
11:27
karryall has quit [zelazny.freenode.net irc.freenode.net]
11:27
det has quit [zelazny.freenode.net irc.freenode.net]
11:27
gim has quit [zelazny.freenode.net irc.freenode.net]
11:27
Snark has quit [zelazny.freenode.net irc.freenode.net]
11:27
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
11:27
kosmikus|away has quit [zelazny.freenode.net irc.freenode.net]
11:27
dobrek has quit [zelazny.freenode.net irc.freenode.net]
11:27
benja has quit [zelazny.freenode.net irc.freenode.net]
11:27
platypus_ has quit [zelazny.freenode.net irc.freenode.net]
11:27
_fab has quit [zelazny.freenode.net irc.freenode.net]
11:27
Oniroi has quit [zelazny.freenode.net irc.freenode.net]
11:27
Banana has quit [zelazny.freenode.net irc.freenode.net]
11:27
mattam_ has quit [zelazny.freenode.net irc.freenode.net]
11:27
trch has quit [zelazny.freenode.net irc.freenode.net]
11:27
simon- has quit [zelazny.freenode.net irc.freenode.net]
11:27
Lemmih has quit [zelazny.freenode.net irc.freenode.net]
11:27
async has quit [zelazny.freenode.net irc.freenode.net]
11:27
bk_ has quit [zelazny.freenode.net irc.freenode.net]
11:28
tyler has quit [zelazny.freenode.net irc.freenode.net]
11:28
skaller has quit [zelazny.freenode.net irc.freenode.net]
11:28
skylan has quit [zelazny.freenode.net irc.freenode.net]
11:28
shawn has quit [zelazny.freenode.net irc.freenode.net]
11:28
gl has quit [zelazny.freenode.net irc.freenode.net]
11:28
lam has quit [zelazny.freenode.net irc.freenode.net]
11:28
slashvar[ejcp] has quit [zelazny.freenode.net irc.freenode.net]
11:28
yella has quit [zelazny.freenode.net irc.freenode.net]
11:28
noss has quit [zelazny.freenode.net irc.freenode.net]
11:28
rox has quit [zelazny.freenode.net irc.freenode.net]
11:28
mmc has quit [zelazny.freenode.net irc.freenode.net]
11:28
Hipo has quit [zelazny.freenode.net irc.freenode.net]
11:28
pattern has quit [zelazny.freenode.net irc.freenode.net]
11:28
cmeme has quit [zelazny.freenode.net irc.freenode.net]
11:28
jarod has quit [zelazny.freenode.net irc.freenode.net]
11:28
srv has quit [zelazny.freenode.net irc.freenode.net]
11:28
vegai has quit [zelazny.freenode.net irc.freenode.net]
11:28
smkl has quit [zelazny.freenode.net irc.freenode.net]
11:28
mellum has quit [zelazny.freenode.net irc.freenode.net]
11:28
Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]
11:28
JPL-Justin-away has quit [zelazny.freenode.net irc.freenode.net]
11:31
vegai has joined #ocaml
11:31
srv has joined #ocaml
11:31
smkl has joined #ocaml
11:31
jarod has joined #ocaml
11:31
yella has joined #ocaml
11:31
lam has joined #ocaml
11:31
gl has joined #ocaml
11:31
async has joined #ocaml
11:31
cmeme has joined #ocaml
11:31
Oniroi has joined #ocaml
11:31
Banana has joined #ocaml
11:31
pattern has joined #ocaml
11:31
Lemmih has joined #ocaml
11:31
simon- has joined #ocaml
11:31
slashvar[ejcp] has joined #ocaml
11:31
shawn has joined #ocaml
11:31
skylan has joined #ocaml
11:31
trch has joined #ocaml
11:31
det has joined #ocaml
11:31
Hadaka has joined #ocaml
11:31
kosmikus|away has joined #ocaml
11:31
_fab has joined #ocaml
11:31
skaller has joined #ocaml
11:31
Hipo has joined #ocaml
11:31
platypus_ has joined #ocaml
11:31
mmc has joined #ocaml
11:31
tyler has joined #ocaml
11:31
noss has joined #ocaml
11:31
rox has joined #ocaml
11:31
benja has joined #ocaml
11:31
bk_ has joined #ocaml
11:31
Snark has joined #ocaml
11:31
dobrek has joined #ocaml
11:31
gim has joined #ocaml
11:31
mattam_ has joined #ocaml
11:31
karryall has joined #ocaml
11:31
Riastradh has joined #ocaml
11:31
gzl has joined #ocaml
11:31
mellum has joined #ocaml
11:31
Smerdyakov has joined #ocaml
11:31
JPL-Justin-away has joined #ocaml
11:32
Shammah has joined #ocaml
11:46
vezenchio has joined #ocaml
11:56
Submarine has joined #ocaml
12:35
dh has joined #ocaml
13:16
skaller has quit ["Client Exiting"]
13:33
shawn_ has joined #ocaml
13:38
shawn has quit [Read error: 60 (Operation timed out)]
13:52
Zaius has joined #ocaml
13:52
kinners has quit ["leaving"]
14:17
mattam_ is now known as mattam
14:55
rox has quit [Connection timed out]
15:01
Shammah has quit [Read error: 110 (Connection timed out)]
15:07
tautologico has joined #ocaml
15:17
rox has joined #ocaml
15:59
platypus_ has quit [Read error: 60 (Operation timed out)]
16:28
cjohnson has joined #ocaml
16:28
dobrek has quit [Read error: 54 (Connection reset by peer)]
16:42
mrsolo has joined #ocaml
17:10
mrsolo has quit [Read error: 110 (Connection timed out)]
17:16
platypus has joined #ocaml
18:04
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
18:06
_shawn has joined #ocaml
18:08
shawn_ has quit [Read error: 104 (Connection reset by peer)]
19:23
Callidus has quit [Read error: 104 (Connection reset by peer)]
19:34
Callidus has joined #ocaml
20:14
Snark has left #ocaml []
20:25
tautologico has quit ["Leaving"]
20:42
Submarine has left #ocaml []
20:59
ne1 has joined #ocaml
21:00
_shawn has quit [Read error: 104 (Connection reset by peer)]
21:35
Shammah has joined #ocaml
21:38
async has quit ["leaving"]
21:41
<
gzl >
how's 'match' different from just using conditionals?
21:41
<
ayrnieu >
gzl - I don't understand your question, sorry.
21:42
<
gzl >
um, the 'match' keyword. for example:
21:42
bzzbzz has joined #ocaml
21:43
<
gzl >
match expr with pattern1 -> expr1 | pattern2 -> expr2, etc
21:43
<
Smerdyakov >
gzl, match binds variables within the patterns.
21:43
<
Smerdyakov >
gzl, and it's a much more compact notation, even without binding variables.
21:44
<
ayrnieu >
and it allows a more readable programming style, I imagine.
21:44
<
gzl >
sure, it's compact and readable. i was just asking about how it functionally differs from just straight conditions
21:44
<
Smerdyakov >
And did I answer your question?
21:45
<
gzl >
yes, though i'm not exactly sure how binding variables within the patterns makes it differ from normal conditionals
21:46
<
Smerdyakov >
match expr with Some x -> x + 1 | None -> 0
21:46
<
Smerdyakov >
There is no analogue with "if"/
21:46
<
ayrnieu >
gzl - curiously, why did you want to know? What differences did you expect?
21:46
<
gzl >
i want to know because they
21:47
<
gzl >
i want to know because they use and mention match in a book i'm reading, and the implication was that it's more powerful than normal conditionals
21:47
<
gzl >
i didn't expect any specific differences, though it was obvious that they're not exactly the same
21:47
<
Smerdyakov >
gzl, now did I answer your question?
21:47
<
gzl >
Smerdyakov: ok, thanks
21:48
<
Smerdyakov >
Also, I don't understand how "being more compact" is not a "specific difference."
21:49
<
gzl >
by difference i mean a functional difference, not a syntactic difference
21:49
<
Smerdyakov >
What's the "functional difference" between OCaml and machine code?
21:50
<
gzl >
in that match is not
*just* a more compact and readable way of doing the same thing; it also does things that have no analogue with if
21:50
<
gzl >
Smerdyakov: none
21:51
<
ayrnieu >
I don't care much for this notion of 'functional difference', then. but OK.
21:52
<
gzl >
match can do some things 'if' can't. i was wondering what exactly they were. that's all
21:52
<
Smerdyakov >
It does do things that have no analogue with if, but it would be trivial to change OCaml to have constructions that would not require you to use match.
21:52
<
gzl >
fine, but that's a different question
21:52
<
Smerdyakov >
match tree with Node (Node (Leaf x, Leaf y), Node _) -> x + y
21:52
<
Smerdyakov >
Like that... much more verbose to do it with if in Java.
21:53
<
gzl >
hm, ok. well, never mind what i said about functional difference, it was poorly phrased
22:00
cjohnson has quit [Read error: 110 (Connection timed out)]
22:18
bzzbzz has quit [Read error: 110 (Connection timed out)]
22:21
Shammah has quit [Read error: 110 (Connection timed out)]
22:58
shawn has joined #ocaml
23:45
gl has left #ocaml []
23:45
gl has joined #ocaml
23:49
GreyLensman has joined #ocaml