Category Theory for Programmers (Bartosz Milewski)
Functional Programming Data Structures (Chris Okasaki)
Homotopy Type Theory: Univalent Foundations of Mathematics (The Univalent Foundations Program Institute for Advanced Study)
Category Theory for Programmers (Bartosz Milewski)
Functional Programming Data Structures (Chris Okasaki)
Homotopy Type Theory: Univalent Foundations of Mathematics (The Univalent Foundations Program Institute for Advanced Study)
마지막은 수학 책인데?
디자인패턴하나로 퉁치는거 아니었음?
저거 3개 다 본 넘은 지금 백수라는 이야기
엑윽..
...?
뭔 또 또 함수람 지들만 아는 이야기 하죠
진짜 필독서는 SICP CSAPP 정도 되겠읍니다