4 ms·

haskell(common knowledge) -> category theory(compare it with set theory here you will read about math foundation crisis) -> type theory(curry howard correspond

by hamad 9y ago

haskell(common knowledge) -> category theory(compare it with set theory here you will read about math foundation crisis) -> type theory(curry howard correspondence or logic == program) personal perspective

hamad 9y ago
I highly recommend Bartosz Milewski series in category theory https://www.youtube.com/watch?v=I8LbkfSSR58 https://www.youtube.com/watch?v=I8LbkfSSR58
- elcapitan 9y ago
  Independently of whether this is a helpful answer for the original question, thanks for that link, was looking for some good lecture introduction on category theory and this looks really nice.
  - hamad 9y ago
    it's base on a fantastic book https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
    - elcapitan 9y ago
      That looks great, thanks!
mkl 9y ago
That seems way too abstract and advanced for a beginner. I can't imagine anyone starting that way.
- hamad 9y ago
  i agree but i think you can see the whole image and select what you want. for example maybe you like CS you will comfortable with graph theory or compatibility theory, or philosophy you love paradoxes you counter in logic, even the history you can read about Hilbert program.
MikkoFinell 9y ago
It's better to do it the other way around; begin at the low level and work your way up to the abstractions: * Foundations of proofwriting and mathematical thinking: Velleman * Going further into logic: Hindley and Seldin, Lambda-Calculus and Combinators * Apply what you learned just learned: Sussman and Abelson, SICP * Getting serious: Awodey, Category theory * You're there: Haskell