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.
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.
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.
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.
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’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.
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
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?
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
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.
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.
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!
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.
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.
@@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 ❤️
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!
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. ⭐️
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.
ua-cam.com/play/PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU.html&si=WbnPg2gbb8qZnCuo
@@teej_dvhave you done it?
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.
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'
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.
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, my Caml!
But, seriously: even more OCaml curious now. Thanks for sharing!
well hopefully next few videos will convince you even more!
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.
Subscribing for OCaml content! One of the nicest programming languages in existence.
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.
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.
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
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.
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’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
Subscribed just for the future OCaml videos.
I'll [[likely]] save this for later.
Would love to see more OCaml videos!
Functional programming! 🎉
This remember the Elixir code 👏🏻👏🏻 Great video!
great video, the mattern matching looks very intressting and think I would've loved it for a use case I had the other day
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
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 awesome. Would love to see more of this
keep it up with ocaml videos 👍
will do!
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
Ocaml has built in support for lexing and parsing with .mll and .mly extensions with ocamllex and ocamlyacc respectivly
waiting for the playlist, babie!
10:13 oh I see it! I see the angstrom pattern matching there! Right? Interesting!
Bought this book months ago and was unironically going to write it in OCaml too! Lmao. Learned OCaml for functional class in school
Thanks for the video TJ. Could you please share your ocaml setup for neovim? Mine is not showing type hints like yours. Thanks :)
Great stuff, love it.
great video! really interested to see more ocaml
We need all the OCamls!
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
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
This code looks so elegant compared to the Go implementation.
LETS GOOOOOO
I would actually like some tutorial in how to make the Ocaml lsp work in nvim
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
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.
Love it love it!! Keep going
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?
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...
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
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.
Awesome video, keep them coming.
Will do :)
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
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.
I studied OCaml at university in 2007.... crazy
This was really cool.
thanks for the ocaml love
my pleasure, more coming soon!
@@teej_dv nice! Let's get ocaml some momentum in the industry!
More OCaml!
Functional languages seem great for writing parsers
Ah I finally found your channel
At last the algorithm is working as it should
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.
keep it comin'
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.
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.
Which theme do you use?
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
love this.
love this comment :)
This was very interesting!
Thanks!! :)
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.
You’re officially hooked in Ocaml, nuahahaha
do you mean like PiterDeVries in diune?
Tom spelled Immuntable in comments ❤️
I love neovim!! ❤
thevimteejen came back!
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 ❤️
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
Is Ocaml Rust daddy! If so, whats the big deal?
Ocaml os amazing for interpreters
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!
What Font is this ?
chad
actually, the name's teej ;)
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
Ocaml my caml with FEM maybe???
Maybe if they get tweeted at a bunch about it :)
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
Require a NeoVim installation and setup guide Video for Windows User also.🙌✌
seeing ocaml makes me miss f#. 😢