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]
<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
<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]