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.
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.
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.
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.
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.
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.
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
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.
I want to encourage you to keep making videos like this because OCaml is a brilliant and beautiful language for programming language theory. That said, the clickbait title was a bit jarring. "Writing an interpreter ... in OCaml?!?" This is exactly what OCaml excels at! There's nothing surprising about writing interpreters in OCaml!
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
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.
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...
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
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.
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?
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.
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.
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?
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.
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!
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.
@@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 ❤️
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?
@@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
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. ⭐️
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.
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.
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!
Tom is a genius!
JDSL is the best language ever.
oh no, the meme is spreading. it's broken containment from the degen army
@@tapu_ Aren't you supposed to JDeez Nuts?
Everyone in twitch programming knows the joke by now
@@tapu_ until you add code comments, but yeah, genius.
I love OCaml, would be great if you made an OCaml course or tutorials would definitely watch them.
awesome! I'm considering how to do it. thanks for the feedback :)
Me too
Here is a great playlist for learning ocaml.
th-cam.com/play/PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU.html&si=WbnPg2gbb8qZnCuo
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.
cool :) we'll at least start with just "learn ocaml through seeing this code" i think
Keep these coming, OCaml has been my language of choice recently and deserves attention.
When I discovered pattern matching with Elixir my mind was blown... and yet this looks even 'cuter'
This is great, I’ve only ever heard of ocaml previously. Will have to have a play around, cheers
sweet :) I hope you enjoy it! I'm having a lot of fun
you're literally saving me and my bachelor thesis xD
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.
Learnt it in my second year of university, couldn’t understand this language at the time but this code looks beautiful
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.
OCaml, my Caml!
But, seriously: even more OCaml curious now. Thanks for sharing!
well hopefully next few videos will convince you even more!
10:13 oh I see it! I see the angstrom pattern matching there! Right? Interesting!
Functional programming! 🎉
15 years ago at my university class we were assigned to build a interpreter in OCaml and Prolog
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.
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.
I'll [[likely]] save this for later.
Subscribing for OCaml content! One of the nicest programming languages in existence.
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.
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.
Wow! We do ocaml in france and i had a project for writing mini compiler of java using ocaml
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.
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
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
great video, the mattern matching looks very intressting and think I would've loved it for a use case I had the other day
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.
This is cool. First time I see OCaml and sort of get what is going on :D
I’d love to see more on OCamls type system and how modules/functors work
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
I want to encourage you to keep making videos like this because OCaml is a brilliant and beautiful language for programming language theory. That said, the clickbait title was a bit jarring. "Writing an interpreter ... in OCaml?!?" This is exactly what OCaml excels at! There's nothing surprising about writing interpreters in OCaml!
but... do most people know that? :)
@@teej_dv I sure didn't!
Would love to see more OCaml videos!
Subscribed just for the future OCaml videos.
this is awesome. Would love to see more of this
Great stuff, love it.
keep it up with ocaml videos 👍
will do!
This remember the Elixir code 👏🏻👏🏻 Great video!
Ah I finally found your channel
At last the algorithm is working as it should
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
Bought this book months ago and was unironically going to write it in OCaml too! Lmao. Learned OCaml for functional class in school
great video! really interested to see more ocaml
Ocaml has built in support for lexing and parsing with .mll and .mly extensions with ocamllex and ocamlyacc respectivly
waiting for the playlist, babie!
I would actually like some tutorial in how to make the Ocaml lsp work in nvim
We need all the OCamls!
More OCaml!
Thanks for the video TJ. Could you please share your ocaml setup for neovim? Mine is not showing type hints like yours. Thanks :)
i love this video. Maybe having a little bit live coding explaining how to solve something in ocaml would be nice
come watch on twitch :) twitch.tv/teej_dv
@@teej_dvahh I did not know that you also stream it. gonna watch the vod
Functional languages seem great for writing parsers
Love it love it!! Keep going
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.
thanks for the ocaml love
my pleasure, more coming soon!
@@teej_dv nice! Let's get ocaml some momentum in the industry!
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?
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...
Hey teej is back 😀
haha finally :) hoping to get back into making some new videos more regularly
@TJ DeVries I look forward to it. ngl was sad there was no 0.9 launch party
This code looks so elegant compared to the Go implementation.
LETS GOOOOOO
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
very nice lyrics
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.
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?
That was awesome! Can you share the resources do you use to learn OCaml?
Mostly:
1. Reading the official docs from ocaml.org
2. Starting to build things :)
also, asking friends in discord / twitch / etc.
Awesome video, keep them coming.
Will do :)
love this.
love this comment :)
Which theme do you use?
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.
I studied OCaml at university in 2007.... crazy
This was really cool.
OCaml seems really nice! I wish i started my fp journey with it instead of Haskell!
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.
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?
Native. See :help list and listchars
The syntax of OCaml and F# bears a striking resemblance
...because F# began essentially as "Microsoft OCaml"...
Java is to C# what OCaml is to F#. Same with Pascal and AL
I love neovim!! ❤
You’re officially hooked in Ocaml, nuahahaha
This was very interesting!
Thanks!! :)
keep it comin'
do you mean like PiterDeVries in diune?
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?
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.
but that's a great question and concern!
Persistent data structures can be used to minimize copying!
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!
@@anderdrache8504 Do you know some good articles or something like that about such optimizations? I'm really interested how it works under the hood.
I’m curious to know why you chose OCaml specifically out of all the FP langs.
Like why not Haskell, for example?
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.
Ocaml os amazing for interpreters
thevimteejen came back!
Require a NeoVim installation and setup guide Video for Windows User also.🙌✌
Tom spelled Immuntable in comments ❤️
Is Ocaml Rust daddy! If so, whats the big deal?
does ocaml have easy concurrency like in golang? but yeah i like the video
they just added multicore support in the last version 5.0
chad
actually, the name's teej ;)
What Font is this ?
seeing ocaml makes me miss f#. 😢
Ocaml my caml with FEM maybe???
Maybe if they get tweeted at a bunch about it :)
Hey teej, can you explain c# yield to a noob? I'm really struggling to understand
c# yield is like "return" but it keeps the state of the function call, so you can resume it later ( I think)
could google and read 100 explanations instead of wait for him to answer a youtube comment
@@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 ❤️
i know nothing about ocamel but i have for sure seen you using your superior typing speed to make an appearance on AsmonGold stream
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?
@@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
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. ⭐️
haha, i'm sure it's possible.... given enough time haha
Is Ocaml easier than writing with flex and yacc?
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.
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.
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!
Can you do an Ocaml course?