companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.3.0 released: https://ocaml.org/releases/5.3.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
mange has joined #ocaml
<discocaml> <contificate> Nystrom is describing a Pratt parser in his book (for expressions, that is). He embellishes the idea, the core idea is very simple - as presented by Pratt himself
<companion_cube> like it or not, his writing seems widely appreciated :)
hazelmeow has quit [Remote host closed the connection]
agentcasey has quit [Ping timeout: 248 seconds]
<discocaml> <yawaramin> if anyone can point me to a simpler explanation of the idea, that would be great
<discocaml> <yawaramin> i'm not married to this one
hazelmeow has joined #ocaml
agentcasey has joined #ocaml
<discocaml> <Jay> Hi everyone! Is there a way to try MacoCaml (experimental meta programming for OCaml)?
<discocaml> <eval.apply> see instructions here https://github.com/modular-macros/modular-macros-opam
casastorta has quit [Ping timeout: 252 seconds]
casastortaAway has quit [Quit: ZNC 1.10.1 - https://znc.in]
humasect has quit [Remote host closed the connection]
casastorta has joined #ocaml
casastortaAway has joined #ocaml
<discocaml> <Jay> Awesome 🤩 Thanks a lot!!
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
humasect has joined #ocaml
humasect has quit [Ping timeout: 245 seconds]
humasect has joined #ocaml
humasect has quit [Ping timeout: 265 seconds]
j0lol has quit [Remote host closed the connection]
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #ocaml
j0lol has joined #ocaml
casastortaAway has quit [Ping timeout: 252 seconds]
Frostillicus has quit [Ping timeout: 245 seconds]
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #ocaml
Serpent7776 has joined #ocaml
casastortaAway has joined #ocaml
bartholin has joined #ocaml
Haudegen has joined #ocaml
beo has quit [Ping timeout: 260 seconds]
beo has joined #ocaml
casastorta has quit [Ping timeout: 252 seconds]
casastortaAway has quit [Quit: ZNC 1.10.1 - https://znc.in]
Tuplanolla has joined #ocaml
casastorta has joined #ocaml
casastortaAway has joined #ocaml
Frostillicus has joined #ocaml
casastorta has quit [Ping timeout: 276 seconds]
dhil has joined #ocaml
Frostillicus has quit [Ping timeout: 248 seconds]
casastorta has joined #ocaml
pi3ce has joined #ocaml
Frostillicus has joined #ocaml
olle has joined #ocaml
spynxic has quit [Read error: Connection reset by peer]
spynxic has joined #ocaml
spynxic has quit [Remote host closed the connection]
casastortaAway has quit [Ping timeout: 260 seconds]
spynxic has joined #ocaml
Anarchos has joined #ocaml
spynxic has quit [Read error: Connection reset by peer]
casastorta has quit [Quit: ZNC 1.10.1 - https://znc.in]
spynxic has joined #ocaml
casastorta has joined #ocaml
spynxic has quit [Read error: Connection reset by peer]
casastortaAway has joined #ocaml
spynxic has joined #ocaml
<discocaml> <contificate> @companion_cube I think his book is a good start for a certain class of beginner
<discocaml> <contificate> He just embellishes the Pratt parsing concept with OOP-inspired software engineering idioms - which can cloud the core concept. He also was rather dismissive of Pratt's paper, going as far as to blog about it and misrecall the names of concepts from it (refers to null denotation as "null denominator")
<discocaml> <contificate> @yawaramin I have a really bad video on YouTube about Pratt parsing - it's done in imperative style OCaml. I apparently speak very fast so it's perhaps not the highest quality resource. That said, I think the presentation is faithful to Pratt's paper
<discocaml> <CCCube> Matklad has a blog post about it too iirc
<discocaml> <contificate> his article is pretty decent - I think I reverse engineered a Python program to learn it, then just read Pratt's paper
spynx has joined #ocaml
spynxic has quit [Ping timeout: 260 seconds]
<Anarchos> do you talk about the knuth-morris-pratt algorithm ?
casastortaAway has quit [Ping timeout: 272 seconds]
<discocaml> <contificate> no, we're talking about Pratt's algorithm for parsing expressions ("top down operator precedence parsing")
Frostillicus has quit [Read error: Connection reset by peer]
casastortaAway has joined #ocaml
Frostillicus has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
mange has quit [Quit: Zzz...]
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
johnridesabike has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
toastal has left #ocaml [#ocaml]
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
Haudegen has joined #ocaml
spynx is now known as spynxic
toastal has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
inline has quit [Ping timeout: 260 seconds]
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
<discocaml> <yawaramin> i'm just porting Nystrom's lexing and parsing chapters into idiomatic OCaml style right now
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
toastal has quit [Quit: Gateway shutdown]
toastal has joined #ocaml
toastal has quit [Client Quit]
bibi_ has joined #ocaml
casastortaAway has quit [Ping timeout: 265 seconds]
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
olle has quit [Ping timeout: 248 seconds]
casastortaAway has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
<discocaml> <otini_> let me try to revive this…
dhil has quit [Ping timeout: 252 seconds]
wickedshell has quit [Ping timeout: 265 seconds]
companion_cube has quit [Ping timeout: 252 seconds]
companion_cube has joined #ocaml
Frostillicus has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
humasect has joined #ocaml
Haudegen has joined #ocaml
casastortaAway has quit [Ping timeout: 260 seconds]
euphores has joined #ocaml
casastortaAway has joined #ocaml
euphores has quit [Client Quit]
euphores has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
agentcasey_ has joined #ocaml
agentcasey has quit [Ping timeout: 272 seconds]
Frostillicus has joined #ocaml
gwizon has joined #ocaml
gwizon is now known as lowdown
lowdown has quit [Client Quit]
gwizon has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
casastortaAway has quit [Ping timeout: 260 seconds]
Frostillicus has joined #ocaml
casastortaAway has joined #ocaml
wickedshell has joined #ocaml
euphores has quit [Ping timeout: 252 seconds]
Frostillicus has quit [Ping timeout: 252 seconds]
humasect has quit [Read error: Connection reset by peer]
humasect has joined #ocaml
Frostillicus has joined #ocaml
birle has joined #ocaml
ygrek has joined #ocaml
Frostillicus has quit [Ping timeout: 248 seconds]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 248 seconds]
Mister_Magister_ has joined #ocaml
Mister_Magister has quit [Ping timeout: 276 seconds]
Mister_Magister_ is now known as Mister_Magister
Serpent7776 has quit [Ping timeout: 252 seconds]
johnridesabike has quit [Quit: johnridesabike]
Exa has quit [Quit: see ya!]
gebn has quit [Ping timeout: 276 seconds]
Exa has joined #ocaml
Frostillicus has joined #ocaml
gebn has joined #ocaml
mange has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
bartholin has quit [Remote host closed the connection]
Frostillicus has quit [Read error: Connection reset by peer]