4 ms·

> For example, if I want a recipe for making a loaf of bread, saying “just use flour and an oven” is not very helpful. > Relationship to the Either monad and K

> For example, if I want a recipe for making a loaf of bread, saying “just use flour and an oven” is not very helpful. > Relationship to the Either monad and Kleisli composition Well, sure the former isn’t very helpful, but I at least know what an oven and flour are.

waynesonfire 3y ago
at least you know what you don't know.
- Cthulhu_ 3y ago
  And you know how to find out what you don't know ...that said, functional programming and the university level words associated with it intimidate me and quickly go over my head. Mainly because I haven't got a practical application for it, and they're more abstract concepts. A railway switch? Sure, I can understand that. A monad? What? Why are you making up words? (tongue in cheek, I've had a stint of Scala so I can sort of apply some of these things in practice. I just don't have the vocabulary, educational background, or practical applications)
  - thewix 3y ago
    This is probably the biggest problem with FP, and I love FP, and use fp-ts which is marred in category theory. It took me a while to understand concepts that are really quite simple but explained very academically. Remember, [Monada are just monoids in the category of endofunctors](https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem https://stackoverflow.com/questions/3870088/a-monad-is-just-...) That being said, I love FP and am a better programmer today because of it.
greydius 3y ago
Yes, I also was born knowing about ovens and flour. If these other things were important we'd be born knowing them as well.
- bandyaboot 3y ago
  My comment was mostly made in jest. That being said, it’s not about being born with that knowledge, but about the reality that knowledge of what an oven and flour are is reasonable assumed knowledge for anyone who has decided to read instructions for cooking something.
deleted 3y ago
[deleted]
the_af 3y ago
You would learn what Either is (which, by the way, is nothing esoteric) just like you learned what a lambda was, or a string type, or a vector.

waynesonfire 3y ago

at least you know what you don't know.

Cthulhu_ 3y ago
And you know how to find out what you don't know ...that said, functional programming and the university level words associated with it intimidate me and quickly go over my head. Mainly because I haven't got a practical application for it, and they're more abstract concepts. A railway switch? Sure, I can understand that. A monad? What? Why are you making up words? (tongue in cheek, I've had a stint of Scala so I can sort of apply some of these things in practice. I just don't have the vocabulary, educational background, or practical applications)
- thewix 3y ago
  This is probably the biggest problem with FP, and I love FP, and use fp-ts which is marred in category theory. It took me a while to understand concepts that are really quite simple but explained very academically. Remember, [Monada are just monoids in the category of endofunctors](https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem https://stackoverflow.com/questions/3870088/a-monad-is-just-...) That being said, I love FP and am a better programmer today because of it.

greydius 3y ago

Yes, I also was born knowing about ovens and flour. If these other things were important we'd be born knowing them as well.

bandyaboot 3y ago
My comment was mostly made in jest. That being said, it’s not about being born with that knowledge, but about the reality that knowledge of what an oven and flour are is reasonable assumed knowledge for anyone who has decided to read instructions for cooking something.

deleted 3y ago

[deleted]

the_af 3y ago

You would learn what Either is (which, by the way, is nothing esoteric) just like you learned what a lambda was, or a string type, or a vector.