Learning Ocaml Part 2

[@cheebadigga4092]

It all kinda makes more sense when you're looking at the code through the lens of your college maths teacher ("sets" instead of "arrays", etc)

[@ДмитрийВасильев-я6б]

Can i have set of all odd numbers?

[@mskiptr]

​@@ДмитрийВасильев-я6б ```ghci > let oddNaturals = iterate (+ 2) 1 :: [Integer] > > take 5 oddNaturals [1,3,5,7,9] ```

[@LusidDreaming]

C++ diehards are a textbook example of the sunken cost fallacy. By the time you realize what a convoluted mess it is, you've already dedicated half a decade to learning the language and all your remaining friends are C++ nuts. So you just have to convince yourself it was worth it.

[@haniffaris8917]

Keep convincing yourself that.

[@mskiptr]

14:00 Not overloading operators and using distinct symbols for dissimilar operations is great. However, (+) for Ints and (+) for Floats is arguably the same operation. You can resolve this problem using a slightly more powerful version of traits. More specifically, you can have a Numerical trait that requires your type T to provide addition and friends (+) : T -> T -> T. And that's exactly what _Haskell_ does! All the numerical types implement Num. But dissimilar operations get distinct names. You have (/) for floating division, but div for rounded-down (integer) division and quot for truncated-to-0 one. And list concatenation is (++).

[@mskiptr]

41:00 Haskell has excellent imperative programming support. That's what State, ST and the do notation are for.

[@mskiptr]

50:30 If you love that, you will be amazed by Haskell 😉 edit: and there's no operator overloading there btw

[@mskiptr]

1:03:20 That's really weird. In Haskell that would just be: main = do sum

[@rogergalindo7318]

yes, there always must be one of us haskellers, showing prime the good of the proper pure functional programming

[@47bytes]

You *could* also implement this in OCaml it's just that the stdlib doesn't.

[@stuff9282]

Awesome! Ocaml 5 (finally) comes with multicore support. I can see ocaml having a renaissance in the coming years. Its rock solid, and has arguably the best type system out there. Its not as academic (it has opt-in mutation, and while loops) as Haskell and has strict evaluation. Ocaml has predictable and good performance. Finally, the ecosystem has really grown in the last 5 years. Dune is a solid build tool, and while taking a few days to grasp, is very flexible. There is solid libraries, and the community is growing fast (active ocaml discuss forum, and discord)

[@kodingamedev]

i can defo see myself using ocaml over haskell for my fp needs when they add typeclasses

[@somebody_on_the_internetz]

Hmm F# had multicore support for years and it still didn't take off , so I don't really see it for ocaml.

[@chris-pee]

OCaml doesn't seem to offer anything that F# doesn't offer, and the tooling is slightly worse, so I don't expect any big popularity (from either tbh).

[@insertoyouroemail]

Haskell also has while loops and mutation.

[@stretch8390]

@@chris-pee You know where F# came from, right?

[@NiDeCo]

/me having learned Haskell as a first language and professionally working in it for 6+ years: "Wait, you're excited about pattern matching? That's like the most basic thing... do other language not have a compiler that just knows when you're being a dum-dum? 🤔"

[@okuno54]

Prime keeps saying how offended the Haskellers are gonna be, but like... bro, this is your gateway drug; I'll be reading your whitepapers soon ;)

[@TheVimeagen]

I can feel the pull already

[@kenneth_romero]

14:00, so does that mean languages like BQN and APL do this as well, since they have so many symbols that they use? They're able to just infer quickly as a certain symbol can only be used on certain types?

[@tonywtyt]

Ocaml has been around for quite awhile, but I just never dug into it. I need to read up on the history of it more to get a feel for how/why it was developed. I appreciate the fact that I've subscribed and get to ride the camel with you!

[@AnthonyBullard]

Had to catch all of the parts I missed. Thanks Prime, and congrats on 100k

[@trannusaran6164]

now you're almost ready for the most spiritual experience in computer science: the metacircular evaluator

[@mmj5916]

I can feel the ocaml drug flowing through me, where were you in my life?

[@bearwolffish]

More Ocaml, for the soul.

[@AdoreHorror]

aren't croissants originally Turkish?

[@PetrSUsername]

37:10 this is absolutely unreadable without any brackets etc. What is function, what is parameter, what is what. :/

[@danvilela]

"double semicolon".. I stopped there..

[@cheebadigga4092]

btw PowerShell when? :D

[@maxmustermann4487]

bro your is so entertaining. I neeeeeeeed moooooore Ocaml. Trust me, do more streams and upload the m and u will get more klicks

[@balduin_b4334]

yesss sir

[@hashi856]

First

[@NickWindham]

I vote for Golang videos. It’s a language people will actually use.

[@MrHamsterbacke756]

Not very interesting though

[@musdevfrog]

nah, there is nothing to learn.

[@alurma]

OCaml is Go on steroids

[@alurma]

Okay concurrent ML is Go on steroids

[@jonforhan9196]

I vote OCaml

[@kahnfatman]

59:30 "Suddenly it's lisp" 🥲 1:06:29 Ctrl_D should do the trick as well