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
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
apache2 has quit [Remote host closed the connection]
larhat has joined #ocaml
apache2 has joined #ocaml
relrod has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
martintrojer has joined #ocaml
relrod_ has joined #ocaml
relrod_ has quit [Changing host]
relrod_ has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
govg has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
SomeDamnBody has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
vgrbr has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
vgrbr has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
__uu___ has quit [Remote host closed the connection]
__uu__ has joined #ocaml
__uu__ has quit [Client Quit]
__uu__ has joined #ocaml
struktured has joined #ocaml
<cojy> do modular implicits worry anyone considering what's happening to haskell?
<cojy> overdoing it with typeclasses is making inference more harmful than helpful
<Enjolras> cojy: i think the explicity type parameter will stop people for doing too bad things
<flux> cojy, btw, did you read the ml2014 presentation on them? http://www.lpw25.net/ml2014.pdf
echo-area has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
<cojy> no i didn't read the full paper yet
jabesed has quit [Ping timeout: 240 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
skeuomorf has quit [Ping timeout: 264 seconds]
relrod_ is now known as relrod
swgillespie has joined #ocaml
nullcatxxx_ has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
mac10688_ has quit [Ping timeout: 260 seconds]
pippijn has quit [Ping timeout: 244 seconds]
Intensity has quit [Ping timeout: 244 seconds]
pippijn has joined #ocaml
tmtwd has joined #ocaml
tmtwd has quit [Remote host closed the connection]
tmtwd has joined #ocaml
obadz has quit [Ping timeout: 244 seconds]
Intensity has joined #ocaml
vgrbr has joined #ocaml
obadz has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
echo-area has quit [Ping timeout: 272 seconds]
echo-area has joined #ocaml
psy_ has quit [Ping timeout: 268 seconds]
damason has quit [Quit: No Ping reply in 180 seconds.]
damason has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
darkf has joined #ocaml
vgrbr has quit [Ping timeout: 240 seconds]
SomeDamnBody has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
keen__________13 has quit [Ping timeout: 272 seconds]
obadz has quit [Ping timeout: 246 seconds]
obadz has joined #ocaml
MercurialAlchemi has joined #ocaml
__uu___ has joined #ocaml
psy_ has joined #ocaml
__uu__ has quit [Ping timeout: 272 seconds]
infinity0 has quit [Ping timeout: 250 seconds]
infinity0 has joined #ocaml
Algebr has joined #ocaml
native_killer has joined #ocaml
<Algebr> Drup: Does a try/with expression work in jsoo?
<Algebr> Drup: I want to catch exceptions, if possible
infinity0 has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
<Algebr> Can I give _oasis per Executable Pre/Post build commands? I only see ability for like global level
tmtwd has quit [Ping timeout: 246 seconds]
kushal has joined #ocaml
<Algebr> Drup: Say a method returns a JS object, what would that signature look like? method foo : unit -> Js.js_obj Js.meth (Such a thing doesn't exist, should I just say Js.Unsafe.any?)
Mercuria1Alchemi has joined #ocaml
infinity0 has joined #ocaml
<Algebr> my gut says I can just define it on the fly, foo : unit -> <bar : Js.js_string> Js.meth
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
__uu__ has joined #ocaml
__uu___ has quit [Ping timeout: 244 seconds]
infinity0 has quit [Remote host closed the connection]
psy_ has quit [Read error: Connection reset by peer]
infinity0 has joined #ocaml
<def`> Algebr: <bar: ...> Js.t Js.meth, no?
native_killer_ has joined #ocaml
<Algebr> tried that but was getting crazy type errors, now I'm looking if I screwed up ppx with camlp4 again...
native_killer has quit [Ping timeout: 255 seconds]
<Algebr> def`: I get stuff like his expression has type < address : Js.js_string Js.readonly_prop; family : Js.js_string Js.readonly_prop; port : Js.js_string Js.readonly_prop > Js.t but an expression was expected of type 'jsoo_baf7d8c4 Js.meth
<Algebr>
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
<Algebr> Okay I got it, this is a lot of trial, error, intuition building..
Soni has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
Soni has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
Kakadu has joined #ocaml
damason has quit [Ping timeout: 268 seconds]
Haudegen has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
AlexRussia has quit [Ping timeout: 246 seconds]
sh0t has quit [Ping timeout: 240 seconds]
ely-se has joined #ocaml
__uu___ has joined #ocaml
__uu__ has quit [Ping timeout: 264 seconds]
keen_ has joined #ocaml
freehck has joined #ocaml
ollehar has joined #ocaml
luzie has joined #ocaml
kdas_ has joined #ocaml
kushal has quit [Ping timeout: 250 seconds]
kdas_ has quit [Read error: Connection reset by peer]
Algebr has quit [Remote host closed the connection]
kushal has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
yomimono has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 246 seconds]
darkf_ is now known as darkf
yomimono has quit [Ping timeout: 244 seconds]
ggole has joined #ocaml
yomimono has joined #ocaml
jonludlam has joined #ocaml
larhat1 has quit [Quit: Leaving.]
mort___ has left #ocaml [#ocaml]
_whitelogger_ has joined #ocaml
_whitelogger has quit [Remote host closed the connection]
apache2 has quit [Ping timeout: 272 seconds]
_native_killer_ has joined #ocaml
_whitelogger has joined #ocaml
ely-se has joined #ocaml
tristero has quit [Quit: tristero]
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 246 seconds]
michael_lee has joined #ocaml
ely-se has quit [Quit: leaving]
dsheets has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
ely-se has joined #ocaml
ousado has joined #ocaml
_andre has joined #ocaml
Haudegen has joined #ocaml
jabesed has joined #ocaml
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
ely-se has quit [Quit: leaving]
rgrinberg has joined #ocaml
ceryo has joined #ocaml
jabesed has quit [Quit: Konversation terminated!]
rgrinberg has quit [Ping timeout: 268 seconds]
zpe_ has quit [Remote host closed the connection]
echo-area has quit [Remote host closed the connection]
zpe has joined #ocaml
govg has joined #ocaml
_native_killer_ has quit [Ping timeout: 265 seconds]
yomimono has quit [Ping timeout: 255 seconds]
govg has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
govg has joined #ocaml
ely-se has joined #ocaml
zpe has quit [Remote host closed the connection]
AlexRussia has joined #ocaml
madroach has joined #ocaml
rgrinberg has joined #ocaml
jackweirdy has joined #ocaml
<jackweirdy> Hey folks, I have a weird problem - my build works on ocaml 4.02 but not versions before that, as ocamlfind fails to find a file whos folder is included in the includes path. The Travis build is here: https://travis-ci.org/NotBobTheBuilder/compiler-construction/builds/85295950
<jackweirdy> Specifically when I run:
<jackweirdy> ocamlbuild -use-menhir -use-ocamlfind -I src/ -I test/ ./testsuite.native
<jackweirdy> In ocaml 4.01 and earlier and earlier get:
<jackweirdy> Solver failed: Ocamlbuild cannot find or build testsuite.ml. A file with such a name would usually be a source file. I suspect you have given a wrong target name to Ocamlbuild.
<jackweirdy> where testsuite.ml is saved in test/testsuite.ml
<jackweirdy> Sorry for the wall of text :/ anyone seen this before?
rgrinberg has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
mengu has joined #ocaml
<companion_cube> have you tried ocamlbuild ... test/testsuite.native?
<jackweirdy> Will give that a whirl, thanks :) Off the top of your head, will that still create testsuite.native in the same directory of the makefile, or will it put it in the test/ dir?
<companion_cube> no, it will create a symlink in the directory of the makefile
<companion_cube> into _build/test/testsuite.native or something like this
<jackweirdy> Fantastic, will try that :D
govg has quit [Ping timeout: 260 seconds]
<jackweirdy> Ok, tried that and it found the right file, but now can't load modules from the src/ directory :/ https://travis-ci.org/NotBobTheBuilder/compiler-construction/jobs/85519214
bernardofpc has quit [Ping timeout: 244 seconds]
BitPuffin has joined #ocaml
bernardofpc has joined #ocaml
Guest38 has joined #ocaml
Simn has joined #ocaml
sgnb has quit [Ping timeout: 240 seconds]
octachron has joined #ocaml
Guest38 has quit [Ping timeout: 250 seconds]
freehck has quit [Quit: Page closed]
_native_killer_ has joined #ocaml
_native_killer_ has quit [Max SendQ exceeded]
_native_killer_ has joined #ocaml
<companion_cube> look into _build/src/ to see if something from src was built at all
ofzyh__ has joined #ocaml
freehck has joined #ocaml
ofzyh_ has quit [Ping timeout: 240 seconds]
<jackweirdy> It looks like ocamlfind gets run with:
freehck has quit [Client Quit]
<jackweirdy> ocamlfind ocamlc -c -I test -o test/testsuite.cmo test/testsuite.ml
<jackweirdy> so it isn't aware of the src directory, even though it was added to the -I line of ocamlbuild
freehck has joined #ocaml
averell has joined #ocaml
Kakadu has quit [Remote host closed the connection]
<companion_cube> weird
<companion_cube> jackweirdy: I'd try to write a _tags file, with <src>: include <test>: include
<jackweirdy> :D :D :D that worked!
<jackweirdy> I've never heard of a tags file before, thanks for that
yomimono has joined #ocaml
_native_killer_ has quit [Ping timeout: 255 seconds]
ely-se has quit [Quit: leaving]
vgrbr has joined #ocaml
ely-se has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
jonludlam has quit [Ping timeout: 240 seconds]
michael_lee has quit [Quit: Ex-Chat]
govg has joined #ocaml
rgrinberg has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
sz0 has quit []
sz0 has joined #ocaml
struktured has joined #ocaml
jackweirdy has quit [Quit: Textual IRC Client: www.textualapp.com]
Shozan is now known as SHODAN
octachron has quit [Read error: Connection reset by peer]
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
jonludlam has joined #ocaml
_native_killer_ has joined #ocaml
ely-se has quit [Quit: leaving]
hcarty1 has joined #ocaml
ely-se has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
<seliopou> anybody know if/when the result type exposed by the result package will be the same as the one exposed by core_kernel?
<companion_cube> the next version of OCaml will have a builtin result type
<companion_cube> so the libraries should agree on using this type, yes, most lilely
lobo__ has joined #ocaml
NingaLeaf has quit [Quit: Leaving]
strmpnk has quit [Ping timeout: 268 seconds]
jeffmo has joined #ocaml
strmpnk has joined #ocaml
<ollehar> companion_cube: nice! didn't know that.
<ollehar> wait... so people want to use that instead of exceptions?
<companion_cube> ollehar: in many cases, yes
<ollehar> and options?
<companion_cube> it's more explicit than exceptions, as the error case appears in the type
<ollehar> true
<companion_cube> no, options are complementary
<ollehar> hm ok
<Enjolras> it's also handy for callbacks
<Enjolras> or to separate exceptions handling for two code blocks.
<Enjolras> I see that as a complement to exceptions, in fact [ `Error of exn | `Ok of 'a ] is a nice usecase too
marsam has joined #ocaml
octachron has joined #ocaml
<companion_cube> gah, in fact by re-reading the PR comments, I feel like this result issue is not solved
<companion_cube> looks like it is still in Pervasives
BitPuffin has quit [Ping timeout: 250 seconds]
chindy has joined #ocaml
raphaelss has joined #ocaml
<chindy> how does a function look like that returns the 1. element of a Tuple
<chindy> and why doesnt let first ('a * 'b * 'c) = 'a work ?
<ggole> fst is already there, but fun (x, _) -> x if you want to write it yourself
<ggole> Oh, with the restriction that "tuple" can only be one tuple type
<ggole> As for the second question, that's the syntax for tuples and variables at the type level, which doesn't belong in a let-binding in that way
<ggole> You would usually write let first (a, b, c) = a
johnelse has quit [Quit: leaving]
ely-se has quit [Quit: leaving]
chindy has quit [Remote host closed the connection]
ely-se has joined #ocaml
dsheets has joined #ocaml
skeuomorf has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
mengu has quit []
ely-se has quit [Quit: leaving]
johnelse has joined #ocaml
johnelse is now known as Guest5431
mahem1 has quit [Remote host closed the connection]
Guest5431 is now known as johnel_away
johnel_away has quit [Remote host closed the connection]
slash^ has joined #ocaml
johnelse_ has joined #ocaml
johnelse_ is now known as johnelse
johnf has joined #ocaml
BitPuffin has joined #ocaml
struktured has quit [Ping timeout: 260 seconds]
theblatte has joined #ocaml
ollehar has joined #ocaml
vgrbr has quit [Ping timeout: 252 seconds]
lobo__ has quit [Quit: WeeChat 1.0.1]
mort___ has joined #ocaml
octachron has quit [Quit: Leaving]
raphaelsss has joined #ocaml
raphaelss has quit [Ping timeout: 244 seconds]
<theblatte> i want to pass -Wl,-rpath,'$${ORIGIN}/../lib' to gcc from ocamlbuild. Is there a way to have something less horrible than two levels of nested "pass this option down to the level below" in my command? >> ocamlbuild [... stuff ...] -lflags -cclib,-Xlinker,-cclib,-rpath,-cclib,-Xlinker,-cclib,'$${ORIGIN}/../lib'
<theblatte> basically commas destined to gcc get interpreted by ocamlbuild if I go the -Wl,-rpath,'$${ORIGIN}/../lib' route
<theblatte> same story with -cclib: I'd like to pass all the options at the same time but cannot
shinnya has joined #ocaml
<Drup> it doesn't work if you quote the whole thing ?
^elyse^ has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
xet7 has quit [Ping timeout: 240 seconds]
xet7 has joined #ocaml
jwatzman|work has joined #ocaml
ollehar has joined #ocaml
mort___ has left #ocaml [#ocaml]
<theblatte> Drup: nope
<theblatte> it looks like commas are always interpreted by ocamlbuild as if they are meant for him, or at least I didn't find how to escape them
toomuchtvrotsurb has joined #ocaml
nullcatxxx_ has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
sgnb has joined #ocaml
jonludlam has quit [Ping timeout: 260 seconds]
SomeDamnBody has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
psy has joined #ocaml
marsam has quit [Remote host closed the connection]
raphaelssss has joined #ocaml
raphaelsss has quit [Ping timeout: 264 seconds]
ggole has quit []
marsam has joined #ocaml
dsheets has quit [Ping timeout: 255 seconds]
ofzyh__ has quit [Remote host closed the connection]
ofzyh__ has joined #ocaml
^elyse^ has quit [Quit: Leaving]
Algebr has joined #ocaml
<reynir> (^^)
lobo has joined #ocaml
^elyse^ has joined #ocaml
__uu__ has joined #ocaml
__uu___ has quit [Ping timeout: 255 seconds]
<nullcatxxx_> ^
demonimin has quit [Ping timeout: 246 seconds]
xet7 has quit [Ping timeout: 252 seconds]
marsam has quit [Remote host closed the connection]
thorsten` has quit [Ping timeout: 255 seconds]
stomp has quit [Ping timeout: 260 seconds]
cball has quit [Remote host closed the connection]
stomp has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
cball has joined #ocaml
stomp has quit [Ping timeout: 260 seconds]
cball has quit [Remote host closed the connection]
stomp has joined #ocaml
sternenseemann has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
sternenseemann has joined #ocaml
stomp has quit [Ping timeout: 250 seconds]
stomp has joined #ocaml
stomp has quit [Ping timeout: 265 seconds]
stomp has joined #ocaml
thorsten` has joined #ocaml
BitPuffin has quit [Ping timeout: 265 seconds]
Haudegen has quit [Ping timeout: 260 seconds]
_native_killer_ has quit [Quit: Leaving]
rgrinberg has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
orbifx has joined #ocaml
Haudegen has joined #ocaml
Kakadu has joined #ocaml
darkf has quit [Quit: Leaving]
sepp2k has quit [Quit: Leaving.]
demonimin has joined #ocaml
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
pleiosaur has quit [Ping timeout: 244 seconds]
eikke has quit [Ping timeout: 244 seconds]
eikke has joined #ocaml
jonasac has joined #ocaml
jonasac has quit []
marsam has joined #ocaml
SomeDamnBody has quit [Ping timeout: 268 seconds]
pleiosaur has joined #ocaml
<hcarty1> theblatte: I wrote a bit of code for that using myocamlbuild.ml
<hcarty1> It sets up a tag you can use to add RPATH entries
ollehar has joined #ocaml
<hcarty1> theblatte: https://github.com/hcarty/ocamlbuild-plugins/blob/master/myrpathfile.ml is similar but it reads the paths from a file
<theblatte> hcarty1: neat!
slash^ has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
larhat1 has joined #ocaml
cball has joined #ocaml
Tekilla has joined #ocaml
jonludlam has joined #ocaml
raphaelssss has quit [Read error: Connection reset by peer]
vgrbr has joined #ocaml
nullcatx_ has joined #ocaml
nullcatx_ has quit [Client Quit]
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 268 seconds]
demonimin has quit [Remote host closed the connection]
jonasac has joined #ocaml
demonimin has joined #ocaml
<companion_cube> o/ rgrinberg
_andre has quit [Quit: leaving]
__uu__ has quit [Ping timeout: 250 seconds]
sh0t has quit [Ping timeout: 250 seconds]
sh0t has joined #ocaml
demonimin has quit [Remote host closed the connection]
<rgrinberg> companion_cube: hey :)
demonimin has joined #ocaml
SomeDamnBody has joined #ocaml
<companion_cube> how are things?
<rgrinberg> companion_cube: might get busy soon
<rgrinberg> ;)
<companion_cube> heh
<rgrinberg> companion_cube: cohttp client is a decent idea. i might use the opportunity to show how to use it in jsoo
ceryo has quit [Quit: Textual IRC Client: www.textualapp.com]
<companion_cube> we need to write a small project that uses all the libs together
<companion_cube> 8-)
freehck has quit [Ping timeout: 246 seconds]
<rgrinberg> companion_cube: we need qcheck/containers in there.
<companion_cube> shh shh, not in public
<rgrinberg> ah yes
jonasac has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
nullcatx_ has quit [Ping timeout: 265 seconds]
shinnya has quit [Ping timeout: 252 seconds]
Tekilla has quit [Quit: Quitte]
hcarty1 has quit [Ping timeout: 246 seconds]
jonludlam has quit [Ping timeout: 268 seconds]
<Algebr> Is create the deprecated word and make the preferred one?
<companion_cube> apparently
<Algebr> what was the reasoning? one starts with c and the other with m?
<companion_cube> no idea.
<companion_cube> maybe it's just to have consistent signatures in several modules
<companion_cube> my impression is that create is for creating new empty structures
<companion_cube> and make is for creating a structure filled with constants
mac10688_ has joined #ocaml
shinnya has joined #ocaml
<seliopou> does js_of_ocaml do any functor application reordering?
<Drup> I don't think jsoo does any reordering
<Drup> inlining, yes
<seliopou> I'm getting some strange behavior involving a functor application that allocates a weak hash table... I use one function from the module that's applying the functor, it's all good. I use another one, and I get the primitive missing failure
<seliopou> hmmm
<Drup> does the first function actually use the weak stuff ?
<seliopou> nope
<seliopou> neither do
<Drup> jsoo's code elimination is quite agressive
<seliopou> i think i'm somehow triggering an anti-aggressive case
<Drup> That is possible
picachu has joined #ocaml
jonludlam has joined #ocaml
<seliopou> actually it seems that the behavior of the first case (just using one function) is unsound
<seliopou> since it's not letting the module produce its side effect
sz0 has quit [Quit: Connection closed for inactivity]
<Drup> Pretty sure jsoo will have no problem removing things that are not observables
<seliopou> mm, i see
<seliopou> thought this was a ppx_deriving_yojson problem (the first function was a serializer and the second was a deserializer) but i think it may be js_of_ocaml DCE
<Drup> do you have issues if you just add +weak.js ?
<seliopou> oof, i'm an idiot... it only happens when i use a function from the module, which makes sense
<seliopou> nope no issue there except that the generated code gets huge
<Drup> even after minimisation ? meh
<seliopou> 1 sec let me check
<Drup> (jsoo_minify)
<seliopou> i'm using that fancy _oasis feature you showed me
<Drup> it doesn't call jsoo_minify by default, iirc
<seliopou> oh nm it only adds 1k!
<seliopou> (unminified)
<Drup> :D
<Drup> It's more of a semantic issue than a size issue
<seliopou> i duno what i was doing before but i thought i tested with/without +weak.js and the difference was a meg
<seliopou> off by an order of magnitude, no biggie
<seliopou> Drup: i'm building an interface using ocaml-d3 and i'm coming across pain points where slapping together a tyxml fragment would be might lighter weight than what I'm doing now
<seliopou> mostly for static stuff like table headings etc
<seliopou> oh also can your dispatch lib compile to js?
rwmjones is now known as rwmjones_afk
<Drup> seliopou: yes, the static stuff is an immediate gain
<Drup> I don't understand the other question
orbifx has quit [Quit: WeeChat 1.3]
<seliopou> js_of_ocaml https://github.com/Drup/furl == no error?
<seliopou> one of the main reasons I factored out dispatch from webmachine was to use it in the browser
<seliopou> ... which I should push actually
<Drup> seliopou: ah, yes, it can compiles to jsoo
<Drup> well, I didn't tried
<Drup> But it's pure ocaml ...
picachu has quit [Quit: Saliendo]
<Drup> the point is that it can do both client and server
<seliopou> no hidden str depenencies or anything?
<Drup> I'm an Re person :D
<seliopou> hah, ok
<seliopou> but are your depedencies?!?!/
<seliopou> :P
<Drup> well, the dependencies are uri, re, gen
<Drup> anyway, it's highly WIP
<seliopou> i actually thought of implementing something like this and realized i have no idea how to
<Drup> you might be interested because it's more powerful than your thing
<seliopou> so good job even if it's a wip
<Drup> (and when I saw webmachine, I immediatly though "hey, I can integrate with that")
<seliopou> acutally there may be something there
jwatzman|work has quit [Quit: jwatzman|work]
<seliopou> the reason the dispatch is wrtten the way it is is because that's how the erlang version does it
<seliopou> specifically, a request object gets threaded throught the decision nodes that contains a string -> string map
<Drup> Yeah, we can do slightly better in OCaml
<Drup> :by the power of GADTs:
<seliopou> using type-safe routing would require the resource constructor to take them as arguments
<Drup> that's exactly what I do
<seliopou> if decision nodes need to modify those values though, they will have to mutuate some ref, rather than do threading
<Drup> hum ?
<Drup> not necesseraly
<Drup> you just have to type the threading
<seliopou> that would have to be provided by the user tho
<Drup> (ok, maybe the "just" is a bit of a stretch :D)
<seliopou> the type safe routing would then get unityped
<seliopou> mmm
<seliopou> FYI given the current webmachine interface, you could definitely use it with another resource dispatching mechanism
<ollehar> is the dragon book recommended reading still?
<Drup> It's old school
<ollehar> so YES?
<ollehar> old-skool cool
<Drup> well, not really ...
<Drup> I mean, no SSA ...
Algebr has quit [Ping timeout: 240 seconds]
<ollehar> hm
<ollehar> any book took its place as the def guide?
<ollehar> maybe google knows
lobo has quit [Quit: leaving]
<seliopou> Oh Drup to clarify the tyxml comment from before, having an op that had type : `tyxml -> ('a, 'a) D3.t` that behaves just like static would be clutch
<Drup> seliopou: Yes, that's easy
<Drup> I have that one done already
<seliopou> oh right that's one you implemented!
<Drup> I implemented 3 different things :D
<Drup> this is the first one I did
<Drup> it works only for html, though
<Drup> on top of that issue 1) you can't change html based on data 2) you can't put d3 things in the middle of some static html
<Drup> so, the two following version are various tries to implement that
<seliopou> don't worry about 2, it has a simple solution: `html tyxml <.> select "child_of_tyxml" <.> ...`
<seliopou> but 1 is legit
hcarty1 has joined #ocaml
<Drup> your solution for 2 is remarquably unpretty, I can do much better :D
<seliopou> lol it's the d3 way!
<Drup> (yes, I do have a tendency to shoot for the moon)
<seliopou> :)
rgrinberg has quit [Ping timeout: 268 seconds]
hcarty1 has quit [Ping timeout: 260 seconds]
<Drup> seliopou: what really needs, though, is to figure out a way to add all the things from the D3 library easily
<Drup> +we
<seliopou> for the vis?
<seliopou> o m g
<seliopou> what's the precedence of #?
<Drup> higher than anything
<Drup> yes, for the visualisations
Simn has quit [Quit: Leaving]
<seliopou> ugh
<seliopou> higher than function application?
<Drup> yes
<Drup> (it's kind of the point)
Kakadu has quit [Remote host closed the connection]
jeffmo has quit [Quit: jeffmo]
rgrinberg has joined #ocaml
^elyse^ has quit [Quit: Leaving]
damason has joined #ocaml
sh0t has quit [Remote host closed the connection]
ollehar has quit [Quit: ollehar]
jonludlam has quit [Ping timeout: 240 seconds]
marsam has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 268 seconds]
deavidsedice has joined #ocaml
mehdi_ has joined #ocaml
S11001001_ has joined #ocaml
adrien_ has joined #ocaml
vbmithr_ has joined #ocaml
sternens1emann has joined #ocaml
ohama has quit [Disconnected by services]
cow-orker has joined #ocaml
tokik_ has joined #ocaml
Maelan_ has joined #ocaml
ohama has joined #ocaml
vbmithr has quit [Write error: Connection reset by peer]
mehdi__ has quit [Write error: Broken pipe]
rks`_ has quit [Write error: Broken pipe]
cow-orke1 has quit [Write error: Broken pipe]
Maelan has quit [Remote host closed the connection]
adrien has quit [Write error: Connection reset by peer]
rks` has joined #ocaml
boegel has quit [Read error: Connection reset by peer]
sternenseemann has quit [Read error: Connection reset by peer]
boegel|quassel has joined #ocaml
deavid has quit [Read error: Connection reset by peer]
Leonidas has quit [Read error: Connection reset by peer]
tokik has quit [Read error: Connection reset by peer]
Leonidas_ has joined #ocaml
swgillespie has joined #ocaml
S11001001 has quit [Ping timeout: 253 seconds]
S11001001_ is now known as S11001001
infinity0 has quit [Ping timeout: 265 seconds]
j0sh has quit [Ping timeout: 265 seconds]
thorsten` has quit [Ping timeout: 265 seconds]
tizoc has quit [Ping timeout: 265 seconds]
jbrown has quit [Ping timeout: 265 seconds]
cthuluh has quit [Ping timeout: 265 seconds]
kandu has quit [Ping timeout: 265 seconds]
sigjuice has quit [Ping timeout: 265 seconds]
madroach has quit [Ping timeout: 260 seconds]
tokik_ has quit [Ping timeout: 265 seconds]
kushal has quit [Ping timeout: 265 seconds]
sheijk has quit [Ping timeout: 265 seconds]
def` has quit [Ping timeout: 265 seconds]
j0sh has joined #ocaml
tokik has joined #ocaml
cthuluh has joined #ocaml
kandu has joined #ocaml
madroach has joined #ocaml
kandu is now known as Guest80472
sheijk has joined #ocaml
def` has joined #ocaml
infinity0 has joined #ocaml
jwatzman|work has joined #ocaml
tizoc has joined #ocaml
sigjuice has joined #ocaml
jbrown has joined #ocaml
deavidsedice has quit [*.net *.split]
vpm has quit [*.net *.split]
Khady has quit [*.net *.split]
NoNNaN has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
sivoais has quit [*.net *.split]
jrslepak has quit [*.net *.split]
lambdahands has quit [*.net *.split]
metadave has quit [*.net *.split]
adrien_znc has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
cantstanya has quit [*.net *.split]
fds has quit [*.net *.split]
lpaste has quit [*.net *.split]
tokik has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
systmkor has quit [*.net *.split]
hannes has quit [*.net *.split]
jerith has quit [*.net *.split]
luigy has quit [*.net *.split]
WanderingGlitch has quit [*.net *.split]
mrvn has quit [*.net *.split]
bholst_ has quit [*.net *.split]
tokenrove has quit [*.net *.split]
nopf has quit [*.net *.split]
zol has quit [*.net *.split]
Fleurety has quit [*.net *.split]
srax has quit [*.net *.split]
toscan has quit [*.net *.split]
MasseR has quit [*.net *.split]
zapu has quit [*.net *.split]
Reventlov has quit [*.net *.split]
madroach has quit [*.net *.split]
vbmithr_ has quit [*.net *.split]
apache2_ has quit [*.net *.split]
larhat has quit [*.net *.split]
mfp has quit [*.net *.split]
ia0 has quit [*.net *.split]
troydm has quit [*.net *.split]
emias has quit [*.net *.split]
Haudegen has quit [*.net *.split]
ofzyh__ has quit [*.net *.split]
ousado has quit [*.net *.split]
SHODAN has quit [*.net *.split]
Snark has quit [*.net *.split]
Enjolras has quit [*.net *.split]
tianon has quit [*.net *.split]
rj-code has quit [*.net *.split]
sigjuice has quit [*.net *.split]
cow-orker has quit [*.net *.split]
mehdi_ has quit [*.net *.split]
S11001001 has quit [*.net *.split]
cball has quit [*.net *.split]
sgnb has quit [*.net *.split]
averell 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]
struk|desk has quit [*.net *.split]
n1ftyn8_ has quit [*.net *.split]
oldmanistan_ has quit [*.net *.split]
fluter has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
yac 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]
gperetin has quit [*.net *.split]
companion_cube has quit [*.net *.split]
mawuli has quit [*.net *.split]
neferty has quit [*.net *.split]
teiresias has quit [*.net *.split]
swgillespie has quit [*.net *.split]
sternens1emann has quit [*.net *.split]
damason has quit [*.net *.split]
mac10688_ has quit [*.net *.split]
psy has quit [*.net *.split]
zozozo has quit [*.net *.split]
haelix has quit [*.net *.split]
jun_ has quit [*.net *.split]
rbocquet has quit [*.net *.split]
cojy has quit [*.net *.split]
LnL has quit [*.net *.split]
xaimus has quit [*.net *.split]
andreypopp has quit [*.net *.split]
SuperNoeMan has quit [*.net *.split]
sgeisenh has quit [*.net *.split]
profan has quit [*.net *.split]
Lasher` has quit [*.net *.split]
cross has quit [*.net *.split]
seliopou has quit [*.net *.split]
gustav___ has quit [*.net *.split]
pootler has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
maufred has quit [*.net *.split]
tizoc has quit [*.net *.split]
jwatzman|work has quit [*.net *.split]
def` has quit [*.net *.split]
boegel|quassel has quit [*.net *.split]
rks` has quit [*.net *.split]
skeuomorf has quit [*.net *.split]
obadz has quit [*.net *.split]
Muzer has quit [*.net *.split]
noplamodo_ has quit [*.net *.split]
rfv has quit [*.net *.split]
rossberg has quit [*.net *.split]
bitbckt has quit [*.net *.split]
jyc has quit [*.net *.split]
_habnabit has quit [*.net *.split]
__rlp has quit [*.net *.split]
aziem has quit [*.net *.split]
habs has quit [*.net *.split]
rwmjones_afk has quit [*.net *.split]
TallerGhostWalt has quit [*.net *.split]
Mandus has quit [*.net *.split]
ohama has quit [*.net *.split]
vgrbr has quit [*.net *.split]
stomp has quit [*.net *.split]
toomuchtvrotsurb has quit [*.net *.split]
johnf has quit [*.net *.split]
johnelse has quit [*.net *.split]
AlexRussia has quit [*.net *.split]
Soni has quit [*.net *.split]
Bluddy has quit [*.net *.split]
NhanH has quit [*.net *.split]
tg has quit [*.net *.split]
jeroud has quit [*.net *.split]
seako has quit [*.net *.split]
yminsky has quit [*.net *.split]
lopex has quit [*.net *.split]
dch has quit [*.net *.split]
stux|RC-only has quit [*.net *.split]
_2can has quit [*.net *.split]
darius93 has quit [*.net *.split]
thegameg has quit [*.net *.split]
ggherdov has quit [*.net *.split]
papy_ has quit [*.net *.split]
nzyuzin has quit [*.net *.split]
Cypi has quit [*.net *.split]
fold1 has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
cthuluh has quit [*.net *.split]
relrod has quit [*.net *.split]
jimt has quit [*.net *.split]
tnguyen has quit [*.net *.split]
DanielRi1hman has quit [*.net *.split]
hnrgrgr_ has quit [*.net *.split]
haesbaert has quit [*.net *.split]
theblatte has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
ivan\ has quit [*.net *.split]
asmanur has quit [*.net *.split]
gasche_ has quit [*.net *.split]
SomeDamnBody has quit [*.net *.split]
dinosaure has quit [*.net *.split]
cdidd_ has quit [*.net *.split]
pollux has quit [*.net *.split]
Johann has quit [*.net *.split]
dexterph has quit [*.net *.split]
iZsh has quit [*.net *.split]
julienXX has quit [*.net *.split]
sheijk has quit [*.net *.split]
Guest80472 has quit [*.net *.split]
Maelan_ has quit [*.net *.split]
Leonidas_ has quit [*.net *.split]
strmpnk has quit [*.net *.split]
vishesh has quit [*.net *.split]
spacebat has quit [*.net *.split]
brendan has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
chris2 has quit [*.net *.split]
c74d3a4e has quit [*.net *.split]
mietek has quit [*.net *.split]
bbc has quit [*.net *.split]
xificurC has quit [*.net *.split]
jlouis has quit [*.net *.split]
mariusae has quit [*.net *.split]
smondet has quit [*.net *.split]
reynir has quit [*.net *.split]
kalzz has quit [*.net *.split]
infinity0 has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
eikke has quit [*.net *.split]
ygrek has quit [*.net *.split]
Intensity has quit [*.net *.split]
agjohnst1 has quit [*.net *.split]
ski has quit [*.net *.split]
contempt has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
low-prof1 has quit [*.net *.split]
Ravana has quit [*.net *.split]
patronus has quit [*.net *.split]
pikachuyann has quit [*.net *.split]
larhat1 has quit [*.net *.split]
riveter has quit [*.net *.split]
bitemyapp has quit [*.net *.split]
gpietro_ has quit [*.net *.split]
jave has quit [*.net *.split]
hbar has quit [*.net *.split]
mattrepl has quit [*.net *.split]
orbitz has quit [*.net *.split]
Drup has quit [*.net *.split]
iosys has quit [*.net *.split]
w1gz has quit [*.net *.split]
tumdum has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
switchy has quit [*.net *.split]
mal`` has quit [*.net *.split]
struk|work has quit [*.net *.split]
beginner has quit [*.net *.split]