companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Tuplanolla has quit [Quit: Leaving.]
snowpanda has joined #ocaml
decentpenguin has quit [Quit: ZNC crashed or something]
<d_bot> <JoanThibault> > is LL(0) or LR(0)?
<d_bot> <JoanThibault> @mrvn#0000 how can you parse a word by inductively looking at the 0-th first characters ?
decentpenguin has joined #ocaml
<Drup> in the LL/LR nomenclature, the k designate the *lookahead* beyond the current token. So LR(0) can parse stuff, but it doesn't handle epsilon transitions, so most optional things won't work.
<companion_cube> LR(1) can see 2 tokens, then?
Hrundi_V_Bakshi has quit [Ping timeout: 256 seconds]
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
<d_bot> <jit> I would assume 1 token ahead?
<d_bot> <jit> epsilon transitions in parsers?
<d_bot> <jit> that's definitely interesting
steenuil has quit [Read error: Connection reset by peer]
mxns has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
zebrag has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
inkbottle has quit [Ping timeout: 264 seconds]
mmohammadi9812 has quit [Quit: Quit]
mmohammadi9812 has joined #ocaml
_whitelogger has joined #ocaml
mjsor has joined #ocaml
borne has quit [Ping timeout: 272 seconds]
borne has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
osa1 has joined #ocaml
borne has quit [Ping timeout: 244 seconds]
decentpenguin has quit [Read error: Connection reset by peer]
decentpenguin has joined #ocaml
borne has joined #ocaml
narimiran has joined #ocaml
borne has quit [Ping timeout: 272 seconds]
<d_bot> <ulrikstrid> @Drup if you still want a side project, making tyxml work with @jchavarri's jsoo-react bindings would be very much appreciated
_whitelogger has joined #ocaml
kristjansson has quit [Ping timeout: 264 seconds]
chewbranca has quit [Ping timeout: 246 seconds]
rfv has quit [Ping timeout: 240 seconds]
cemerick has quit [Ping timeout: 260 seconds]
bitonic has quit [Ping timeout: 260 seconds]
metadave has quit [Ping timeout: 260 seconds]
Duns_Scrotus has quit [Ping timeout: 260 seconds]
mjvoge02 has quit [Ping timeout: 260 seconds]
cqc_ has quit [Ping timeout: 260 seconds]
banjiewen_ has quit [Ping timeout: 272 seconds]
cbarrett has quit [Ping timeout: 240 seconds]
kevinsjoberg has quit [Ping timeout: 240 seconds]
jmct has quit [Ping timeout: 240 seconds]
ec has quit [Ping timeout: 240 seconds]
caasih has quit [Ping timeout: 260 seconds]
higherorder has quit [Ping timeout: 260 seconds]
stephe has quit [Ping timeout: 260 seconds]
adrianbrink has quit [Ping timeout: 240 seconds]
mgsk has quit [Ping timeout: 244 seconds]
angerman has quit [Ping timeout: 244 seconds]
conjunctive has quit [Ping timeout: 244 seconds]
SrPx has quit [Ping timeout: 260 seconds]
pmonson has quit [Ping timeout: 260 seconds]
JSharp has quit [Ping timeout: 260 seconds]
wildsebastian has quit [Ping timeout: 260 seconds]
Boarders has quit [Ping timeout: 272 seconds]
rdivyanshu has quit [Ping timeout: 272 seconds]
strmpnk has quit [Ping timeout: 268 seconds]
stylewarning has quit [Ping timeout: 240 seconds]
l1x has quit [Ping timeout: 240 seconds]
jeroud has quit [Ping timeout: 240 seconds]
nullcone has quit [Ping timeout: 264 seconds]
robmyers has quit [Ping timeout: 264 seconds]
lopex has quit [Ping timeout: 244 seconds]
hnOsmium0001 has quit [Ping timeout: 246 seconds]
mrallen1 has quit [Ping timeout: 260 seconds]
sspi__ has quit [Ping timeout: 260 seconds]
ipavlo has quit [Ping timeout: 260 seconds]
adi_________ has quit [Ping timeout: 260 seconds]
bytesighs has quit [Ping timeout: 260 seconds]
cqc_ has joined #ocaml
lopex has joined #ocaml
metadave has joined #ocaml
banjiewen_ has joined #ocaml
robmyers has joined #ocaml
sspi__ has joined #ocaml
strmpnk has joined #ocaml
mrallen1 has joined #ocaml
l1x has joined #ocaml
stephe has joined #ocaml
jeroud has joined #ocaml
mjvoge02 has joined #ocaml
rfv has joined #ocaml
Duns_Scrotus has joined #ocaml
conjunctive has joined #ocaml
wildsebastian has joined #ocaml
JSharp has joined #ocaml
jmct has joined #ocaml
angerman has joined #ocaml
bytesighs has joined #ocaml
nullcone has joined #ocaml
cemerick has joined #ocaml
kristjansson has joined #ocaml
chewbranca has joined #ocaml
kevinsjoberg has joined #ocaml
cbarrett has joined #ocaml
adrianbrink has joined #ocaml
ec has joined #ocaml
mgsk has joined #ocaml
ipavlo has joined #ocaml
caasih has joined #ocaml
Boarders has joined #ocaml
adi_________ has joined #ocaml
rdivyanshu has joined #ocaml
stylewarning has joined #ocaml
hnOsmium0001 has joined #ocaml
bglm[m] has quit [Quit: Idle for 30+ days]
quizzop[m] has quit [Quit: Idle for 30+ days]
talyian[m] has quit [Quit: Idle for 30+ days]
bitonic has joined #ocaml
pmonson has joined #ocaml
SrPx has joined #ocaml
higherorder has joined #ocaml
snowpanda has quit [Quit: Leaving...]
Tuplanolla has joined #ocaml
angerman has quit [Ping timeout: 272 seconds]
JSharp has quit [Ping timeout: 264 seconds]
bytesighs has quit [Ping timeout: 272 seconds]
bitonic has quit [Ping timeout: 272 seconds]
cqc_ has quit [Ping timeout: 272 seconds]
angerman has joined #ocaml
JSharp has joined #ocaml
bytesighs has joined #ocaml
bitonic has joined #ocaml
cqc_ has joined #ocaml
<d_bot> <joris> That is not really a fun side project though is it? :p
<d_bot> <ulrikstrid> Might need some type wizardry and would help a lot of people move away from bucklescript/ReScript
jnavila has joined #ocaml
mxns has joined #ocaml
Boarders has quit [Read error: Connection reset by peer]
mxns has quit [Ping timeout: 246 seconds]
Boarders has joined #ocaml
ipavlo has quit [Read error: Connection reset by peer]
lopex has quit [Read error: Connection reset by peer]
ipavlo has joined #ocaml
lopex has joined #ocaml
<d_bot> <ostera> @ulrikstrid have you seen lwd ?
<d_bot> <Drup> @ulrikstrid it's on the stack, I need to think more about it, it'll be one of the task next time I get around to hacking on tyxml
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
<d_bot> <ulrikstrid> @ostera I have, but I also have reason-react in prod šŸ˜…
osa1 has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 272 seconds]
mmohammadi9812 has joined #ocaml
osa1 has joined #ocaml
osa1 has quit [Client Quit]
osa1 has joined #ocaml
Haudegen has joined #ocaml
mfp has joined #ocaml
<d_bot> <Kakadu> Folks, what is the right way to declare mutuall recursive parsers when parser type is abstract? I'm experimenting with angstrom if it does matter
mmohammadi9812 has quit [Ping timeout: 256 seconds]
mmohammadi9812 has joined #ocaml
narimiran has quit [Ping timeout: 260 seconds]
mmohammadi9812 has quit [Ping timeout: 256 seconds]
mmohammadi9812 has joined #ocaml
<d_bot> <Kakadu> Okay, I almost found a solution
<d_bot> <Kakadu> No, I didn't
<d_bot> <Kakadu> It looks like that other libraries doesn't make parser type abstract and should not have this problem
steenuil has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
waleee-cl has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 268 seconds]
berberman_ is now known as berberman
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
_whitelogger has joined #ocaml
aaaaaa has joined #ocaml
shawnw has joined #ocaml
<d_bot> <steenuil> @Kakadu you might want to use tuples and not lists for defining multiple parsers at once
<d_bot> <steenuil> and in parser combinators recursion is usually implemented using a `fix` combinator
<d_bot> <steenuil> angstrom should probably have it
<d_bot> <steenuil> oh hold on, didn't notice you're already using fix_poly
<d_bot> <steenuil> I'm not very familiar with angstrom but you should switch that with `fix`, probably
neiluj has joined #ocaml
neiluj has joined #ocaml
aaaaaa has quit [Read error: Connection reset by peer]
aaaaaa has joined #ocaml
jbrown has joined #ocaml
<d_bot> <Kakadu> @steenuil I have a feeling that fix is only for single recursive parser, not for mutual reucrsion
aaaaaa has quit [Quit: leaving]
narimiran has joined #ocaml
tane has joined #ocaml
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 264 seconds]
shawnw has quit [Ping timeout: 264 seconds]
mxns has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has quit [Ping timeout: 268 seconds]
<d_bot> <stab> Yeah per the earlier link and discussion of it in the beginners channel http://okmij.org/ftp/Computation/fixed-point-combinators.html#Poly-variadic
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
sagax has quit [Ping timeout: 240 seconds]
ggole has joined #ocaml
<d_bot> <stab> Iā€™m not familiar at all but there was discussion of the topic in the beginners channel recently if u want to scroll back
<d_bot> <Kakadu> I know about it. I actually was the one who first mentioned polyvariadic combinator there
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #ocaml
mxns has joined #ocaml
andreas31 has quit [Ping timeout: 240 seconds]
mxns has quit [Ping timeout: 264 seconds]
osa1 has quit [Quit: osa1]
andreas31 has joined #ocaml
osa1 has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
reynir is now known as reyn1r
bartholin has joined #ocaml
reyn1r is now known as reynir
Hrundi_V_Bakshi has joined #ocaml
bartholin has quit [Client Quit]
<d_bot> <Kakadu> Well, I found a dirty hack bu =t still want a proper solution.
mmohammadi9812 has quit [Quit: Quit]
hnOsmium0001 has joined #ocaml
<d_bot> <Drup> @joris
<d_bot> <Drup> ```
<d_bot> <Drup> % dune exec comp_dfa/comp_dfa.exe -- "(a|b)*c" "abbacbabababbacababz"
<d_bot> <Drup> Result:
<d_bot> <Drup> 0010100011001000100010100011100010
<d_bot> <Drup> Encoded:
<d_bot> <Drup> 1zd1x=0010
<d_bot> <Drup> ```
mxns has joined #ocaml
gareppa has joined #ocaml
<d_bot> <Drup> for now, it's lossless (I haven't written the decompresseur, but everything is preserved). It encodes into base64 .. which might not be the best choice, it should be reasonably easy to change. I'm pretty sure I can improve the bitcode too
gareppa has quit [Remote host closed the connection]
<d_bot> <Drup> It might be interesting to do a lossy version too, which only records the parts that are captured.
mxns has quit [Ping timeout: 240 seconds]
<def> that's funny, but what is the purpose :P ?
<d_bot> <Drup> I was bored x)
mxns has joined #ocaml
mmohammadi9812 has joined #ocaml
amiloradovsky has quit [Ping timeout: 240 seconds]
berberman has joined #ocaml
berberman_ has quit [Ping timeout: 244 seconds]
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
tristanC has quit [Ping timeout: 246 seconds]
tristanC has joined #ocaml
<d_bot> <joris> Oh wow that was fast
<d_bot> <Drup> that's because it's not very good for now šŸ˜„
<d_bot> <Drup> what kind of use case did you have in mind ?
amiloradovsky has joined #ocaml
<d_bot> <joris> This was not what I was thinking about BTW x) the use cases comes from generating an automaton from a dataset. To implement a map
<d_bot> <joris> But now I am curious to know if this could have some use case
<d_bot> <joris> Let me get my 'what if' stupid ideas cap
<d_bot> <joris> To be clear the rust lib gets a key value data set, builds an automaton that recognise all keys and store values in final states
<d_bot> <Drup> ah, you meant like that
<d_bot> <joris> (so basically it is a map but memory use is very low)
<d_bot> <Drup> hmm, I should look that up, I've heard about it but never really looked
<d_bot> <Drup> I mean, prefix trees get you 80% there, but I guess sometimes you want to push further
<d_bot> <joris> This for sure has use case. It is like a trie but better
<d_bot> <joris> Prefix tries are great but for instance urls have lots of commonality in the tail too and they fail at 'compressing that
<d_bot> <joris> Though compressed tries with hash consing could solve that I guess but it looks very tricky to do right
<def> (that's just aho-corasick, no?)
<d_bot> <joris> Hm. Right I guess it is some kind of aho corasick
mxns has joined #ocaml
<d_bot> <joris> Never realized that :o
mxns has quit [Ping timeout: 246 seconds]
<Drup> there are also versions of that for more complicated automatons (register or stack ones), to do some sort of "formal machine learning"
<Drup> I remember seeing a talk about it, I would have to find the papers again
nullcone has joined #ocaml
<mrvn> Unless the automaton folds back on itself because a substrin repeats you will end up with a prefix tree I think.
mmohammadi9812 has quit [Remote host closed the connection]
ggole has quit [Quit: Leaving]
mmohammadi9812 has joined #ocaml
tane has quit [Quit: Leaving]
sonologico has joined #ocaml
mxns has joined #ocaml
Serpent7776 has quit [Quit: leaving]
mxns has quit [Ping timeout: 246 seconds]
narimiran has quit [Quit: leaving]
ski has quit [Remote host closed the connection]
mxns has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
jnavila has quit [Quit: Konversation terminated!]
Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]
Hrundi_V_Bakshi has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
ransom has joined #ocaml
octachron has quit [Ping timeout: 260 seconds]
octachron has joined #ocaml
vesper11 has joined #ocaml
vesper has quit [Ping timeout: 265 seconds]
Tuplanolla has quit [Quit: Leaving.]
neiluj has quit [Remote host closed the connection]