Category Theory 1.1: Motivation and Philosophy
Bartosz Milewski · 46:46 · Watch on YouTube
이 강의는 범주론이 Haskell과 함수형 프로그래밍 위의 최고 수준 추상화 언어이며, 인간의 뇌는 복잡성을 합성 가능한 조각으로 분해해야만 이해할 수 있기 때문에 프로그래밍, 논리, 수학을 통합한다고 주장한다.
Bartosz Milewski · 46:46 · Watch on YouTube
이 강의는 범주론이 Haskell과 함수형 프로그래밍 위의 최고 수준 추상화 언어이며, 인간의 뇌는 복잡성을 합성 가능한 조각으로 분해해야만 이해할 수 있기 때문에 프로그래밍, 논리, 수학을 통합한다고 주장한다.