two_wheels has quit [Remote host closed the connection]
zolk3ri has quit [Remote host closed the connection]
amiloradovsky has quit [Ping timeout: 245 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 244 seconds]
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
two_wheels has joined #ocaml
two_wheels has quit [Ping timeout: 244 seconds]
kvda has joined #ocaml
zolk3ri has joined #ocaml
analogue has quit [Quit: Leaving]
analogue has joined #ocaml
malina has joined #ocaml
analogue has quit [Quit: Leaving]
analogue has joined #ocaml
malina has quit [Remote host closed the connection]
vicfred has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
Jeanne-Kamikaze has quit [Ping timeout: 245 seconds]
analogue has quit [Quit: Leaving]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 268 seconds]
malina has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Client Quit]
kvda has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
gravicappa has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 244 seconds]
EmeraldMoon has joined #ocaml
EmeraldMoon has quit [Remote host closed the connection]
narimiran has joined #ocaml
Skaterhaym has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bitwinery has quit [Ping timeout: 244 seconds]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Skaterhaym has quit [Read error: Connection reset by peer]
kvda has joined #ocaml
Skaterhaym has joined #ocaml
Skaterhaym has quit [Client Quit]
mbuf has joined #ocaml
bitwinery has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
sagax has quit [Read error: Connection reset by peer]
ruffy_ has quit [Quit: WeeChat 2.5]
Haudegen has joined #ocaml
vicfred has quit [Quit: Leaving]
ziyourenxiang_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
ziyourenxiang_ has quit [Remote host closed the connection]
ziyourenxiang_ has joined #ocaml
ygrek has joined #ocaml
barockobamo has joined #ocaml
<Fardale_>
_y: did you try the windows installer?
mbuf has quit [Ping timeout: 245 seconds]
mbuf has joined #ocaml
freyr69 has joined #ocaml
mbuf has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
bartholin has quit [Remote host closed the connection]
mbuf has quit [Ping timeout: 245 seconds]
picolino has quit [Ping timeout: 245 seconds]
mbuf has joined #ocaml
picolino has joined #ocaml
ggole has joined #ocaml
bitwinery has quit [Quit: Leaving]
sagax has joined #ocaml
mbuf has quit [Ping timeout: 264 seconds]
mbuf has joined #ocaml
mfp has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
something-else has joined #ocaml
<something-else>
Hello, I have a functor in one file and usages of it in other cases. How do I not have very large .mli files resulting from this functor usage? I can do module something = other_thing in a .mli files is there another way for modules that result from functors?
<octachron>
You can define a module type for functor result in the functor file, then when you use the functor you can refine this module type to get the exact type. Typically, with the Map functor in the stdlib, you get something like `module M: Map.S with type key = specialized_key_type`
picolino has quit [Ping timeout: 246 seconds]
Haudegen has quit [Quit: Bin weg.]
<adrien>
morning
<something-else>
morning
<adrien>
why does ppxlib and ppx_driver conflict (on opam)?
kakadu has joined #ocaml
picolino has joined #ocaml
<adrien>
ah, I guess that since the former has bene merged into the latter, there are file conflicts
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
malina has quit [Ping timeout: 246 seconds]
ravenousmoose has joined #ocaml
<something-else>
hi octachron, is there an alternative as it seems this requires making a new module type when there would be an inferred one from the functor result?
ravenousmoose has quit [Ping timeout: 252 seconds]
kvda has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 244 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zolk3ri has joined #ocaml
malina has joined #ocaml
pierre_ has joined #ocaml
Haudegen has joined #ocaml
pierre_ has quit [Quit: Leaving]
<octachron>
something-else, I am not sure to follow you: if you want to have readable signature, you need to name the useful module types at some point.
ziyourenxiang_ has quit [Ping timeout: 268 seconds]
ziyourenxiang has joined #ocaml
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
apostolis has joined #ocaml
<apostolis>
Is there a way to have force recompute a lazy expression?
apostolis has quit [Quit: WeeChat 2.3]
apostolis has joined #ocaml
ravenousmoose has joined #ocaml
<def`>
No
<def`>
Make it a function if you want to recompute
<apostolis>
def` : That is the problem. I can't do that.
<apostolis>
I am trying to do this with a tool, and I cannot detect when I should introduce an argument.
<apostolis>
or not.
ravenousmoose has quit [Ping timeout: 250 seconds]
<def`>
A the same place where you introduce the lazy, you could instead put fun () ->
narimiran has quit [Read error: Connection reset by peer]
<apostolis>
def` : I need to think of it with a clearer head, maybe I can't use lazy either.
narimiran has joined #ocaml
cthuluh has quit [Ping timeout: 244 seconds]
cthuluh has joined #ocaml
two_wheels has joined #ocaml
malina has quit [Ping timeout: 268 seconds]
vicfred has joined #ocaml
two_wheels has quit []
rosterok has joined #ocaml
jao has joined #ocaml
spew has joined #ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
user___ has joined #ocaml
zolk3ri has joined #ocaml
analogue has joined #ocaml
AtumT has joined #ocaml
freyr69 has quit [Remote host closed the connection]
analogue has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 244 seconds]
haskell_enthusia has quit [Quit: WeeChat 1.4]
haskell_enthusia has joined #ocaml
barockobamo has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
<something-else>
octachron No worries, I was looking for something that did not exist. Thank you.
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
kakadu_ has joined #ocaml
<octachron>
something-else, if you have a precise example I could look at it, but normally having an explicit module types is nearly as compact as keeping the infered type in the mli (it is mostly just moving some signature around), but it makes it possible to have compact signature when using the functor.
<something-else>
I realised that later when I re-read the standard library, this is a more OCaml way of doing things.
kakadu has quit [Ping timeout: 246 seconds]
something-else has quit [Remote host closed the connection]
nullifidian__ is now known as nullifidian
ziyourenxiang has quit [Ping timeout: 246 seconds]
<cemerick>
(obviously a grossly-simplified case completely divorced from the motivating use case, etc)
<apostolis>
Is this expression wrong or what? : Lwt.return (print_endline "string")
<apostolis>
Due to strict evaluation, print_endline will be called first. So , I should use the primitives that Lwt is giving me and not the ones from the standard library.
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
<ggole>
cemerick: I'm pretty sure you need GADTs for locally abstract types to be useful in that way
<cemerick>
Yeah, so I feared
gareppa has joined #ocaml
gravicappa has quit [Ping timeout: 264 seconds]
rosterok has quit [Quit: Connection closed for inactivity]
gareppa has quit [Quit: Leaving]
jnavila has joined #ocaml
vicfred has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
user___ has quit [Ping timeout: 244 seconds]
Serpent7776 has joined #ocaml
apostolis has quit [Quit: WeeChat 2.3]
amiloradovsky has joined #ocaml
vesper11 has quit [Ping timeout: 245 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 268 seconds]
analogue has joined #ocaml
ggole has quit [Quit: Leaving]
kakadu has joined #ocaml
vesper11 has joined #ocaml
bartholin has joined #ocaml
olle has joined #ocaml
<olle>
does anyone know about a web article extraction library to ocaml?
<olle>
or alternatively, java-to-ocaml transpiler.
<olle>
"boilerpipe" or whatever
<olle>
also, did dune replace opam or ocamlbuild?
<kakadu>
ocamlbuild
<olle>
kakadu: ok
analogue has quit [Ping timeout: 246 seconds]
<olle>
hm, didn't find any readability lib for ocaml, only php and java (and possibly other langs)
amiloradovsky has quit [Ping timeout: 245 seconds]
Hrundi_V_Bakshi has joined #ocaml
narimiran has quit [Ping timeout: 258 seconds]
Serpent7776 has quit [Quit: leaving]
malina has joined #ocaml
jnavila has quit [Remote host closed the connection]
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 245 seconds]
kakadu_ has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
<companion_cube>
Leonidas: hey, I saw you're also interested in ocaml-redis
<companion_cube>
(or were)
keep_learning has quit [Remote host closed the connection]
dr_toboggan has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
olle has quit [Ping timeout: 244 seconds]
kakadu_ has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]
Haudegen has quit [Ping timeout: 244 seconds]
rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]