<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.
<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]
<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>
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]