Conversation

🥢 Jon 🧄
@ionathanch
I'm back to my old ways again (borrowing a textbook on category theory under the delusion that now this time I'll really have a good motive for learning category theory knowing that I'll read ten pages of it and forget about it until it's due back)
4
43
Hanneli Tavante
@hannelita
I can't tell if I feel personally attacked or accurately represented by this tweet; statement applies polymorphically to other fields (not just category theory) in my case
1
6
🥢 Jon 🧄
@ionathanch
And the problem is that the "applications" in exercises when learning category is always these tiny abstract things about arrows or whatever that I can't keep caring about, but all the applications to TT on do care about seem to first require ALL the basics all at once
2
5
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Brendan Zabarauskas
@brendanzab
Feels like… how I stumbled into ‘learning’ monads just by using `Option` and `Result` in Rust… rather than trying to learn them from a tutorial with laws etc. I could then better get a handle on the Haskell stuff. Is it possible to get going with category theory like that?
1
1
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more