adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
rom1504 has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
<ELLIOTTCABLE> Is there a sanctioned way to create a set of default packages installed automatically every time I create a new switch?
<ELLIOTTCABLE> I could like, `new_switch(){ opam switch create $1 && opam install package package package ;}` or whatever, but I was kinda hoping there was functionality similar to rbenv/nodenv's "default packages/gems" support, et al.
<ELLIOTTCABLE> now that there's per-project/directory switches, I find myself installing the same packages over and over. ocp-browser, merlin, ocamlformat, yadda yadda.
<ELLIOTTCABLE> some could be kept in a global switch with a preferential PATH treatment, but others require that they're compiled on the same OCaml compiler being used in the project, so ...
maximjaffe has quit [Quit: Leaving]
olle has quit [Ping timeout: 248 seconds]
neatonk1 has joined #ocaml
neatonk has quit [Ping timeout: 276 seconds]
neatonk1 is now known as neatonk
glass has joined #ocaml
theglass has quit [Ping timeout: 256 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 264 seconds]
env__ has quit [Ping timeout: 240 seconds]
tormen has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
kvda has joined #ocaml
shw has joined #ocaml
shw has left #ocaml [#ocaml]
unyu has quit [Quit: Reboot.]
env__ has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
kleimkuhler has joined #ocaml
env__ has joined #ocaml
mbuf has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 264 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
glass is now known as theglass
theglass has quit [Changing host]
theglass has joined #ocaml
env__ has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
env__ has quit [Ping timeout: 264 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 268 seconds]
lostman has joined #ocaml
env__ has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
env__ has quit [Ping timeout: 240 seconds]
kvda has joined #ocaml
env__ has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
env__ has quit [Ping timeout: 248 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 244 seconds]
env__ has joined #ocaml
kvda has joined #ocaml
env__ has quit [Ping timeout: 265 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dakk has quit [Remote host closed the connection]
dakk has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 264 seconds]
<discord> <octachron> opam switch export $filename followed by opam switch import $filename?
env__ has joined #ocaml
env__ has quit [Ping timeout: 244 seconds]
env__ has joined #ocaml
<reynir> It seems opam repository is down - I got HTTP 404 after opam update.
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 265 seconds]
env__ has joined #ocaml
zv_ has joined #ocaml
RalfJ has joined #ocaml
env__ has quit [Ping timeout: 265 seconds]
<RalfJ> looks like the opam registory is down entirely? all our CI is failing because it just uninstalls everything. and I am not alone: https://mobile.twitter.com/cmrx64/status/1024458778861686786
env__ has joined #ocaml
env__ has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
TarVanimelde has joined #ocaml
env__ has joined #ocaml
nullifidian__ has joined #ocaml
env__ has quit [Ping timeout: 255 seconds]
nullifidian_ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
kalio has quit [Ping timeout: 256 seconds]
kalio has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
pistachio has quit [Ping timeout: 255 seconds]
env__ has quit [Ping timeout: 240 seconds]
<discord> <rgrinberg> Yeah, it looks like it's down
env__ has joined #ocaml
neatonk has quit [Remote host closed the connection]
env__ has quit [Ping timeout: 245 seconds]
env__ has joined #ocaml
<companion_cube> ELLIOTTCABLE you could keep the file from `switch export` somewhere and `swtich import` it at the beginning?
neatonk has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
quipa has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 276 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
<discord> <bobby> an issue has been opened in https://github.com/ocaml/opam/issues/3489 but no response so far
env__ has joined #ocaml
env__ has quit [Ping timeout: 255 seconds]
quipa has quit [Quit: Leaving]
quipa has joined #ocaml
quipa has quit [Remote host closed the connection]
quipa has joined #ocaml
quipa has quit [Client Quit]
<RalfJ> opam index seems to be fixed
tizoc has quit [Quit: Coyote finally caught me]
maximjaffe has joined #ocaml
maximjaffe has quit [Remote host closed the connection]
quipa has joined #ocaml
env__ has joined #ocaml
<discord> <mseri> It is an issue with the opam repository server
<discord> <mseri> There are workarounds in the corrispondono new issues on the opam-repository repo
<discord> <mseri> I will link them to your issue
* reynir has been building a mirror for the past half hour or so
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
rwmjones|hols is now known as rwmjones
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
catern has quit [Ping timeout: 248 seconds]
CcxWrk has quit [Read error: Connection reset by peer]
Soni has quit [Excess Flood]
env__ has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
Soni has quit [Changing host]
Soni has joined #ocaml
env__ has joined #ocaml
catern has joined #ocaml
jack5638 has quit [Ping timeout: 260 seconds]
CcxWrk has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
zv_ has quit [Ping timeout: 265 seconds]
env__ has joined #ocaml
zv_ has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
leastbit has joined #ocaml
leastbit has quit [Client Quit]
env__ has joined #ocaml
silver has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
<companion_cube> is +S a problem, adrien?
MeiR has joined #ocaml
MeiR has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<MeiR> I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<MeiR> With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<companion_cube> it seems like +S is correlated with absence of spam… :p
<adrien> right
<adrien> yeah, it's very efficient
<companion_cube> the idiots behind these bots probably didn't bother implementing TLS
<adrien> I wanted to test it
<adrien> well
<companion_cube> :DDD
<companion_cube> ok, test conclusive?
<adrien> certificate verification is not perfect
<adrien> and even less with freenode
<adrien> yeah :)
<companion_cube> well you don't need to check certificates to use TLS
<adrien> it is probably done by default
<adrien> but freenode's setup is a bit peculiar
<adrien> so either they're not trying to use tls at all
<reynir> What does +S?
<adrien> or they try and fail doing so
<adrien> (I would have put +S back at once after the spam message but I got network lag)
<adrien> reynir: requires TLS
<reynir> ok
env__ has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
jaar has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 245 seconds]
argent_smith has joined #ocaml
jaar has quit [Remote host closed the connection]
env__ has joined #ocaml
jaar has joined #ocaml
env__ has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
CcxWrk has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
kvda has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
argent_smith has joined #ocaml
mbuf has quit [Quit: Leaving]
argent_smith1 has quit [Ping timeout: 240 seconds]
env__ has quit [Ping timeout: 248 seconds]
<Leonidas> turns out all writing about ocaml has to use this font: https://black-foundry.com/blog/inria-serif-and-inria/
<Drup> "The Inria type system"
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
argent_smith1 has joined #ocaml
<Leonidas> fortunately the font is also from France
argent_smith has quit [Ping timeout: 240 seconds]
env__ has quit [Ping timeout: 244 seconds]
troydm has quit [Ping timeout: 256 seconds]
<discord> <Christophe> I quite like it
Bronsa has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 248 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<discord> <rgrinberg> Soon enough we'll discuss fonts as if they were wines 😄
<Drup> rgrinberg: ... You don't already do that ?
<mrvn> well, I've yet to see a font get better with age.
<Drup> rgrinberg: have you talked to perry yet ? :D
<discord> <rgrinberg> about what? fonts?
<Drup> Yes
<discord> <rgrinberg> I fear that I don't talk about fonts to anybody, Perry included
<discord> <rgrinberg> I'm partial to https://be5invis.github.io/Iosevka/ however
env__ has joined #ocaml
<Drup> irk, too high
<discord> <rgrinberg> coq notations look really good in it
<discord> <rgrinberg> but yeah it's not square enough to be 1337
env__ has quit [Ping timeout: 248 seconds]
Bronsa has joined #ocaml
env__ has joined #ocaml
troydm has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
BitPuffin has joined #ocaml
<steenuil> I use Iosevka for monospace fonts everywhere, it's nice
<steenuil> either that or Fixedsys Excelsior in programs where the font rendering is lacking
env__ has joined #ocaml
<adrien> I need cohttp-lwt-unix *and* a recent lwt; does anyone know if it's possible?
<adrien> (lwt >= 4)
leastbit has joined #ocaml
<Drup> adrien: if opam says it's possible, then it is. Otherwise, it's going to tell you why it's not.
<adrien> ⊘ remove cohttp-lwt-unix 1.0.2 [conflicts with lwt]
env__ has quit [Ping timeout: 240 seconds]
leastbit has quit [Client Quit]
<adrien> I'm wondering if the issue is simply a lack of new cohttp release
nullifidian__ is now known as nullifidian
<adrien> requires new releases for conduit and cohttp
<adrien> opam seems happy after a bit of pinning
<discord> <bobby> seeing the opam file for cohttp-lwt-unix seems like it shouldn't conflict, at least it only conflicts with lwt < 2.5.0
<discord> <bobby> seeing the opam file for cohttp-lwt-unix seems like it shouldn't conflict, at least it only conflicts with lwt < 2.5.0
<adrien> nah, there's something
<adrien> (yay, more network lag)
<adrien> I'm a bit lost in my history now but there's a constraint somewhere
jaar has quit [Remote host closed the connection]
env__ has joined #ocaml
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
<discord> <mseri> cohttp-lwt-unix does not work with lwt 4
<discord> <mseri> the master code has been ported though
<discord> <mseri> according to what we were saying here it probably only needs to be released
neatonk has quit [Ping timeout: 260 seconds]
env__ has quit [Ping timeout: 268 seconds]
silver_ has joined #ocaml
CcxWrk_ has joined #ocaml
CcxWrk has quit [Killed (card.freenode.net (Nickname regained by services))]
CcxWrk_ is now known as CcxWrk
env__ has joined #ocaml
aggelos__ has joined #ocaml
cthuluh_ has joined #ocaml
dmbaturin_ has joined #ocaml
<steenuil> adrien: the version of cohhtp-lwt-unix that's on opam doesn't like the new release of lwt
<adrien> yeah, fortunately, pinning is enough
env__ has quit [Ping timeout: 244 seconds]
CcxWrk has quit [Max SendQ exceeded]
tsani_ has joined #ocaml
silver has quit [*.net *.split]
haesbaer1 has quit [*.net *.split]
rixed has quit [*.net *.split]
remix2000 has quit [*.net *.split]
cthuluh has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
magicbit has quit [*.net *.split]
Patch has quit [*.net *.split]
Madars has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
nore has quit [*.net *.split]
tsani has quit [*.net *.split]
jacobian has quit [*.net *.split]
asm89 has quit [*.net *.split]
rks` has quit [*.net *.split]
env__ has joined #ocaml
CcxWrk has joined #ocaml
env__ has quit [Ping timeout: 245 seconds]
companion_cube has joined #ocaml
asm89 has joined #ocaml
remix2000 has joined #ocaml
remix2000 has joined #ocaml
remix2000 has quit [Changing host]
nore has joined #ocaml
env__ has joined #ocaml
Guest12588 has joined #ocaml
dmbaturin_ is now known as dmbaturin
<discord> <Perry> BTW, to answer a question no one has asked me directly: I haven't tried setting the manual in the "Inria type system" but I am insanely amused. 😃
env__ has quit [Ping timeout: 248 seconds]
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
magicbit has joined #ocaml
CcxWrk has joined #ocaml
mbuf has joined #ocaml
spew has joined #ocaml
neatonk has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
cryptocat1094 has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
<ELLIOTTCABLE> companion_cube: wasn’t aware of export/import
env__ has quit [Ping timeout: 240 seconds]
<ELLIOTTCABLE> companion_cube: also, jfyi incase you have any complaints,
<ELLIOTTCABLE> next up: Sedlex. already halfway there!
<companion_cube> :D
<ELLIOTTCABLE> the runtime complies cleanly; now I have to decide between porting migrate-parsedtree, and having the ppx complie thru JS,
<ELLIOTTCABLE> or just shipping the runtime as bs-sedlex, and shipping cross-compiled binaries as bs-sedlex-ppx@darwin, bs-sedlex-ppx@linux, etc
env__ has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
env__ has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
mbuf has quit [Quit: Leaving]
zv_ has quit [Ping timeout: 265 seconds]
neatonk1 has joined #ocaml
neatonk has quit [Ping timeout: 260 seconds]
neatonk1 is now known as neatonk
env__ has quit [Ping timeout: 248 seconds]
rks` has joined #ocaml
env__ has joined #ocaml
zv_ has joined #ocaml
neatonk has quit [Ping timeout: 256 seconds]
env__ has quit [Ping timeout: 245 seconds]
neatonk has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
<discord> <Kakadu> Is it obvious that this piece of code gives a compilation error? I was pretty suprised about it class ['a] t0 = object end and t1 = object inherit [int] t0 end and t2 = object inherit [string] t0 end
<discord> <Kakadu> Ah, it is probably called regularity again
jaar has quit [Remote host closed the connection]
<discord> <Kakadu> Does it mean that the type 'a t in type 'a t = 'a and b = int t and c = string t is not regular?
jaar has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
<reynir> If I write »class ['a] t0 = object end and t1 = object inherit [int] t0 end« in the toplevel I get back »class ['a] t0 : object constraint 'a = int end and t1 : object end«
reynir is now known as light-green-reyn
light-green-reyn is now known as lightgreenreynir
<discord> <Kakadu> So, it is an example of nonregularity
jaar has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 256 seconds]
kleimkuhler has joined #ocaml
env__ has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
env__ has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
neatonk has quit [Ping timeout: 268 seconds]
bezirg has joined #ocaml
env__ has joined #ocaml
kleimkuhler has joined #ocaml
<Leonidas> steenuil: Yeah, I have created a Stylus script to display Iosevka on GitHub
env__ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sophiag has joined #ocaml
env__ has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
env__ has quit [Ping timeout: 240 seconds]
webshinra has quit [Remote host closed the connection]
quipa has quit [Read error: Connection reset by peer]
quipa has joined #ocaml
env__ has joined #ocaml
neatonk has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
env__ has joined #ocaml
bezirg has quit [Quit: Leaving.]
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
bezirg1 has joined #ocaml
env__ has quit [Ping timeout: 265 seconds]
zolk3ri has quit [Quit: Lost terminal]
env__ has joined #ocaml
zolk3ri has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
ziyourenxiang has quit [Ping timeout: 264 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
jaar has joined #ocaml
env__ has joined #ocaml
lightgreenreynir is now known as reynir
env__ has quit [Ping timeout: 248 seconds]
leastbit has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 268 seconds]
Anarchos has joined #ocaml
sgnb` has joined #ocaml
env__ has joined #ocaml
leastbit has quit [Quit: Mutter: www.mutterirc.com]
mbuf has quit [Quit: Leaving]
cthuluh_ is now known as cthuluh
env__ has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
FreeBirdLjj has quit [Remote host closed the connection]
Anarchos has joined #ocaml
env__ has joined #ocaml
env__ has quit [Ping timeout: 268 seconds]
jaar_ has joined #ocaml
env__ has joined #ocaml
jaar has quit [Ping timeout: 256 seconds]
spew has quit [Ping timeout: 256 seconds]
spew has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
jaar_ has quit [Quit: Leaving]
env__ has quit [Ping timeout: 264 seconds]
neatonk has quit [Ping timeout: 255 seconds]
ratschance has quit [Remote host closed the connection]
ratschance has joined #ocaml
cryptocat1094 has quit [Quit: brb]
env__ has joined #ocaml
<cjd> if you want to -p this channel, there's a voice-bot which will voice people after 30 seconds
cryptocat1094 has joined #ocaml
<cjd> you can `/mode +q *!*@*`, invite/op the bot, and then it'll op people
<cjd> err, voice people :)
<cjd> It doesn't op anyone
env__ has quit [Ping timeout: 268 seconds]
neatonk has joined #ocaml
env__ has joined #ocaml
<companion_cube> is it a freenode bot?
env__ has quit [Ping timeout: 248 seconds]
ygrek has joined #ocaml
webshinra has joined #ocaml
env__ has joined #ocaml
Anarchos has quit [Ping timeout: 240 seconds]
env__ has quit [Ping timeout: 248 seconds]
bezirg1 has quit [Quit: Leaving.]
vladan has quit [Quit: -]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
<benzrf> hey - i'm having this exact issue https://github.com/diml/utop/issues/222 but the person who posted it self-closed after coming to some sort of realization of what the cause was, but i dont understand what they said
<benzrf> can anyone help me?
al-damiri has joined #ocaml
<companion_cube> what's your OCaml version?
silver has joined #ocaml
<benzrf> companion_cube: almost the same as in the issue - 4.06.1
<benzrf> i should mention that i'm using nix for this, for what that's worth
<companion_cube> well, utop 1.19.3 requires OCaml < 4.06
<benzrf> oh :x
<companion_cube> otoh utop 2.2.0 works on 4.06 (for example)
<benzrf> gghhh why is "ocamlPackages_latest" in nix on 1.19.3
env__ has joined #ocaml
<companion_cube> that must be your issue
<companion_cube> (fwiw I use opam, not my distro's package manager)
<benzrf> nix isn't my distro's package manager :>
neatonk has quit [Ping timeout: 240 seconds]
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
<discord> <andreypopp> I think opam2nix runs opam once in a while and "remembers" solved dependency tree, it probably did it in a moment when utop had wrong constraint specified.
<companion_cube> ^
env__ has quit [Ping timeout: 260 seconds]
<benzrf> my issues turned out to be fixed when i updated nixpkgs :>
gareppa has joined #ocaml
env__ has joined #ocaml
neatonk has joined #ocaml
env__ has quit [Ping timeout: 260 seconds]
neatonk has quit [Ping timeout: 248 seconds]
env__ has joined #ocaml
<reynir> \o/
env__ has quit [Ping timeout: 244 seconds]
env__ has joined #ocaml
zv_ has quit [Ping timeout: 260 seconds]
env__ has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
zv_ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 264 seconds]
gareppa has quit [Quit: Leaving]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
env__ has joined #ocaml
neatonk has joined #ocaml
sophiag has quit [Ping timeout: 248 seconds]
env__ has quit [Ping timeout: 248 seconds]
env__ has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 256 seconds]
env__ has joined #ocaml
_andre has quit [Quit: leaving]
env__ has quit [Ping timeout: 240 seconds]
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
env__ has joined #ocaml
argent_smith1 has quit [Ping timeout: 260 seconds]
argent_smith has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
Fare has joined #ocaml
quipa has quit [Quit: Leaving]
<Fare> what's the fastest ocaml http server? or apache/nginx/etc. backend?
<Fare> And how many requests per second can you hope to sustain on a cheap cloud server?
<ZirconiumX> Fare: I don't have performance specs, but probably either ocsigen or something home-brewed with Let.
<ZirconiumX> *Lwt
<ZirconiumX> Thanks autocarrot
<Fare> Also, the TLS certificates on mirage.io are expired or something.
<Fare> should I expect 10 tps? 100? 1000? 10000? 100000? 1000000?
env__ has joined #ocaml
<Fare> my hope is over 10000 on a cheap machine — the C10K problem was solved 10 to 20 years ago in Erlang.
<Drup> Fare: probably httpaf, nowadays
<companion_cube> oh, is httpaf released?
<Drup> no idea
<Drup> companion_cube: it's in opam, so yes
<companion_cube> yeah but it can be alpha or beta quality
env__ has quit [Ping timeout: 240 seconds]
<Fare> Drup, thanks for the tip. I'll look into it.
<Drup> If I'm reading the benchmark in the readme correctly, it's doing around 28k requests/s
env__ has joined #ocaml
cryptocat1094 has quit [Quit: WeeChat 2.2]
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 244 seconds]
argent_smith1 has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
env__ has quit [Ping timeout: 248 seconds]
johnelse has quit [Read error: Connection reset by peer]
Jesin has joined #ocaml
stephe has quit [Read error: Connection reset by peer]
stephe has joined #ocaml
<Fare> Drup, that will do. How do SCGI or FastCGI fare in comparison?
navaja has joined #ocaml
<benzrf> how does printf work
quipa has joined #ocaml
<companion_cube> it's magic! at least the typing part
<benzrf> :|
<companion_cube> tbh it's not that bad
<companion_cube> the compiler knows about a `format6` type (a big honking GADT), which makes stuff typesafe
<companion_cube> then the printer is normal OCaml
<benzrf> :|
quipa has quit [Max SendQ exceeded]
<companion_cube> also, Format.fprintf is awesome
Jesin has quit [Remote host closed the connection]
quipa has joined #ocaml
<Armael> is there something more recent than Olivier Danvy's paper to understand how printf works?
<Armael> (I'm thinking of "Functional Unparsing")
<Armael> you can read this one I think benzrf
<benzrf> ah, ill leave it for later i guess
<companion_cube> benzrf: if you just want to use printf, it's pretty easy
Jesin has joined #ocaml
spew has quit [Disconnected by services]
navaja is now known as spew
env__ has joined #ocaml
argent_smith has quit [Quit: Leaving.]
<Drup> Armael: there is a JFLA paper
<Drup> recent one
<Drup> (I think it doesn't do a very good job, but it exists and it explains a lot of things)
<Armael> ah, "Format unraveled" I assume?
<Drup> Armael: i think so, yes
<Drup> benzrf: just acts like it's the same as C's printf, but typesafe. It'll be sufficient at the beginning
<Armael> so I guess to understand how the basic trick works Danvy's paper is still good
<Drup> benzrf: if you want a tutorial in using printf, http://cedeela.fr/format-all-the-data-structures.html
<Drup> Armael: well, if all you care about is the typing shenanigans, my blog post works
<Drup> but danvy's paper is a classic, and he's very easy to read, so yes, it's a nice introduction
<Drup> It's also a good showcase of how awesome high order functions are
spew has quit [Ping timeout: 244 seconds]
theblatte has quit [Ping timeout: 244 seconds]
theblatte has joined #ocaml
Fare has quit [Ping timeout: 240 seconds]
leastbit has joined #ocaml
leastbit has quit [Client Quit]
leastbit has joined #ocaml
leastbit has quit [Quit: Mutter: www.mutterirc.com]