adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<dsheets> jyc, maybe opam package ISO8601?
yac has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 240 seconds]
<Drup> dsheets: did you had to look up the number of do you know it by hearth ? :D
dsheets has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
struktured has quit [Ping timeout: 246 seconds]
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
antkong has quit [Ping timeout: 265 seconds]
antkong has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
rand__ has quit [Quit: leaving]
ygrek has joined #ocaml
mac10688 has joined #ocaml
palomer has quit [Quit: palomer]
empyreany has joined #ocaml
<empyreany> i'm having some getting my environment set up. i'm trying to execute the command '#use "camlp5"' and i'm getting the error 'Cannot find file camlp5.' i've install camlp5 via the command 'opam install camlp5'. any ideas would be most appreciated
swgillespie[GT] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 250 seconds]
antkong has quit [Ping timeout: 250 seconds]
antkong has joined #ocaml
<Drup> empyreany: try "require" instead
<Drup> (though i never used camlp5, and I'm not sure what you want to do with it)
<empyreany> Drup, i think it supports quotations that are no longer supported by camlp4
<empyreany> Drup, that seemed to work
<empyreany> thanks
<Drup> quotations are supported by camlp4
<empyreany> Drup, i'm still fairly new to this so forgive my ignorance... i'm trying to get the code for "Handbook of Practical Logic and Automated Reasoning" working and in the past i haven't been able to get it to work with camlp4
<Drup> it can use both
<Drup> ah, no, that's not really both
<Drup> so yes, it uses camlp5
<empyreany> Drup, if my memory serves me correctly, something was removed from camlp4
<empyreany> that caused it not to work anymore
<Drup> It's more complicated than that ^^'
<empyreany> Drup, that doesn't surprise me ;)
<empyreany> anyway, thanks for your help Drup!
FreeBirdLjj has joined #ocaml
empyreany has quit [Quit: Leaving]
FreeBird_ has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
swgillespie has joined #ocaml
FreeBirdLjj has joined #ocaml
echo-are` has joined #ocaml
echo-area has quit [Ping timeout: 264 seconds]
echo-are` has quit [Ping timeout: 240 seconds]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
swgillespie is now known as swgillespie[GT]
FreeBirdLjj has joined #ocaml
FreeBird_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
antkong has quit [Quit: antkong]
luigy_ has quit [Max SendQ exceeded]
luigy has joined #ocaml
vishesh has quit [Ping timeout: 265 seconds]
darkf has joined #ocaml
keen____ has joined #ocaml
keen___ has quit [Ping timeout: 260 seconds]
Bluddy has joined #ocaml
mac10688 has quit [Ping timeout: 260 seconds]
vishesh has joined #ocaml
palomer has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
GeorgeHahn has quit [Quit: Leaving]
<jyc> dsheets: Thanks a bunch!
<jyc> Does anyone know how to build a custom toplevel using ocamlbuild and utop?
vgrbr has joined #ocaml
<jyc> I'm able to use ocamlbuild with my mltop file to compile *a* custom toplevel, but none of the modules I listed are available
kushal has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 264 seconds]
FreeBirdLjj has joined #ocaml
palomer_ has joined #ocaml
flx has joined #ocaml
acieroid`` has joined #ocaml
inr_ has joined #ocaml
sgnb` has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bacam_ has joined #ocaml
Pepe__ has joined #ocaml
boegel|quassel has joined #ocaml
teiresia1 has joined #ocaml
cow-orke1 has joined #ocaml
n3f has joined #ocaml
companion_square has joined #ocaml
pippijn_ has joined #ocaml
mehdi__ has joined #ocaml
lyxia_ has joined #ocaml
gargawel_ has joined #ocaml
wagle_ has joined #ocaml
<jyc> alright, it looks like the key wasmaking an .ocamlinit in the project directory
<jyc> with #directory "_build" (i'm using ocamlbuild)
FreeBirdLjj has joined #ocaml
luz1e has joined #ocaml
alpen- has joined #ocaml
palomer has quit [*.net *.split]
tomboy64 has quit [*.net *.split]
mehdi_ has quit [*.net *.split]
cball has quit [*.net *.split]
kalzz has quit [*.net *.split]
boegel has quit [*.net *.split]
neferty has quit [*.net *.split]
stephe has quit [*.net *.split]
sigjuice has quit [*.net *.split]
cow-orker has quit [*.net *.split]
S11001001 has quit [*.net *.split]
sgnb has quit [*.net *.split]
luzie has quit [*.net *.split]
pippijn has quit [*.net *.split]
gargawel has quit [*.net *.split]
lyxia has quit [*.net *.split]
wagle has quit [*.net *.split]
inr has quit [*.net *.split]
n1ftyn8_ has quit [*.net *.split]
oldmanistan_ has quit [*.net *.split]
fluter has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
flxx has quit [*.net *.split]
thizanne has quit [*.net *.split]
bobpoekert has quit [*.net *.split]
cschneid has quit [*.net *.split]
alpen has quit [*.net *.split]
acieroid` has quit [*.net *.split]
sspi has quit [*.net *.split]
bacam has quit [*.net *.split]
clog has quit [*.net *.split]
companion_cube has quit [*.net *.split]
mawuli has quit [*.net *.split]
teiresias has quit [*.net *.split]
palomer_ is now known as palomer
sigjuice has joined #ocaml
kalzz has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
cschneid has joined #ocaml
thizanne has joined #ocaml
cball has joined #ocaml
sspi has joined #ocaml
tomboy64 has joined #ocaml
clog has joined #ocaml
bobpoekert has joined #ocaml
oldmanistan_ has joined #ocaml
stephe has joined #ocaml
n1ftyn8_ has joined #ocaml
S11001001 has joined #ocaml
fluter has joined #ocaml
zpe has joined #ocaml
mawuli has joined #ocaml
zpe has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
palomer_ has joined #ocaml
palomer has quit [Ping timeout: 250 seconds]
palomer_ is now known as palomer
wagle_ is now known as wagle
echo-area has joined #ocaml
FreeBirdLjj has joined #ocaml
slash^ has joined #ocaml
tmtwd has left #ocaml ["Leaving"]
tmtwd has joined #ocaml
palomer has quit [Quit: palomer]
vgrbr has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Ping timeout: 244 seconds]
Mercuria1Alchemi has joined #ocaml
swgillespie[GT] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
AltGr has joined #ocaml
boegel|quassel has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
boegel has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
teiresia1 is now known as teiresias
teiresias has quit [Changing host]
teiresias has joined #ocaml
FreeBirdLjj has joined #ocaml
tane has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
martintrojer has quit [Ping timeout: 250 seconds]
martintrojer has joined #ocaml
octachron has joined #ocaml
SomeDamnBody has quit [Ping timeout: 260 seconds]
cristianm has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
antkong has joined #ocaml
orbifx has joined #ocaml
dsheets has joined #ocaml
sh0t has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Verlassend]
obadz- has joined #ocaml
huza has joined #ocaml
romildo has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 265 seconds]
^elyse^ has joined #ocaml
ggole has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
Haudegen has joined #ocaml
contempt has joined #ocaml
AltGr has left #ocaml [#ocaml]
larhat2 has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
orbifx has quit [Ping timeout: 268 seconds]
octachron has quit [Quit: Leaving]
Mercuria1Alchemi has joined #ocaml
bacam_ is now known as bacam
^elyse^ has quit [Quit: Leaving]
cball has quit [Ping timeout: 240 seconds]
echo-area has quit [Read error: Connection reset by peer]
Lis has joined #ocaml
^elyse^ has joined #ocaml
cball has joined #ocaml
antkong has quit [Quit: antkong]
rgrinberg has joined #ocaml
infinity0 has quit [Remote host closed the connection]
lyxia_ is now known as lyxia
cristianm has quit [Ping timeout: 250 seconds]
FreeBirdLjj has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
^elyse^ has quit [Quit: Leaving]
ollehar has joined #ocaml
^elyse^ has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
infinity0 has quit [Remote host closed the connection]
obadz- has quit [Ping timeout: 256 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
obadz- has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
infinity0 has joined #ocaml
__uu__ has joined #ocaml
newbie has joined #ocaml
newbie is now known as Guest86412
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
darkf_ is now known as darkf
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
manuel_ has joined #ocaml
<manuel_> i don't exactly understand how i should write this
<manuel_> i want to parametrize my symbol table on a symbol type (say, mapping strings to internal integers), and also to create arbitrary symbol tables of that type
infinity0 has quit [Ping timeout: 264 seconds]
fluter has quit [Ping timeout: 264 seconds]
<ggole> That's quite a confusing interface
infinity0 has joined #ocaml
fluter has joined #ocaml
<ggole> First you have a (mutable, global) mapping of strings to symbols, then a (mutable, global) mapping of symbols to 'a
<ggole> If you want to create arbitrary tables from symbols to whatever you want, you have to be able to create more than one kind of table, so you need to rethink the signature.
infinity0 has quit [Remote host closed the connection]
<manuel_> yeah i was taking this from the compiler book by appel (in SML)
<ggole> Ah, I see. That's an immutable mapping, a hash table isn't really suitable for implementing such an interface.
<ggole> Use Map instead.
mac10688 has joined #ocaml
<manuel_> there's two ways to implement it, one functional, one mutable
<manuel_> but i don't get the empty error
<ggole> Mutable things like hashtables and references can only be weakly polymorphic
<ggole> Because otherwise you could use assignment to put things of different types in them.
<ggole> Because your signature promises a polymorphic type for 'a table, and you give it only a weakly polymorphic type, there is a mismatch.
<manuel_> so let's assume i would like to say "i want a mutable symboltable for my Symbol type s, that stores strings"
<manuel_> hmm let me think about this for a bit more
<ggole> For a mutable table you need a different interface.
<ggole> This one doesn't even let you remove entries, so you wouldn't be able to handle scope properly.
AltGr has joined #ocaml
<manuel_> i see
<ggole> Appel goes into it in the book
__uu___ has joined #ocaml
AltGr has left #ocaml [#ocaml]
<manuel_> yeah i am more fighting with ocaml than with the implementation
<manuel_> the documentation about maps and hashtables in core.std is... an acquired taste i guess
__uu___ has quit [Read error: Connection reset by peer]
<ggole> I just use the stdlib
<ggole> Downside: it's tiny
<ggole> But it doesn't matter much for a compiler
__uu___ has joined #ocaml
__uu__ has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
<jmasseo> so a Hashtbl has it's type defined upon the first insert.
<jmasseo> are there any infix operations for Hashes?
infinity0 has quit [Remote host closed the connection]
AltGr has joined #ocaml
<please_help> are there any reverse-mode symbolic differentiation packages for ocaml?
<please_help> additionally, are there any hardware-accelerated multidimensional array (+ ops) packages?
obadz` has joined #ocaml
<Drup> I've seen something for symbolic differentiation, but I don't remember the name, search in opam
AltGr has left #ocaml [#ocaml]
<Drup> as for the second question ... yes and no
<Drup> you might be interested by SPOC
<Drup> I'm not sure if "hardware accelerated" means SIMD or GPU here ;)
obadz has quit [Ping timeout: 256 seconds]
<please_help> GPU in this case
<Drup> so yes, SPOC, definitly
<please_help> I don't see anything about (mathematical) symbolic computation or differentation
<please_help> SPOC also seems to be a plain abstraction layer over CUDA/opencl
obadz` is now known as obadz
<Drup> it's a bit more than that
<Drup> what were you looking for exactly ?
mac10688 has quit [Ping timeout: 260 seconds]
<manuel_> ggole: ok i think i got it, i have the functional based one down
<manuel_> sketching it out: http://pastebin.com/H7i37USb
<please_help> Hardware accelerated + - * / rem log exp hyperbolic-trig trig rng dot elemwise-comparisons max min product sum argmax argmin (and all the relevant dimwise ops), inf, nan, zero element position extraction, fancy indexing, typical manipulation ops (reshape, tile, join, etc.) multidimensional addressing, hopefully fft and convolution as well.
<Drup> isn't that typical BLAS/LAPACK stuff ? (not my domain at all, sorry)
troydm has quit [Ping timeout: 260 seconds]
echo-area has joined #ocaml
manuel_ has quit [Quit: manuel_]
<please_help> Drup: It's more than blas. Blas as + - * / dot and inverse and that's pretty much it. LAPACK is stuff like SVD, finding solutions (i.e. tensors as equations, whcih isn't what I'm refering to when I talk about 0s above), stuff like that which I don't care much about (except SVD I guess). Beside, I want in particular a gpu accelarated version.
<Drup> Well, there are blas/lapack bindings, and there is also oml. I'm affraid you'll have to make the rest yourself :/
manuel_ has joined #ocaml
<please_help> Additionally, blas only defines ops on vectors, scalars, matrices, and the cartesian product thereof. I need up to 4-tensors at least.
manuel_ has quit [Client Quit]
<Drup> do you know any C libraries doing all that ? You could bind them
<please_help> Yeah, there's arrayfire. Binding it myself was the plan, so was writing the symbolic computation lib. I hoped maybe something was already available but apparently not.
<Drup> I guess you could ask oml people
<please_help> oml doesn't seem hardware accelerated and also seems to only care about vector and matrices.
<Drup> I meant collaborate ;)
manuel_ has joined #ocaml
<please_help> oh ;)
manuel_ has quit [Client Quit]
troydm has joined #ocaml
lobo has joined #ocaml
please_help has quit [Ping timeout: 264 seconds]
Bluddy has quit [Quit: Connection closed for inactivity]
manuel_ has joined #ocaml
please_help has joined #ocaml
obadz- has quit [Quit: WeeChat 1.3]
FreeBirdLjj has joined #ocaml
shinnya has quit [Quit: ZNC - http://znc.in]
struktured has joined #ocaml
shinnya has joined #ocaml
mobius-eng has joined #ocaml
manuel_ has quit [Quit: manuel_]
^elyse^ has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
SomeDamnBody has joined #ocaml
t4nk731 has joined #ocaml
<t4nk731> Hello everyone :)
<t4nk731> I am pretty new in ocaml does anyone have a good experience using ocaml-cow?
<t4nk731> is there*
<t4nk731> I try to generate a element with a capitalized tag such as <Tag> but the compilation fails
<Drup> but, hum, there is no capitalized tag in html
FreeBirdLjj has quit [Remote host closed the connection]
<t4nk731> is there a way to tell cow that the element will have a tag different that its name? exemple: type T : {...} with xml
<t4nk731> yeah I know but I must follow the https://www.iso20022.org/ standard where tag are capitalized
<t4nk731> :'(
<Drup> o_o
<Drup> did they really named their archive "pain" ?
<Drup> anyway
<Drup> cow is really not the right tool for that
<Drup> use xmlm
<t4nk731> yes they did... ok thank you
JuggleTux has joined #ocaml
^elyse^ has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
palomer has joined #ocaml
manuel_ has joined #ocaml
__uu__ has joined #ocaml
__uu__ has quit [Remote host closed the connection]
__uu__ has joined #ocaml
__uu___ has quit [Ping timeout: 252 seconds]
^elyse^ has quit [Quit: Leaving]
tmtwd has joined #ocaml
mort___ has quit [Quit: Leaving.]
t4nk731 has quit [Ping timeout: 246 seconds]
^elyse^ has joined #ocaml
FreeBirdLjj has joined #ocaml
<SomeDamnBody> what's up with Bigarray.Array2.create - I create one with suitable dimensions, but then when I go to use the damn thing it gives me index out of bounds even for shit like 0,0
<SomeDamnBody> that doesn't make any sense
<palomer> hey guys
<palomer> how do I specify a dependency between two ML files with ocamlbuild?
<SomeDamnBody> palomer, you don't need to, it automatically picks that up
<palomer> oh my
<palomer> how nice
<SomeDamnBody> At least with the way that I use oasis and all I've never had to do that. I tell it where main is, and maybe what modules to expose and it does all the work for me
<SomeDamnBody> yeah I know
<SomeDamnBody> :D
<SomeDamnBody> anybody used bigarray before?
FreeBirdLjj has quit [Ping timeout: 260 seconds]
<Drup> SomeDamnBody: please show code
<SomeDamnBody> I just opened up utop, and did open Bigarray;; let x = Array2.create Float64 fortran_layout 5 5 in x.{0,0} <- 1.0
<SomeDamnBody> and it blew up with index out of bounds
<Drup> rtfm :)
<ggole> 1-based indexing is evil.
rwmjones is now known as rwmjones_hols
toomuchtvrotsurb has joined #ocaml
mobius-eng has quit [Ping timeout: 255 seconds]
tmtwd has quit [Ping timeout: 268 seconds]
<SomeDamnBody> thanks Drup
shinnya has quit [Ping timeout: 240 seconds]
mobius-eng has joined #ocaml
ygrek has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
palomer has quit [Quit: palomer]
Haudegen has joined #ocaml
Guest58751 has quit [Read error: Connection reset by peer]
mobius-eng has quit [Ping timeout: 265 seconds]
Guest58751 has joined #ocaml
Algebr has joined #ocaml
mobius-eng has joined #ocaml
JuggleTux has quit [Quit: leaving]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<Algebr> Drup: What is the mapping of JS error handling to OCaml? Do JS try/catch turn into OCaml try/with
<Drup> Good question, I'm not sure
toomuchtvrotsurb has quit [Remote host closed the connection]
toomuchtvrotsurb has joined #ocaml
<Algebr> I see, any good docs/blog posts about error handling in jsoo?
<Drup> that's arguably an implementation, so no
<Drup> +detail
<Drup> OCaml exception work the way you would expect them, and you have to use Opt/OptDef to deal with null/undefined, that's pretty much all of it
swgillespie has joined #ocaml
Kakadu has joined #ocaml
mort___ has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
darkf has quit [Quit: Leaving]
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
canhtak has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 256 seconds]
mobius-eng has quit []
please_help has quit [Read error: No route to host]
ggole has quit [Ping timeout: 244 seconds]
Mercuria1Alchemi has quit [Ping timeout: 260 seconds]
Guest86412 has quit [Ping timeout: 246 seconds]
__uu__ has quit [Read error: Connection reset by peer]
__uu__ has joined #ocaml
picachu_ has quit [Quit: Saliendo]
picachu has joined #ocaml
Mandus has quit [Ping timeout: 240 seconds]
damason has quit [Ping timeout: 260 seconds]
kdef has joined #ocaml
mac10688 has joined #ocaml
FreeBirdLjj has joined #ocaml
<Algebr> Drup: How can I mutate a JS value that I made in OCaml? I don't see a set function in Opt or OptDef
dsheets has joined #ocaml
<Algebr> Like I have something that was null, now I want it to be "123", should I just use plain OCaml references?
Mandus has joined #ocaml
companion_square is now known as companion_cube
<Drup> no idea
FreeBirdLjj has quit [Ping timeout: 265 seconds]
dsheets has quit [Ping timeout: 240 seconds]
<companion_cube> Drup: which link is broken?
<Algebr> Drup: When a javascript function is called with new, does call still get called
<Drup> companion_cube: some link to the API, string I think
<Drup> Algebr: No idea how prototype works in js
<companion_cube> I should document myself on url checkers
manuel_ has quit [Quit: manuel_]
manuel_ has joined #ocaml
Mandus has quit [Ping timeout: 240 seconds]
Mandus has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
^elyse^ has quit [Quit: Leaving]
<Algebr> Drup: I have something that I want to call with new, a constructor but its for something that I am writing a class type binding for. The docs only show making stand alone functions like let f = Js.Unsafe.global##_F
<Algebr> just implementing call isn't working..
SomeDamnBody has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
damason has joined #ocaml
lobo has quit [Quit: leaving]
bjorkintosh has quit [Quit: Leaving]
toomuchtvrotsurb has joined #ocaml
toomuchtvrotsurb has quit [Ping timeout: 252 seconds]
antkong_ has joined #ocaml
bjorkintosh has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
swgillespie has joined #ocaml
Kakadu has quit [Remote host closed the connection]
manuel_ has quit [Quit: manuel_]
canhtak has quit [Quit: canhtak]
mort___ has quit [Quit: Leaving.]
sh0t has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
toomuchtvrotsurb has joined #ocaml
madroach_ has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
toomuchtvrotsurb has quit [Ping timeout: 240 seconds]
mac10688 has quit [Ping timeout: 240 seconds]
manuel_ has joined #ocaml