Learning OCAML Part 1

[@sdsa007]

I just want to thank you for your excellent channel,. You have introduced me to more programming concepts and industry controversies in an ENTERTAINING way than I would ever get exposure if there was no humor involved! Big bucks to you prime-OCaMLagen! The bioinformatics episode was really cool too!

[@harleyspeedthrust4013]

First, I love the content and I'm glad to see ocaml on the channel(s). Because you're new to a functional language I think it would be best to focus and go through the language at a slower pace. Some of the concepts can be difficult to wrap your head around at first and it's a lot tougher when you're switching between the language and two stream chats. Ex: it's not like learning zig where you're already familiar with the programming model and imperative programming. it's completely different, you have to think about the problems in a completely different way to be effective

[@nifaresg]

39:56 this is called structural type system - two types with different names can be used interchangeably if they have the same structure. On the other hand there are nominal type systems. Two types are distinct if they have different names.

[@olbluelips]

structural typing is the entire reason i'm learning ocaml. screw nominal typing! may as well just use c at that point

[@Ryan-xq3kl]

forking OCaml and creating LLama

[@bursthooverbag10]

I think you might create the next supervirus if you go around forking camels

[@Ryan-xq3kl]

@@bursthooverbag10 dont worry im hiring bill gates who would never do anything related to viruses ever

[@jawad9757]

I'm working on a language called llama

[@driden1987]

Still avoiding Haskell I see, you shall face it at some point and enjoy the purest things in life

[@realmimak]

no amount of haskell could purify deez zelda impressions

[@mskiptr]

Indeed. And there's so much Haskell-inspired stuff out there. Idris, Agda, Scala, stuff in Rust, Python, C++, C# I still feel he would be much better off if he looked at the Elm guide. Just one sitting should suffice to go over the whole thing and that would give him a good understanding of all the pure FP basics Maybe we should get him to react to one of nice 'propaganda' pieces. Like the article about slaying the notorious UI anti-pattern

[@jacksparr0w300]

Is Haskell similar to clojure? I used clojure for this me project and I really enjoyed it.

[@mskiptr]

@@jacksparr0w300 I believe Clojure was partly inspired by Haskell. But generally, Clojure is a lisp, while Haskell descends from the ML family of functional languages. Big differences will be in having static/dynamic typing and (not) using S-expressions.

[@lenk172]

When Haskell clicked with me it felt truly orgasmic using it even just to solve little trivial things

[@n4bb12]

39:42 They are distinct types because you made no connection between them. If TS were to replace the return type of foo with FooOut (which wouldn't be a deterministic operation) that would trick callers into using FooOut with the intention of referring to the return type of foo. Then you change FooOut and keep foo unchanged. And caller code breaks.

[@MaxHaydenChiz]

OCaml is ~30 years old. Why do you keep saying you are shocked that it is "already" this good?

[@McSlime1000]

Have you heard of Java?

[@Zzznmop]

Average jon blow alt comment

[@stefanalecu9532]

​@@abhimohan4356but it does? It's called fpm

[@TheVimeagen]

never used it, never read it, never anything'd it the old old languages tend to have the worst tooling surrounding them and you have amalgamations of tools to accomplish building. this lang has all the features of a new and old. seems great.

[@notuxnobux]

@@TheVimeagen I agree, rust is 18 years old

[@trapexit]

when Erlang? OCaml and Erlang are both languages I suggest to devs to learn to see really different development patterns. Erlang especially. When concurrency is required and trivial it really changes the way you see and solve certain problems.

[@PoorlyMadeSweater]

I really liked OCaml. When I learned that F# was conceived by mixing features from OCaml and Haskell, I gave it a go and I honestly think its the best of both worlds. OCaml is very general purpose, which is necessary for performance and scalability. Haskell is very functional, which is great for readability/conciseness/concurrency/test-ability. F# puts functional paradigms front and center combined with OCaml like typing for a great coding experience, but allows mutability, classes, and even full seamless interop with C# libraries and types when you need to go full ham in scope or performance.

[@нуяичо-щ2д]

damn that's crazy but who asked?

[@inertia_dagger]

​@@нуяичо-щ2дI did

[@Qrzychu92]

yeah, F# is great, however after some time, I'm not a biggest fan of automatic function currying. The amount of times where I changed something, everything compiled fine and then I saw "FastFunc` written into console instead of the full expected output is way too high :D

[@kattankarl]

@@нуяичо-щ2д xDDD gottemmm great comment I was thinking how OCaml fares against F#

[@PoorlyMadeSweater]

@@Qrzychu92 Yeah super true. I feel like Functional stuff is often functional for the sake of being Functional, so you end up with this notion that everything must be curried...but then you also want the language to support multiple parameters and sub functions and blah blah blah, so before you know it, auto curry becomes a have your cake and eat it too situation.

[@airman122469]

Lol “I would love to have Rust without the foundation and people on Twitter” Same. Which is why we should all switch to CrabLang. No joke.

[@TheVimeagen]

Agreed. I'm just really struggling with this concept. Liking the language but disliking the leadership.

[@mskiptr]

Prime being surprised by OPAM existing, while it's been a thing for over a decade now. (also, Hackage was started in 2007)

[@yjlom]

finally some real programming

[@oddmerlin9797]

3:04 im the same way, i literally dont get a new phone until my old one is pretty much unusable

[@master74200]

I get a new one if I can't get security updates, because it's a device on my home network. With that said, it is pretty hard to have a decent phone that receives security updates for even just a couple of years these days.

[@n4bb12]

Inferred return types in TS are the reason something like tRPC is possible. It's a tool in the toolbox.

[@balduin_b4334]

we neeeeeed part 2 asap!

[@ineedzsleep]

WHY DOES HE DELETE VODS !! NOOOOvanish

[@danvilela]

Time to build a framework for this lang.. We shall call it Toe! Like Ruby on Rails, we do some OCaml Toe :D

[@orderandchaos_at_work]

You've got me hooked on it now. Code is Crack.

[@rewrose2838]

Coding is crack if you're starting fresh, but if you're dealing with like a year or two years old code it becomes very frustrating

[@orderandchaos_at_work]

​@@rewrose2838 Throw it out and start over, thank me later.

[@abujessica]

@@rewrose2838 nah you're doing something off

[@airman122469]

“Installing on Windows Haaa” Yep. That’s how I feel.

[@IanRiley915]

Thanks for the great content! I was a little confused about what you meant by being surprised that OCaml was this far along. Wasn't OCaml released in the mid 90s?

[@tonywtyt]

I tried to use their "new Windows installer" but it bit the big one on my machine. I managed to find a semi-obscure link to "OCaml for Windows". It ended up being and install of Cygwin with OCamel. I'm kind of doing what I hate... running opam not because I know what I'm installing, but because it's supposed to make me cool : )

[@Yupppi]

I recall when someone said you shouldn't ask chatgpt when learning to code and you shouldn't read stackoverflow. But the first things I saw in learning ocaml was stackoverflow and chatgpt.

[@maxmustermann4487]

Bro in 2 months the new smester begins at my university and a lot of german students gonna look for some content about OCAML. :D

[@meelz812]

I need to learn this language for a class this quarter and I am literally pogging that this video exists

[@ExpertOfNil]

Well... That was an abrupt ending...

[@sunnyheheheh9401]

Man the primetime is at 95.5k lets go 100k soon niceeeeeeeé

[@NotTheHeroStudios]

The guest spot phone call bit killed

[@TheD3adlysin]

Listen, you grew on me like a humorous evil twin head. You keep live streaming on this KZbin. I'll watch live.

[@victenbokum9722]

21:54 can someone tell me how to do autocomplete in the terminal like that?

[@olbluelips]

this is where the fun begins

[@ronakmehta8106]

just gona like right away will be watching this in few hours

[@BlackRose-ex4pk]

It's a great thing that you also pay attention to KZbin! I'm located in iran so i can't [Without-headache] access Twitch, KZbin is the only source that i can follow you

[@cptwunderlich]

Regarding the rant at around the 39 minute mark: yeah, that's the difference between a _structural_ type system and a _nominal_ type system. Most of us are used to the latter one. AFAIK, the former one was chosen to enable gradual typing and not break existing code etc. For what it's worth, there is a lot of interesting research going into TypeScript. I still dislike JavaScript and TS is only marginally better, but yeah, my personal preference is for strong, statically typed languages. Functional ones, preferably :)

[@youtubeviewer7077]

Where can we find full VODs? They don't show on Twitch and just these stubby edited clips show up here.

[@KeplerEmeritus]

Did you pick up OCAML for the 5.0 re-write?

[@goosechaser]

Lol the ad placements on this video!

[@quachhengtony7651]

have you tried F#? Darklang is moving from OCaml to F#

[@annoorange123]

Isn't F# just a windows version of OCaml? We don't like windows around here *spit*

[@illusion466]

​@@annoorange123 .NET. which is cross platform nowadays

[@metaphoricallyalive8109]

Started OCaml today, hate that Dune forces me to write .exe

[@KakugenKun]

Wow this bring back some memory! First language I learned was Caml 🐪 seeing that there is a Object Caml 🐫is fun 😄

[@alexstone691]

You use terminal exaclty the same as me, have a brain fart and then just screw up the current directory or leave something in prompt and add command as argument to another command

[@micycle8778]

what do you think of reasonml?

[@arcane3327]

Hey Prime maybe i missed it but what Distro do you use?

[@conorx3]

pop_os. he has a vid on his setup

[@arcane3327]

@@conorx3 thanks!

[@caneplayz]

FIrst time seeing F# language ever since my exam about it haha

[@auntiecarol]

Phone call was cute… Brocaml!

[@brandonw1604]

Is Prime using a Pixel?

[@CrYpt001]

OCAML is nice but it's no JDSL

[@henryrussell7392]

I thought vimagen was his only channel

[@timschannel247]

nice for you but you would not think ocaml is like far away from you lol

[@tambow44]

What happened to all these bit pieces like at the start? #BringBackTheGags

[@vaisakh_km]

remaining??

[@alexpyattaev]

Feels like ocaml combines all the worst features of modern languages (like overcomplicated setup with too many tools that do arcane things) and the old ones (like clunky error messages). Brilliant!

[@jawad9757]

I haven't noticed either of those, unless you've just been seeking out something to complain about

[@heroe1486]

"Most professional devs I know use macOS", what a clown

[@TJ-hs1qm]

hypertext machine learning 😊

[@HalfMonty11]

double semicolon? why

[@TankorSmash]

one's a typo, two means its 100% the end of the line

[@kozmicluis2552]

One semicolon is used to chain expressions, and the two semicolons are not always needed. If you use a formatter like ocamlforrmat with the Jane Street code style you'll see how it will not add them quite often. I see single semicolons also used in a sequence of expressions that return unit (side-effect stuff) or in "begin" blocks. Also if you use the repl (like utop) it will always ask for ;; for you to get a response.

[@finmat95]

@@TankorSmash Dumb.

[@GAMINGAPOSTLEJ]

VISS mentioned

[@timschannel247]

how do i do myself an intellige t person. ? surely by youtube vids lol

[@dansanger5340]

Instructions for Windows: Just install F#. It's basically OCaml#.

[@jamesonvparker]

Is a soy dev someone who works with soy templating language or is that something else? 😅

[@kubre]

Wait what KZbin chat? Since when prime is giving attention to yt chat

[@abujessica]

since he tasted deez ocaml toes

[@TheVimeagen]

Friday is YT only

[@Mentioum]

Is this on the wrong channel?

[@TheVimeagen]

nope! this is the technical channel

[@Mentioum]

@@TheVimeagen Technically speaking XD ❤️

[@QuentinDurot]

Can't understand why you're still not using nix 🤔

[@heroe1486]

Nix seem like a nightmare to get working since it's a really different paradigm than any other distro and well it's not popular and solutions are thus not that much documented. Like for neovim for example I always see people complaining about things not working on nix. And what problem does it really solve on desktop anyway ? Just backup your system regularly, push your config files to a repo and you're good to go, it's not like most of us had 5 machines and were reinstalling every week, most people are ok with a distro like Arch where things really just work after the initial set up.

[@davidlanda2324]

Keep going !

[@dimaorols8143]

Haskell < Hasklel

[@StupidusMaximusTheFirst]

9:42 🤣😂

[@finmat95]

Please, dont do that. If you're not a masochist dont do that.

[@davidengelmann1636]

That match shit hits

[@ProjectVastness]

Well you should Try F# next cause has a lot of it ^^

[@airman122469]

Eh. Yeah. But it’s .NET.

[@TheRCrispim]

Where is day 2?

[@TheVimeagen]

it got lost so a new day 2 will be uploaded, may rename them to "part 1", "part 2", etc etc

[@Jan-gl7mn]

Well, that was short lived, he stopped with the Ocaml videos after few months, so I guess, it is not that great.

[@nyahhbinghi]

Gleamlang

[@_FFFFFF_]

Nobody likes technical.. youtube videos ? TIL i am now nobody.

[@naranyala_dev]

the vimcademy

[@mskiptr]

Rust - thefoundation - twotterppl = Austral edit: also minus like10yearsofdevelopement edit2: and minus -tonsofbloat- unnecessarycomplexity

[@elcugo]

I just looked at it. It kind of reminded me of Pascal. It also looks awfully green.

[@Mia-zb4zh]

Finally :>

[@tonywtyt]

Oh SHIT! I just realized I hadn't subscribed yet!!!... DONE!

[@armax00]

or.... the dev has to do iOS development and does not go around with more than one laptop... just saying 🤣

[@heroe1486]

Yeah that's the only excuse to use macOs since they force their exclusive proprietary tools to develop for their platforms

[@darshpareek4926]

keep doing live coding

[@kahnfatman]

41:26 Live Stream is hot

[@vaisakh_km]

PLEASE MAKE A GAME>...

[@nomoredarts8918]

You should learn Elm instead. And Haskell after that

[@abujessica]

why is prime learning ocaml? isn't it like a fukin million years old language that nobody uses anymore?

[@harleyspeedthrust4013]

it's a nice language. it may be a fukin million years old but that doesn't mean it's bad

[@abujessica]

@@harleyspeedthrust4013 reasonable

[@elcugo]

Most mainstream languages are many decades old. Rust is kind of the exception.

[@harleyspeedthrust4013]

@@elcugo eh, rust isn't really mainstream. it was gaining popularity fast until the rust foundation shot themselves in the foot a few times. job postings these days that advertise rust are pretty rare so i don't think it's mainstream

[@mskiptr]

@@harleyspeedthrust4013 It's hyped af, but also good so mainstream people give a fsck about it. It's not widely used but it is well-known (and in a mostly good light)

[@EasonTek]

first..?

[@Aashiq002]

worst courseever visited , waste of time.... very very disappointed

[@aftalavera]

All this fucking yelling and excitement is getting old! The views are going down!

[@TheVimeagen]

you really don't have to watch! this is TheVimeagen, its the long form stream cuts...