Writing our own parser in OCaml!

You can see more of our reviews on @ThePrimeTimeagen , where we've been reviewing a bunch of the submissions there. Hope you enjoy the video and let me know what you think :)

### Twitch
We're always live streamin on twitch!

### Links

#ocaml #programming #programminglanguages

[BboyKeny]

"Primeagen abandoned this project" I feel like the word "abandoned" is redundant 🤔😜

[ahuggingsam]

Yes please do a video on Pratt parsing, it's the one thing I feel like I still don't really understand after going through the book.

[NathanHedglin]

Nice! OCaml has a long and glorious history of being used for interpreters and compilers.

[goosechaser]

Yeah I would love a video on Pratt Parsing!

[pesterenan]

Hey TJ! Just here to thank you about the videos on neovim and how to make configure my own 'PDE'! I've since switched to NeoVim and I'm loving it! It's so fun to program in this way, and it's incredible how much of a 'deep dive' videos like this one feel. It's really awesome to understand how a language 'understand' what we type in the screen, haha Keep up this awesome work!!!

[DeanRTaylor]

This is just high quality content, thanks for your effort in putting this together. Looking forward to more.

[antonkavalkou]

Good to have you back on youtube! Love your videos

[williammcenaney]

TJ, you're a great teacher.

There's a C program, called a "link parser" that makes your computer get an English sentence from the user, identify each word's part of speech and diagram. Your computer does much the same thing when it parses a program. It tells the difference between, say, an identifier, a keyword and a literal. You identify "parts of speech" in a program partly because you need to know whether the program's grammar is correct. Do I understand what you taught us TJ?

When I taught programming, I sometimes went into too much detail. So some students said "This is great, but what's it for?"

[nus]

I just started on the Exercism Ocaml track task where you write an interpreter for a (tiny) subset of Forth today. I've done the "Forth (ish)" backend monad and about half of what might qualify as a lexer, and I'll be able to do the parser bit in a slightly less dead ahead idiot monkey way than I'd planned thanks to the 30% of this video I was able to follow. Thanks!

[abombfuenmayor]

Please do a pratt parser, would love that!

[tt.kb_]

Great video!
I just got done with the book in rust and it’s interesting to see how similar our implementations actually look despite being different languages! Ocaml and Rust seem to share a lot of concepts.

[SimGunther]

After looking at the D lang implementation, I can confirm it's a smart language for smart engineers. Not the most simple language out there, but definitely gets the job done.

[frechjo]

That burrito was very yummy, and I liked the explanation very much.
There's just one thing I don't get. Wouldn't exceptions do exactly that: bubble up when not handled? What's the point of this monadic thingy? I assume it enables some different handling of errors, and I'm curious to see how it's used differently than exceptions.

[Tobsson]

You really seem like the nicest dude ever. Thank you for all you do for the community. Kickstarter for nvim really helped me out and I added some features and key binds to it just by going through the init file with the comments and looking on how it's done before. Just amazing! I just wish you had the time to do more youtube content.

[DidiBear]

"Monads by the way, they are burrito." changed my life

[TayTayChan]

Very interesting. Definitely interested to see more deep dives of this. I would join the stream, but try as I might, they are not for me

[NoahBogart]

Thanks for the great video. Do you have this hosted some place? I'd love to read through the code.

[lpanebr]

Ah! 15:48 is that peek where you're using angstrom?

[dmytroparfeniuk]

Well. Really nice. Another question. Which font do you use :)
Thanks!

[MaxHaydenChiz]

Your code looks really good. I thought you were pretty new to OCaml. How'd you get so fluent so quickly?