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
orbifx has quit [Ping timeout: 240 seconds]
omarramo has joined #ocaml
assemblyman has quit [Quit: ™]
<cemerick> speaking of yojson, it is documented as offering a `show`, but doesn't actually?
omarramo has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 250 seconds]
<cemerick> oh, show and pp were just added, just needed to upgrade
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
marsam has joined #ocaml
silver has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
mhcat has joined #ocaml
marsam has quit [Ping timeout: 272 seconds]
carlosdagos has joined #ocaml
tormen has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
tormen_ has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
notzmv has joined #ocaml
abcxyz[m] has left #ocaml [#ocaml]
mhcat has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Read error: Connection reset by peer]
iovec has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
pzp has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
wilfredh has quit [Quit: Connection closed for inactivity]
themsay has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
themsay has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
cobreadmonster has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
gravicappa has joined #ocaml
Spetznaz_ has quit [Ping timeout: 268 seconds]
ravenousmoose has joined #ocaml
pierpal has joined #ocaml
mfp has joined #ocaml
bartholin has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
cobreadmonster has quit [Quit: Connection closed for inactivity]
ravenousmoose has joined #ocaml
ravenous_ has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
<Leonidas> companion_cube: doesn't notty work as a lambda-term replacement?
<Leonidas> cmk_zzz: ^
<Leonidas> cemerick: update to 1.6.0
orbifx has joined #ocaml
ravenous_ has quit [Quit: Taking a quick nap...ZZzzz]
ravenousmoose has joined #ocaml
<Drup> Leonidas: notty is not updated, missing lot's of feature, and not portable to windows
<Drup> It might have become something with more work, but in the current state, no, it's not a valid replacement
freyr69 has joined #ocaml
aecepoglu[m] has left #ocaml [#ocaml]
freyr69 has quit [Quit: ERC (IRC client for Emacs 26.1)]
aecepoglu[m] has joined #ocaml
kakadu has joined #ocaml
freyr69 has joined #ocaml
<freyr69> Is 4.08 at hand? Is there any approximate release date?
<orbifx> what's pushing you to 4.08?
<Armael> 4.08 has been frozen so I guess a beta is coming soon
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
asymptotically has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
Haudegen has joined #ocaml
<freyr69> Basically let operators
carlosdagos has quit [Quit: Connection closed for inactivity]
ravenousmoose has joined #ocaml
steenuil_ has joined #ocaml
steenuil has quit [Ping timeout: 246 seconds]
<orbifx> freyr69: let operators? link please?
ravenous_ has joined #ocaml
themsay has quit [Ping timeout: 245 seconds]
themsay has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
<orbifx> freyr69: thanks, that's cool
ravenousmoose has joined #ocaml
ravenous_ has quit [Ping timeout: 250 seconds]
ravenous_ has joined #ocaml
ravenous_ has quit [Client Quit]
ravenousmoose has quit [Ping timeout: 252 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
ravenousmoose has joined #ocaml
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
aecepoglu[m] has left #ocaml ["User left"]
aecepoglu[m] has joined #ocaml
<aecepoglu[m]> Hey Leonidas , I guess my setup works now
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
notzmv has quit [Ping timeout: 250 seconds]
aecepoglu has joined #ocaml
<aecepoglu[m]> or not
aecepoglu has quit [Client Quit]
silver has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
omarramo has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
danielh1234 has joined #ocaml
<cemerick> some pretty wild syntax suggestions in that monadic let PR!
Haudegen has joined #ocaml
jao has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
asymptotically has quit [Quit: Leaving]
lorp has quit [Quit: Leaving]
spew has joined #ocaml
freyr69 has quit [Remote host closed the connection]
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #ocaml
mildtaste has left #ocaml [#ocaml]
twopoint718 has joined #ocaml
FreeBirdLjj has joined #ocaml
zolk3ri has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
danielh1234 has quit [Quit: Konversation terminated!]
ziyourenxiang has quit [Ping timeout: 246 seconds]
bugabinga has joined #ocaml
ravenousmoose[aw has joined #ocaml
ravenousmoose[aw has quit [Client Quit]
rymdhund has joined #ocaml
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jaar has joined #ocaml
ollehar has quit [Remote host closed the connection]
<Leonidas> aecepoglu[m]: I do see your message
<Leonidas> Drup: what is windows?
<Leonidas> I thought windows now comes with a proper OS?
<orbifx> does it?
<jgkamat> I think windows is just solaris if you look through it
<orbifx> hahaha
<orbifx> and have taken some very powerful drug :)
omarramo has quit [Ping timeout: 250 seconds]
ravenousmoose has joined #ocaml
orbifx has quit [Quit: WeeChat 2.3]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
jaar has quit [Quit: Leaving]
ravenousmoose has joined #ocaml
marvin2 has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
Serpent7776 has joined #ocaml
NaN has joined #ocaml
NaN has left #ocaml [#ocaml]
TheLemonMan has joined #ocaml
jnavila has joined #ocaml
ravenousmoose[aw has joined #ocaml
ravenousmoose[aw has quit [Client Quit]
twopoint718 has joined #ocaml
layeredeggplant has quit [Quit: bye]
ostera1974 has joined #ocaml
ravenousmoose[aw has joined #ocaml
ravenousmoose[aw has quit [Client Quit]
jao has quit [Disconnected by services]
jao has joined #ocaml
twopoint718 has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
<cemerick> Drup: I keep running into you :-P https://github.com/ocaml/ocaml-re/issues/59
ravenousmoose has joined #ocaml
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
<Drup> cemerick: hii *wave hand*
<cemerick> making that happen is of great interest to me. I've done splittable/resumable regex impls, and would like to not do so again
<cemerick> though it sounds like the objective there isn't quite reaching for splittable state, just resumable
<Drup> what's your exact objective ?
<cemerick> "regular" incremental matching (called streaming here, I guess), but also the ability to split/clone the state so matching can be restarted from any point
<Drup> hmm
<Drup> You want real incremental matching, not just Re.all, right ?
<cemerick> e.g. get a partial match on 'abc', take a clone of the resulting state (however many times as needed, depending on how "wide" the input "tree" happens to be), and run from there
omarramo has joined #ocaml
<Drup> Right
<Drup> doing that in Re would be tricky
<cemerick> so `Re.all` looks like it yields all of the matches in a single string?
<Drup> Yeah
<cemerick> yeah, that's not what I'm after
<Drup> right
ostera1974 has quit [Ping timeout: 250 seconds]
<Drup> so, if you are looking for a short term solution, hacking sedlex to get you what you want will be much faster
<Drup> what's your use case for reifying the matcher's state ?
<cemerick> interesting...but that seems like a separate category, pushing the match specification into code. The patterns I want to match over are coming from users, so the typical runtime pattern compilation of regexes is appropriate
<Drup> oh, alright, so sedlex doesn't work for that indeed
omarramo has quit [Read error: Connection reset by peer]
gravicappa has quit [Ping timeout: 240 seconds]
<cemerick> Drup: the use case is (potentially) exhaustively searching for matching text in multiple directions (i.e. from a two-dimensional non-plain-text document)
<Drup> okaay
<cemerick> heh
<cemerick> I was expecting to just have to roll my usual half-baked regex impl, but I'd be happy to help with ocaml-re in this department if it's a fit
<Drup> it might
<Drup> you can take a shot
Spetznaz_ has joined #ocaml
<Drup> you'll find the code of Re ... interesting
TheLemonMan has quit [Ping timeout: 250 seconds]
<cemerick> hah
ravenousmoose has joined #ocaml
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
<cemerick> mmm, PCRE2 supports this straightforwardly
mhcat has joined #ocaml
<companion_cube> cemerick: so does containers#master solve the perf degradation?
<cemerick> companion_cube: yeah! Sorry if you missed my report from yesterday?
<companion_cube> I just got "full of good news" without other details :D
<cemerick> heh, sorry for not being clear then
<cemerick> yes, exactly the same outcome as using Monomorphic.Float, i.e. maybe 5% better than polymorphic ops
<companion_cube> well I want the crunchy details :D
<companion_cube> nice.
<cemerick> companion_cube: this was the last benchmarking I did: https://gist.github.com/cemerick/7beaf7006b050d4358c302ec8b21d16d
Haudegen has quit [Remote host closed the connection]
<companion_cube> ✔
<companion_cube> well thanks for the bug report.
TheLemonMan has joined #ocaml
TC01 has quit [Ping timeout: 246 seconds]
keep_learning has quit [Quit: Ping timeout (120 seconds)]
TC01 has joined #ocaml
<cemerick> Drup: you weren't kidding re: -re 🤨
<Drup> ahah, you don't like the code ? :)
<companion_cube> -re?
<cemerick> ocaml-re
<cemerick> Drup: if I develop enough context, it'll probably be great. Skimming it now, it _almost_ looks generated.
<companion_cube> ah, is it that ugly? except for the matching code I mean
<Drup> the matching code is slightly demented
<companion_cube> but it's not so much the code as the algorithm itself, right?
<Drup> both? :D
<cemerick> I think I might be better off rolling PCRE2 bindings than trying to offer a pretty delicate PR on -re
<Drup> cemerick: do you want some litterature to help ?
<Drup> there are pcre2 bindings already
<cemerick> Drup: besides https://github.com/mmottl/pcre-ocaml ? That's PCRE (1)
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<Drup> Ah, so there are bindings to pcre1 and re2, unfortunately, that doesn't compose :D
<cemerick> re2?
<Drup> google's library
<Drup> I do not now if it has reified state
<cemerick> it doesn't, and doesn't support partial matching in any case
<Drup> I'm not surprised
<Drup> it goes a bit against online determinisation
<cemerick> its objective is safety, so it's never going to be "feature-rich" relative to the PCRE hairball :-D
ravenousmoose[aw has joined #ocaml
ravenousmoose[aw has quit [Client Quit]
pepesza has quit [Ping timeout: 240 seconds]
pepesza has joined #ocaml
rymdhund has quit [Ping timeout: 246 seconds]
klntsky has quit [Ping timeout: 256 seconds]
eagleflo has quit [Ping timeout: 272 seconds]
klntsky has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
iovec has quit [Ping timeout: 252 seconds]
iovec has joined #ocaml
Serpent7776 has quit [Quit: leaving]
kakadu_ has quit [Remote host closed the connection]
silver_ has joined #ocaml
silver has quit [Ping timeout: 245 seconds]
ravenousmoose has joined #ocaml
ravenousmoose is now known as ravenousmoose[aw
ravenousmoose[aw has quit [Client Quit]
spew has quit [Quit: Connection closed for inactivity]
eagleflo has joined #ocaml