Re:Ask HN: What kind of math do you study in your free time?
by iambrj on Thursday June 11, 2020 @02:09PM
(#23491641)
Another good category theory read is Pierce's Category Theory for Computer Scientists
Re:Ask HN: What kind of math do you study in your free time?
by spekcular on Thursday June 11, 2020 @02:59PM
(#23492189)
What practical applications does it present for programmers? I've looked at this a bit and it just seems like a regular category theory book.
Re:Ask HN: What kind of math do you study in your free time?
by Koshkin on Thursday June 11, 2020 @03:10PM
(#23492311)
Sometimes it is helpful to really understand what the hell you are actually doing when you write code (design patterns, data types and all). Otherwise, not much (unless you write Haskell, that is.)
lectures -> https://www.youtube.com/user/DrBartosz
book -> https://github.com/hmemcpy/milewski-ctfp-pdf