adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
carlosdagos has joined #ocaml
Guest70772 has quit [Ping timeout: 264 seconds]
Guest70772 has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
recj has quit [Ping timeout: 244 seconds]
<copy`> sheijk: jsoo, bindings to pixi.js, gg
Guest70772 has quit [Ping timeout: 252 seconds]
<sheijk> hm, that looks pretty nice for 2d games. need to try that some time
<oni-on-ion> rot.js =P
TC01 has quit [Ping timeout: 252 seconds]
TC01 has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 246 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
MadcapJake has quit [Read error: Connection reset by peer]
MadcapJake has joined #ocaml
kjak has quit [Ping timeout: 276 seconds]
zv has quit [Ping timeout: 245 seconds]
zv has joined #ocaml
pierpal has joined #ocaml
jack5638 has quit [Ping timeout: 246 seconds]
jack5638 has joined #ocaml
kjak has joined #ocaml
cross has quit [Quit: Lost terminal]
metreo has joined #ocaml
sagotch has joined #ocaml
Alexander-47u has joined #ocaml
Alexander-47u has quit [Ping timeout: 268 seconds]
jerith_ is now known as jerith
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
freyr69 has joined #ocaml
ziyourenxiang_ has quit [Ping timeout: 246 seconds]
_whitelogger has joined #ocaml
orbifx2 has joined #ocaml
kjak has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
orbifx2 has quit [Ping timeout: 268 seconds]
slamzy has joined #ocaml
notnotdan has quit [Ping timeout: 272 seconds]
notnotdan has joined #ocaml
themsay has quit [Ping timeout: 272 seconds]
malina has joined #ocaml
asymptotically has joined #ocaml
slamzy has quit [Ping timeout: 256 seconds]
Guest92252 has joined #ocaml
ollehar has joined #ocaml
Guest92252 has quit [Remote host closed the connection]
Haudegen has joined #ocaml
keep_learning has quit [Remote host closed the connection]
slamzy has joined #ocaml
bartholin has quit [Remote host closed the connection]
mfp has joined #ocaml
rks` has quit [Ping timeout: 252 seconds]
zv has quit [Ping timeout: 252 seconds]
jstolarek has joined #ocaml
<jstolarek> does OCaml have a naming convention for functions that return an Option ?
<Fardale> *_opt
<jstolarek> thanks
metreo has left #ocaml [#ocaml]
zv has joined #ocaml
<Leonidas> jstolarek: or just function
<Leonidas> and exception variants `_exn`
<Leonidas> which is nicer, but the stdlib could not be changed that's why _opt was added.
demonimin has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
gravicappa has joined #ocaml
asymptotically has quit [Remote host closed the connection]
asymptotically has joined #ocaml
rks` has joined #ocaml
slamzy1234 has joined #ocaml
asymptotically2 has joined #ocaml
slamzy12345 has joined #ocaml
asymptotically has quit [Disconnected by services]
asymptotically2 is now known as asymptotically
slamzy has quit [Remote host closed the connection]
slamzy1234 has quit [Ping timeout: 256 seconds]
ziyourenxiang_ has joined #ocaml
slamzy1234 has joined #ocaml
slamzy12345 has quit [Ping timeout: 256 seconds]
sagotch has quit [Ping timeout: 252 seconds]
sagotch has joined #ocaml
manas has joined #ocaml
quipa_ has joined #ocaml
sagotch has quit [Quit: Leaving.]
maximjaffe has joined #ocaml
maximjaffe has quit [Read error: Connection reset by peer]
quipa_ has quit [Ping timeout: 252 seconds]
Haudegen has quit [Remote host closed the connection]
sagotch has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
malina has quit [Remote host closed the connection]
carlosdagos has quit [Quit: Connection closed for inactivity]
CcxWrk has quit [Remote host closed the connection]
malina has joined #ocaml
ggole has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
gravicappa has quit [Remote host closed the connection]
CcxWrk has joined #ocaml
sagax has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
waleee has joined #ocaml
<Leonidas> Drup: did you go anywhere from here? https://discuss.ocaml.org/t/choice-of-template-language-for-tyxml/1863
<Drup> Leonidas: no time to do it, no :/
<Drup> Leonidas: but, if you are willing to launch yourself into that task, 1) I would gladly help 2) It could motivate me further :)
<Leonidas> Drup: not at the moment, sorry. But I'll most likely have a personal project where I'll be using Tyxml so maybe on that occasion
<Drup> It's not a small task :3
sagax has joined #ocaml
<sagotch> What would be the task ?
<sagotch> I just read the post, and I'll be very glad to help if the choice is jingoo. It is something I would like to be done, but it is true that it is not a small task.
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
spew has joined #ocaml
manas has quit [Remote host closed the connection]
manas has joined #ocaml
<Drup> sagotch: have you seen https://github.com/ocsigen/tyxml/pull/128 ?
<sagotch> I was just looking at it
<Drup> another possibility, which is certainly in the line of modern tendances, would be to just use a JSX-like syntax.
<Armael> how would that work?
manas has quit [Ping timeout: 240 seconds]
<Drup> Armael: you would still introduce html elements with quotations. The current ppx uses a weird quote-based thing for antiquotation/splicing, which is where the jsx syntax would come in.
<Armael> I'm not sure I see
<Armael> AFAIU in reason JSX is directly implemented in the reason parser
<Drup> Armael: I'm just talking about the syntax once you are in the html fragment
<Armael> you mean, html + a syntax for antiquotation?
<Drup> Pretty much, yes.
<Drup> (and the handling of whitespace around the antiquots, etc)
<Armael> I'm not very familiar with JSX; what I understand of the reason implementation is that you can use html-y syntax for function application
<Armael> so quotation/antiquotations are transparent
<Drup> Yes and no, you also have { ... } for antiquots
<Armael> ah, ok
tane has joined #ocaml
<enikar> hello, all. What do you mean, compile in native mode for the ocamlc.opt compiler ?
<enikar> oops
<enikar> "what does it mean"*
<tane> enikar, what's the context?
<enikar> I compile a program wih ocamlc.opt, but I saw that the result, is « a /usr/bin/ocamlrun script executable (binary data) », so I'm puzzled !
<tane> is there an ocamlopt compiler?
<enikar> I expected an elf binary.
<tane> enikar, then use the right compiler
manas has joined #ocaml
<octachron> ocamlc.opt is the bytecode compiler compiled in native mode
<enikar> I don't know, I suspect that there is not !
<tane> ocamlc.opt is just the ocamlc compiler,
<enikar> I use ocaml in a debian/sid amd64.
<tane> look for an ocamlopt executable, some package should contain it
<tane> otherwise install it via opam
<enikar> they have symlinked ocamlopt to ocamlc.opt…
<tane> use opam then
<enikar> I have installed all the ocaml compiler packages.
<tane> or apt packages, if these are available on debian
<enikar> It seems there is no ocamlopt in debian/sid…
<enikar> I'll try to install ocamlopt with opam, thanks for the advice.
<sagotch> Drup I need to look closely at it, but maybe that jingoo is indeed too rich to be used for templating in tyxml
<Drup> sagotch: it's difficult to say. The question is more "can you turn a jinga template into OCaml code"
<sagotch> My goal would be to do that, but there is a lot of runtime typing, so it would require arguments to be boxed into jingoo's type system.
<Drup> That precisely is a big nono for tyxml :3
<Drup> (cf what I did for mustache, where I made explicit choices that are appropriate for tyxml)
<Drup> boxing is bad both perf wise, and convenience wise
manas has quit []
<sagotch> I stil think a static type-checker could be written, even if I am not sure about it at all.
<Drup> Yeah, that's more or less what I had to do for the mustache version. My impression of jinga was that the semantics was reasonable enough to be amenable to it.
<sagotch> So input would not have to be boxed but I can't be sure
<Drup> I think it's possible with jinga, I'm pretty convinced it *isn't* possible with handlebar ;)
<sagotch> It looks easier to me with handlebar because there is not much in this language
<Drup> the language is too dynamic.
<sagotch> What would be a problem?
<Drup> It confuses if condition and loops, empty list and null and false, etc
<sagotch> I see. Well, you'll have the same prolem with jingoo
cross has joined #ocaml
<Drup> Really ? it seemed slightly more principled
<sagotch> you can use `{% if list %}`
<sagotch> list will be evaluated to true if <> []
FreeBirdLjj has joined #ocaml
<Drup> blerg
CcxWrk has joined #ocaml
<sagotch> not sure if it's my fault, but if it is not I would have add this feature to jingoo myself. It is necessary when you want your template to be written by people who does not care about type safety ¯\_(ツ)_/¯
<sagotch> You can still type it, if it is used in a for loop it is a list (or an array), otherwise it is a boolean
<sagotch> The problem with handler bar may be that "Can't specify a name relative to the current context. Names are always resolved from the top context."
<sagotch> ?
<Drup> That as well.
<sagotch> Ah non... probablement pas, forget it, it's another story ^^
<Drup> There are many issues with handlebar
FreeBirdLjj has quit [Ping timeout: 272 seconds]
<Drup> I mean, in my opinion, it's just a bad language :<
two_wheels has joined #ocaml
FreeBirdLjj has joined #ocaml
freyr69 has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 250 seconds]
wentasah20 has joined #ocaml
wentasah20 has quit [Remote host closed the connection]
sagotch has quit [Ping timeout: 250 seconds]
sagotch has joined #ocaml
<wilfredh> is it possible to define a pattern that matches on the whole tuple of a constructor?
<companion_cube> maybe with inline records
<wilfredh> would that require me to change my `name` type?
<Drup> wilfredh: change your declaration to `FullName of (string * string)` with parens.
<companion_cube> ewwwww
<companion_cube> FullName of {family: string; first:string} is more readable and more efficient…
<Drup> companion_cube: aren't you the one who always advocate for a low-tech approach ? :p
<companion_cube> inline records are low tech
<companion_cube> and I advocate for efficiency :)
<Drup> 4.04 ?
<Drup> anyway, I don't disagree with you, I just wanted to explain why the original didn't work.
<companion_cube> 4.03 I think
<companion_cube> yep, 4.03
<companion_cube> now I'm considering inline records and `| exception Foo -> …` as normal things
<Drup> such modernity
<companion_cube> I know right
<ggole> Inline records were really nice for such a simple addition
<ggole> I use them all the time
<companion_cube> I mean, I'd argue that any ML written now should have inline records as part of the core language
<companion_cube> even if the language is as small as SML
<ggole> SML has anonymous records, so it gets most of the effect
<wilfredh> okey-doke, thanks :)
<Armael> theblatte: opam admin maybe?
<theblatte> Armael: that script calls opam admin at some point (the goal is to have an opam repo with only some packages in some versions installed)
<Armael> ah, ok
<theblatte> I'm modifying it to work in opam2, not too bad so far but I was wondering if something easier existed in the wonderful world of the future of opam 2 :)
<Drup> theblatte: isn't `opam admin filter` sufficient ?
<theblatte> ooh
<theblatte> Drup: thanks!
<Drup> opam admin has been significantly extended now
<Drup> (for package maintaners lurking, I recommend taking a look at `opam admin add-constraint`, pretty magical for new releases)
<theblatte> so Armael was right, I should have read opam admin --help :)
<Drup> never underestimate the value of RTFMing :3
<theblatte> not sure what --or and --recursive are supposed to do since the default behaviour seems to be as if --or and --recursive were passed anyway
<theblatte> *shrug*
<Drup> theblatte: it just accepts all the options from `opam list`
pierpal has quit [Ping timeout: 268 seconds]
<theblatte> the --post option doesn't seem to work, the final repo is missing stuff like "base-unix" :(
ziyourenxiang_ has quit [Ping timeout: 246 seconds]
<Drup> I would not be surprised if you were the first to test that :3
<theblatte> fun :)
ggole has quit [Quit: ggole]
malina has quit [Ping timeout: 276 seconds]
kjak has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
breitenj has quit [Max SendQ exceeded]
breitenj has joined #ocaml
<theblatte> 15G of ram to compile dose3 with 4.06.1+flambda ^^
<spew> wow
<companion_cube> this is really problematic
<companion_cube> anyone knows why dose needs so much ram?
<companion_cube> and why it doesn't have a bugtracker that isn't gforge?
<theblatte> I think it's a known flambda issue
<companion_cube> well maybe dose3 should use Oclassic or something
<theblatte> (and potentially an old one since this is 4.06)
troydm has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
pierpal has joined #ocaml
malina has joined #ocaml
gravicappa has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
al-damiri has joined #ocaml
bartholin has joined #ocaml
kakadu_ has joined #ocaml
sagotch has quit [Quit: Leaving.]
steenuil has joined #ocaml
waleee has quit [Quit: WeeChat 2.3]
pierpal has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
k1000 has joined #ocaml
k1000 has quit [Client Quit]
jnavila has quit [Ping timeout: 252 seconds]
leah2 has quit [Ping timeout: 276 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
dtornabene has joined #ocaml
gravicappa has quit [Remote host closed the connection]
leah2 has joined #ocaml
orbifx2 has joined #ocaml
demonimin has joined #ocaml
troydm has joined #ocaml
pierpal has joined #ocaml
demonimin has quit [Quit: bye]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
demonimin has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
two_wheels has quit [Remote host closed the connection]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
slamzy1234 has quit [Quit: Leaving]
pierpal has quit [Ping timeout: 268 seconds]
wilfredh has quit [Quit: Connection closed for inactivity]
spew has quit [Quit: going home]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
bartholin has quit [Remote host closed the connection]
jnavila has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
jnavila has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
pierpal has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
asymptotically has quit [Quit: Leaving]
pierpal has quit [Ping timeout: 268 seconds]
kakadu_ has quit [Remote host closed the connection]
dtornabene_ has joined #ocaml
pierpal has joined #ocaml
dtornabene has quit [Ping timeout: 240 seconds]
two_wheels has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
carlosdagos has joined #ocaml
zolk3ri has joined #ocaml
pierpal has joined #ocaml
steenuil has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 245 seconds]
noddy has joined #ocaml
malina has quit [Remote host closed the connection]
Algebr has quit [Ping timeout: 246 seconds]
Haudegen has quit [Remote host closed the connection]
keep_learning has joined #ocaml
pierpal has joined #ocaml
Algebr has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
noddy2OOO has joined #ocaml
noddy has quit [Ping timeout: 244 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]