Writing an interpreter... in OCaml?!?

[@ameenkhieredeen6663]

I love OCaml, would be great if you made an OCaml course or tutorials would definitely watch them.

[@teej_dv]

awesome! I'm considering how to do it. thanks for the feedback :)

[@jsonkody]

Me too

[@tjfreak12]

Here is a great playlist for learning ocaml. kzbin.info/aero/PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU&si=WbnPg2gbb8qZnCuo

[@Ytuserqf]

@@teej_dvhave you done it?

[@tini_]

Tom is a genius!

[@tapu_]

JDSL is the best language ever.

[@teej_dv]

oh no, the meme is spreading. it's broken containment from the degen army

[@londospark7813]

@@tapu_ Aren't you supposed to JDeez Nuts?

[@leonvolq6179]

Everyone in twitch programming knows the joke by now

[@georgecop9538]

​@@tapu_ until you add code comments, but yeah, genius.

[@JakobKenda]

Yes, definitely do more of this. I don't think we need a full OCaml course, just learning alongside you explaining code is enough I think.

[@teej_dv]

cool :) we'll at least start with just "learn ocaml through seeing this code" i think

[@bayrockdev]

Keep these coming, OCaml has been my language of choice recently and deserves attention.

[@Blure]

Thanks for the video TJ. Could you please share your ocaml setup for neovim? Mine is not showing type hints like yours. Thanks :)

[@maleldil1]

Please keep these coming! I've done the book in Go, so seeing a different way will be interesting. I can already see how much better pattern matching is compared to type switching on interfaces in the original. OCaml is a language that I used to be interested in (as a middle ground between Rust and Haskell), but I got put off by how inconsistent the community is. I can see it being useful for cases like this, where you likely don't need much outside of the core language.

[@industry_std]

When I discovered pattern matching with Elixir my mind was blown... and yet this looks even 'cuter'

[@lillyschwarz5295]

you're literally saving me and my bachelor thesis xD

[@gokukakarot6323]

Thank god for your existence, I was looking for any project to do with ocaml, I was just getting bummed out. Hoping this is going to become neorust.

[@pharmajoe990]

This is great, I’ve only ever heard of ocaml previously. Will have to have a play around, cheers

[@teej_dv]

sweet :) I hope you enjoy it! I'm having a lot of fun

[@draakisback]

I love Ocaml, glad you decided to make a video on it. I know you're pretty hot on the language also but obviously it's not as popular as say rust for example. I'm looking forward to the opam Windows release since I do most of my development on Windows. Fortunately in the meantime we have DKML which is pretty fantastic.

[@rac116]

Functional programming! 🎉

[@Honken]

Subscribing for OCaml content! One of the nicest programming languages in existence.

[@rickdg]

Nice to see your first ocaml my caml video. If you can find a way to have your green screen a little further back, you can probably prevent the green reflection that its casting on your head.

[@imhassane]

Learnt it in my second year of university, couldn’t understand this language at the time but this code looks beautiful

[@orbital1337]

OCaml is pretty nice - especially for this kind of stuff! I've used it a bit in the past for automated reasoning & formal verification type work.

[@WillEhrendreich]

Great stuff, love it.

[@rahuldevstech]

OCaml, my Caml! But, seriously: even more OCaml curious now. Thanks for sharing!

[@teej_dv]

well hopefully next few videos will convince you even more!

[@TerryDellino]

I’m enjoying these Ocaml videos! I have always loved functional programming languages, but never got into Ocaml. I need to give it another look. Pattern matching makes code really easy to reason about IMO

[@pedrosaraiva1930]

15 years ago at my university class we were assigned to build a interpreter in OCaml and Prolog

[@mattinykanen4780]

My own Master's final programming project was to implement a compiler whose (i) source language was Prolog extended with certain features which come in handy when you are writing compilers in Prolog (ii) object language was standard Prolog (iii) implementation language was... Prolog, of course.

[@arisweedler4703]

this is awesome. Would love to see more of this

[@tyrox9]

Really liked the video, what i would like to see is how to use dune/run tests or an explanation on how to use modules. I tried to read the documentation and i could not figure this things out.

[@tavin136]

I'll [[likely]] save this for later.

[@tofuman9526]

Yes yes, it’s fun to watch OCaml lang used to make something interesting like this. Would love to see an API development or something too

[@fredericchopin255]

Wow! We do ocaml in france and i had a project for writing mini compiler of java using ocaml

[@charstringetje]

Any curried ML language is nice, and Rok too (even though it doesn't curry functions by default). With OCaml I just had to get used to the French ordering of product types: `int list` instead of `List Int`. French acronyms can be confusing in the same way.

[@TayTayChan]

Long overdue video, Teej! I knew you were doing some OCaml and got curious, but try as I might I'm not made for watching live streams. Interesting implementation, would love to see more. I did some ML back in the day, so it's not completely alien.

[@AndreiDim]

keep it up with ocaml videos 👍

[@teej_dv]

will do!

[@pauloffborba]

This remember the Elixir code 👏🏻👏🏻 Great video!

[@un9286]

I would actually like some tutorial in how to make the Ocaml lsp work in nvim

[@AlleBalle54]

great video, the mattern matching looks very intressting and think I would've loved it for a use case I had the other day

[@xtsxo9872]

great video! really interested to see more ocaml

[@nemartin1]

Subscribed just for the future OCaml videos.

[@shivisuper91]

More functional programming please! Also, did you create your own plugin to show type hints for each function or there's an existing plugin for it?

[@lpanebr]

10:13 oh I see it! I see the angstrom pattern matching there! Right? Interesting!

[@AXYGaming]

Ocaml has built in support for lexing and parsing with .mll and .mly extensions with ocamllex and ocamlyacc respectivly

[@RoccoGhielmini]

Love it love it!! Keep going

[@ercpereda]

That was awesome! Can you share the resources do you use to learn OCaml?

[@teej_dv]

Mostly: 1. Reading the official docs from ocaml.org 2. Starting to build things :) also, asking friends in discord / twitch / etc.

[@marcusrehn6915]

Seems really cool, would love to see other examples! A bit curious about the performance, but mostly really curious about the ecosystem. Is there a package manager that people actually use and are there implementations for graphl and grpc as well as the most common databases?

[@The45DegreesProject]

This is cool. First time I see OCaml and sort of get what is going on :D

[@The45DegreesProject]

I’d love to see more on OCamls type system and how modules/functors work

[@coptan99]

Which theme do you use?

[@diegolikescode]

waiting for the playlist, babie!

[@alphabitserial]

Would love to see more OCaml videos!

[@goosechaser]

Bought this book months ago and was unironically going to write it in OCaml too! Lmao. Learned OCaml for functional class in school

[@sgwong513]

never lean OCaml before, although you try to explain it but still couldn't get how it works(I also haven't read the book for how it implement the lexer). Might see the code offline again. but it seems fresh and interesting to look at functional program with OCaml. had been doing imperative programming for so long time.

[@kylestubblefield3404]

We need all the OCamls!

[@hyto]

Awesome video, keep them coming.

[@teej_dv]

Will do :)

[@jakeshoemaker1483]

This was really cool.

[@kylegaijin]

I'm beginning to love Ocaml. It's the language that would be born if Rust and Go had a baby. By the way you went through the code really fast, so it was difficult to grasp a lot of what you were saying. Do you have this code posted on github? I looked, but I didn't find it.

[@Danielo515]

By the way, if you want to keep people hooked and understanding the syntax easier, you could consider using reason syntax. It is the same, but with a more C-style looking

[@nickskywalker2568]

thanks for the ocaml love

[@teej_dv]

my pleasure, more coming soon!

[@nickskywalker2568]

@@teej_dv nice! Let's get ocaml some momentum in the industry!

[@talhaakram]

love this.

[@teej_dv]

love this comment :)

[@kaioneal6160]

Ah I finally found your channel At last the algorithm is working as it should

[@matthewrossee]

Great video, ocaml seems pretty cool. I have kinda mixed feelings about immutability though. I love the idea behind pure functions, but how do the performance and memory consumption compare to mutable solutions? It seems like the lexer is allocated for every token. Does ocaml perform some kind of optimization behind the scenes?

[@teej_dv]

ocaml's compiler and garbage collector are optimized for lots of small, immutable allocations! In some cases, making many small objects (that are all declared mutable) is actually faster than creating mutable ones (because the compiler can make more optimizations). It's not like trying to write immutable code in javascript.

[@teej_dv]

but that's a great question and concern!

[@anarchymatt]

Persistent data structures can be used to minimize copying!

[@anderdrache8504]

In general, immutable functional languages are mostly slower than something like C or Rust but they are often faster than mutable and garbage-collected languages. Immutability provides a bunch more possibility for optimization!

[@matthewrossee]

@@anderdrache8504 Do you know some good articles or something like that about such optimizations? I'm really interested how it works under the hood.

[@felgenh399]

keep it comin'

[@rohithsuresh1877]

Banger of a video teej!! How do you have an end of line marked in neovim(the return symbol at the end of each line), is it some plugin?

[@Mankepanke]

Native. See :help list and listchars

[@dandogamer]

Functional languages seem great for writing parsers

[@piotrjaga6929]

do you mean like PiterDeVries in diune?

[@sultanaldihani3296]

You did an amazing video, the idea is interesting I’m doing the same but with rust to learn it 🌚 continue the great work plz

[@jackevansevo]

This code looks so elegant compared to the Go implementation.

[@teej_dv]

LETS GOOOOOO

[@mustafazakiassagaf1757]

i love this video. Maybe having a little bit live coding explaining how to solve something in ocaml would be nice

[@teej_dv]

come watch on twitch :) twitch.tv/teej_dv

[@mustafazakiassagaf1757]

​@@teej_dvahh I did not know that you also stream it. gonna watch the vod

[@mazinabdallah5241]

I’m curious to know why you chose OCaml specifically out of all the FP langs. Like why not Haskell, for example?

[@mattinykanen4780]

Apart from being able to use monadic parsing expressions - which is admittedly a _huge_ win! - laziness does not really buy you much in compiler writing. In contrast, say, Prolog-style logical variables with unification make backpatching semi-generated code much simpler.

[@ersstuff]

The C A M L, with an O at the front It’s not imperative scaring ya, and we ain’t tryna stunt Just tryna process every single type to keep it in check And having higher-order fun with it is just a side effect (c) rangersbeats

[@teej_dv]

very nice lyrics

[@viktorhabchak470]

More OCaml!

[@Tala2n]

Ocamllex is included with Ocaml package. So I use it for the lexer. I refuse to use ocamlyacc, that adds dependency and Ocaml is sufficiently cool to implement a parser.

[@CrazyLuke11]

I love neovim!! ❤

[@thomasfrans1185]

This was very interesting!

[@teej_dv]

Thanks!! :)

[@mumk]

The syntax of OCaml and F# bears a striking resemblance

[@mattinykanen4780]

...because F# began essentially as "Microsoft OCaml"...

[@ben.faerber]

Java is to C# what OCaml is to F#. Same with Pascal and AL

[@Danielo515]

You’re officially hooked in Ocaml, nuahahaha

[@dacam29]

I studied OCaml at university in 2007.... crazy

[@mattinykanen4780]

And now the scary part: the name is originally an acronym for Objective (as in OO) Categorical (as in Category theory in math - yes, monads & c.) Abstract (as in device independent meaning for its programs) Machine (as in reduction rules which implement that meaning) Language (as in a notation for the C and A above). It's really a clever decoy which tempts you from the bountiful fruits of Real Programming into the arid wasteland of Computer Science - with the tacit goal to make you unemployable...

[@slowjocrow6451]

Hey teej, can you explain c# yield to a noob? I'm really struggling to understand

[@teej_dv]

c# yield is like "return" but it keeps the state of the function call, so you can resume it later ( I think)

[@_idiot]

could google and read 100 explanations instead of wait for him to answer a youtube comment

[@slowjocrow6451]

@@teej_dv Thank you. I saw it in a video with you and Prime recently. You two look like you have so much fun streaming together. Thanks for being so inspiring ❤️

[@ebukaezike9308]

What Font is this ?

[@RoryIsNotACabbage]

Hey teej is back 😀

[@teej_dv]

haha finally :) hoping to get back into making some new videos more regularly

[@RoryIsNotACabbage]

@TJ DeVries I look forward to it. ngl was sad there was no 0.9 launch party

[@MENTOKz]

does ocaml have easy concurrency like in golang? but yeah i like the video

[@noname78520]

they just added multicore support in the last version 5.0

[@dezorted2834]

thevimteejen came back!

[@NathanHedglin]

Ocaml os amazing for interpreters

[@--------------------.]

OCaml seems really nice! I wish i started my fp journey with it instead of Haskell!

[@mattinykanen4780]

I did it the other way around: First Standard ML and Caml - because it was and still is the only ML with a pulse - but then turning to Haskell because some features of Caml were not quite orthogonal, Whenever you add later a totally different programming or data model into an existing language, you are bound to see the stitches which keep that Frankenstein's monster together. As proof, compare (i) the Java generics, which added parametric polymorphism into what had been so far a purely object-oriented language with ad hoc and subtype polymorphism (ii) the "O" which added objects into Caml which had been so far purely parametrically polymorphic (iii) Haskell which developed instead the fresh idea of classifying types and not values. In OO terms, they did introduce ad hoc polymorphism, but for interfaces only. Values stayed intact, and hence parametric polymorphism continue working as before.

[@aftalavera]

Is Ocaml Rust daddy! If so, whats the big deal?

[@JohnWasinger]

Is Ocaml easier than writing with flex and yacc?

[@teej_dv]

Hmm... I think flex/yacc can often be "easier"... until they're not. Once you want to try and do something non-standard, you'll have a hard time. The point of the series isn't to pick the easiest way to write an interpreter, but instead to understand what is happening under the hood.

[@havocindustries3078]

Flex and yacc are code generators. They open a can of worms beyond imagination. Code generation is pure evil. Stay away from those and use a language that allows you to express ideas in a concise way. Haskell, OCaml, F#, Scala, Rust are good examples.

[@anderdrache8504]

Lexers and parsers are in my opinion not hard enough problems to justify parser generators. Of course use what you like but parsing is so simple that you can just do it yourself and be more flexible!

[@vaishnavmhetre9061]

Tom spelled Immuntable in comments ❤️

[@desuburinga]

Ocaml my caml with FEM maybe???

[@teej_dv]

Maybe if they get tweeted at a bunch about it :)

[@Vanna1321]

chad

[@teej_dv]

actually, the name's teej ;)

[@maman14141414]

i know nothing about ocamel but i have for sure seen you using your superior typing speed to make an appearance on AsmonGold stream

[@teej_dv]

Whilst the older games certainly had a lot of multiplayer, they were absolutely viable single player games. Do you feel this element will be lost with the ever increasing push towards seasons and battle passes in diablo 4?

[@maman14141414]

@@teej_dv now a days everything has a battle passe,and most of the time it doesn't serve any purpose beside making money, you should take a look at the video about abusive monetisation strategies that asmongold reacted to very informative

[@marcobuess]

seeing ocaml makes me miss f#. 😢

[@twenty-fifth420]

Looks like my comment got flagged somehow, I just think OCaml looks pretty is the primary takeaway I got from here 😂. I want to make it work with Godot somehow. ⭐️

[@teej_dv]

haha, i'm sure it's possible.... given enough time haha

[@timjames4306]

Require a NeoVim installation and setup guide Video for Windows User also.🙌✌