gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
pdhborges has quit [Quit: Leaving.]
enthymeme has quit [Read error: Connection reset by peer]
hrk has joined #ocaml
hrk has quit [Quit: Leaving]
jamii has joined #ocaml
sepp2k has quit [Quit: Leaving.]
impy has quit [Ping timeout: 240 seconds]
ymasory has joined #ocaml
impy has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 250 seconds]
NaCl has quit [Read error: Operation timed out]
dnolen has joined #ocaml
kurtosis has quit [Ping timeout: 260 seconds]
kurtosis has joined #ocaml
NaCl has joined #ocaml
philtor has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
ulfdoz_ is now known as ulfdoz
hrk has joined #ocaml
vivanov has joined #ocaml
<NaCl> are there supposed to be META files for everything in the base distribution?
<NaCl> like, when I ask topfind to list modules, it, for example misses "big_int"
hrk has quit [Quit: Leaving]
dnolen has quit [Quit: dnolen]
ymasory has quit [Quit: Leaving]
Associat0r has quit [Quit: Associat0r]
boscop__ has joined #ocaml
boscop__ has quit [Excess Flood]
boscop_ has quit [Ping timeout: 250 seconds]
boscop__ has joined #ocaml
Snark_ has joined #ocaml
Snark_ is now known as Snark
boscop__ has quit [Ping timeout: 250 seconds]
philtor has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
EM03 has quit [Quit: EM03]
Yoric has joined #ocaml
jamii has quit [Ping timeout: 250 seconds]
jamii has joined #ocaml
ankit9 has joined #ocaml
edwin has joined #ocaml
Cyanure has joined #ocaml
EM03 has joined #ocaml
<flux> nacl, num?
<EM03> what do ocaml people think about scheme usually?
<flux> I don't know. I think it's a nice language; too bad it doesn't have a static type system.
<flux> macros in scheme are much easier to learn than ocaml macros
boscop__ has joined #ocaml
<EM03> there is a typed version of racket
boscop__ has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
Yoric has quit [Quit: Leaving.]
vivanov has quit [Quit: Lost terminal]
boscop has quit [Ping timeout: 250 seconds]
boscop has joined #ocaml
<EM03> join #android-dev
boscop has quit [Ping timeout: 276 seconds]
Cyanure has quit [Remote host closed the connection]
boscop has joined #ocaml
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
nannto_ has quit [Quit: Leaving...]
nannto_ has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
oriba has joined #ocaml
fschwidom has joined #ocaml
oriba has left #ocaml []
ocp has joined #ocaml
<EM03> what is a date literal?
<EM03> what does the literal part mean?
<flux> there is no date literal in ocaml
<adrien> NaCl: Big_int comes with Num
<flux> literal are things like 5, "hello", 'a', 3.4, ['a'] etc
ftrvxmtrx has joined #ocaml
jamii has quit [Ping timeout: 276 seconds]
jamii has joined #ocaml
Cyanure has joined #ocaml
Anarchos has joined #ocaml
emmanuelux has joined #ocaml
avsm has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Ping timeout: 240 seconds]
vivanov has joined #ocaml
vivanov has quit [Quit: Lost terminal]
ikaros has joined #ocaml
Associat0r has joined #ocaml
_andre has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric1 has joined #ocaml
jamii has quit [Ping timeout: 250 seconds]
jamii has joined #ocaml
lopex has joined #ocaml
emmanuelux has quit [Ping timeout: 255 seconds]
Yoric1 is now known as Yoric
sepp2k has joined #ocaml
cthuluh has quit [Remote host closed the connection]
ygrek has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
emmanuelux has joined #ocaml
rixed_ has joined #ocaml
ocp has left #ocaml []
jamii has quit [Ping timeout: 250 seconds]
jamii has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
ymasory has joined #ocaml
Associat0r has quit [Quit: Associat0r]
oriba has joined #ocaml
<thelema_> gildor: could you do some oasis-db cleanup: spotlib-1.0.0 has wrong public link, ocaml-pcre should be removed (pcre duplicates it), and batteries 2.0beta should be pulled
wishi has joined #ocaml
vivanov has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<gildor> thelema_: what is the good publink for spotlib?
<gildor> thelema_: what do you mean by batteries 2.0beta should be pulled ?
<rixed_> betteries team: regarding the infix modules, please have a look at https://github.com/rixed/batteries-included/commit/07642a47492eef7a7452e5f8fb9fad134de09058
<rixed_> and tell me if this is what's expected (before I change other modules)
<thelema_> gildor: please undo the upload of batteries 2.0beta
<thelema_> one sec on spotlib
vivanov has quit [Quit: Lost terminal]
<thelema_> rixed_: this looks like the right change - I don't think you need the module type Infix
<thelema_> rixed_: for the .mli, I'd just do as the other submodules do and repeat the interfaces, except with documentation in BatEnum.Infix and the outside include just repeating the interface
<gildor> thelema_: done
<rixed_> thelema_: so technicaly its not an include but a copy/paste in the mli, right?
<rixed_> thelema_: I have to copy paste it in batPervasives.mli also, with full doc. That's a lot of copy pasting to my taste, but ok...
vivanov has joined #ocaml
<thelema_> gildor: thank you
<thelema_> rixed_: well, for enum, since it's duplicated more than 2x, maybe we can do the module type, but module types imply to me a fixed interface/contract (comparable, etc.) and that's not at all the case for Infix
<rixed_> I generally define all module types in .ml and never write mli files, so I have no strong opinion here. I will do what's done for other submodules it's safer.
* rixed_ afk (fetching kids from school)
hrk has joined #ocaml
Reaganomicon has quit [Ping timeout: 276 seconds]
Reaganomicon has joined #ocaml
oriba has quit [Quit: oriba]
philtor has joined #ocaml
george_z0rwell has joined #ocaml
Reaganomicon has quit [Read error: Connection reset by peer]
munga has joined #ocaml
<munga> Is it normal that if I add something like "ocaml_lib "mymodule" in my myocamlbuild.ml I don't see the tag use_mymodule when I invoke ocmalbuild -documentation ?
Associat0r has joined #ocaml
munga has quit [Ping timeout: 276 seconds]
rixed has quit [Ping timeout: 252 seconds]
<NaCl> adrien / flux : indeed
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
enthymeme has joined #ocaml
jamii has quit [Ping timeout: 260 seconds]
sepp2k has quit [Ping timeout: 252 seconds]
Associat0r has quit [Ping timeout: 250 seconds]
Associat0r has joined #ocaml
sepp2k has joined #ocaml
ftrvxmtrx has joined #ocaml
munga has joined #ocaml
avsm has quit [Quit: Leaving.]
Yoric has quit [Quit: Leaving.]
munga has quit [Ping timeout: 258 seconds]
pdhborges has joined #ocaml
munga has joined #ocaml
Yoric has joined #ocaml
<george_z0rwell> What does the expression @ type t = int @ mean?
<thelema_> it declares a type alias for [int] called "t"
Yoric has quit [Client Quit]
munga has quit [Ping timeout: 240 seconds]
jderque has joined #ocaml
<george_z0rwell> Huh. I've somehow managed to never see that before :|
joewilliams is now known as joewilliams_away
f[x] has quit [Ping timeout: 276 seconds]
joewilliams_away is now known as joewilliams
Associ8or has joined #ocaml
ankit9 has quit [Remote host closed the connection]
Associat0r has quit [Ping timeout: 250 seconds]
willb has joined #ocaml
bzzbzz has quit [Ping timeout: 260 seconds]
bzzbzz has joined #ocaml
hrk has quit [Quit: Leaving]
rixed_ has quit [Quit: leaving]
ulfdoz has quit [Ping timeout: 276 seconds]
bzzbzz has quit [Ping timeout: 252 seconds]
bzzbzz has joined #ocaml
jderque has quit [Quit: leaving]
edwin has quit [Quit: Leaving.]
mart has joined #ocaml
<mart> hi, does ocaml have something like haskell's $ ?
<thelema_> mart: ocaml users often use a function like: [let (|>) x f = f x]
<zsparks> thelema_: is there a way to make that infix?
<thelema_> zsparks: that is infix
ankit9 has joined #ocaml
<zsparks> thelema_: which bit of syntax takes care of that?
edwin has joined #ocaml
<thelema_> zsparks: no syntax, just rules built into the compiler. it's based on the first character of the operator
<pdhborges> the first character of the operator
<zsparks> oh
<zsparks> heh
<mart> thelema_: erm, so instead of "f x" I'd write "x |> f"?
<thelema_> (that has precedences, the infix/prefix rules are here: http://caml.inria.fr/pub/docs/manual-ocaml/lex.html)
<thelema_> mart: yes. Usually in long chains [f x |> g y |> h a b c]
<mart> Ah, so "f x $ g y" in Haskell becomes "f x |> g y".
<mart> can I find that function defined somewhere in the standard library?
<thelema_> isn't (f x $ g y) the same as (f x (g y))?
<thelema_> if so, then it becomes (g y |> f x)
lopexx has joined #ocaml
<thelema_> that function is defined in batteries included: http://batteries.forge.ocamlcore.org/
<mart> ah, yeah. so I'm trying to avoid flipping the order
<thelema_> not in the stdlib.
<mart> I guess a low precendence infix....
<thelema_> it turns out that the precedence and associativity rules for user-defined operators don't allow a ($) operator that works the same as haskell
<thelema_> the closest you can get is (**>) or something starting with **
* mart tries
joewilliams is now known as joewilliams_away
<thelema_> since ocaml is eager, writing (g y |> f x) is better than the reverse, as the order of operations is left to right.
joewilliams_away is now known as joewilliams
<mart> how would I define (**>) when (* begins a comment?
<thelema_> ( **> )
<mart> ok, works thanks.
edwin has quit [Quit: Leaving.]
<mart> I take your point about eagerness, though.
<mart> Thanks.
<thelema_> you're welcome
edwin has joined #ocaml
Anarchos has joined #ocaml
Yoric has joined #ocaml
Reaganomicon has joined #ocaml
george_z0rwell has quit [Ping timeout: 240 seconds]
fschwidom has quit [Ping timeout: 240 seconds]
Cyanure has quit [Remote host closed the connection]
ymasory has quit [Quit: Leaving]
lopex has quit []
lopexx has quit []
lopex has joined #ocaml
pdhborges has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
vivanov has quit [Ping timeout: 240 seconds]
Snark has quit [Quit: Ex-Chat]
pdhborges has joined #ocaml
pdhborges has quit [Ping timeout: 240 seconds]
lopex has quit [Ping timeout: 252 seconds]
lopex has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
edwin has quit [Remote host closed the connection]
ymasory has joined #ocaml
pdhborges has joined #ocaml
oriba has joined #ocaml
oriba has left #ocaml []
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Yoric has quit [Quit: Leaving.]
fraggle_ has quit [Remote host closed the connection]
dnolen has joined #ocaml
cthuluh has joined #ocaml
cthuluh has quit [Client Quit]
cthuluh has joined #ocaml
fraggle_ has joined #ocaml
Tobu has quit [Remote host closed the connection]
ikaros has quit [Quit: Ex-Chat]
pdhborges has quit [Quit: Leaving.]
Tobu has joined #ocaml
Amorphous has quit [Ping timeout: 276 seconds]
lopex has quit []
Amorphous has joined #ocaml
kmicinsk1 has joined #ocaml
kmicinsk1 has quit [Ping timeout: 276 seconds]
dnolen has quit [Quit: dnolen]