프로그래머를 위한 카테고리 이론
2년전에 모던 자바(8)를 도입 후 뭔가 제한적인 사용 범위에 한계를 느껴서
스칼라를 간간히 공부하는 개발자입니다.
그러다가... 결국 마주친다는 카테고리 이론과 하스켈 중 공부 중인 카테고리 이론과 관련된 링크를 공유하고 싶은 마음이 생겨서 아래와 같이 공유 드립니다.
카테고리 이론에 대해 소박한 지식으로 간단히 설명하면 모든 (수학, 프로그래밍, 그 어떤 것이든) 것은 인간만이 할 수 있는 추상화 단계를 거치고 프로그래밍도 추상화의 끝에는 특정 원리를 설명할 수 있는 패턴된 추상화가 있다.. 라는 것입니다. 이 이론도 수학이론인데 프로그래밍도 수학에서 시작되었습니다.
함수형 프로그래밍에 대한 약간의 경험상 프로그래밍에 대한 감상을 올리고자 하면 ...
프로그래밍에 대한 다른 view를 제공해 주었고... 공부하기 힘들지만 재미있습니다. 하지만 학습 곡선이 큰 관계로... 가끔 우울해집니다. 나쁜 머리로 나름 시간내서 공부했는데 항상 멀었다는 느낌입니다.
아래 자료가 비록 영문이지만... 존경스러운 개발자이신 이 분은 영어를 느리게 해주세요... 고등학교 영어면 들으실 수 있습니다. 자막도 있고요. 또 웹페이지에 더 상세하게 문서화되어 있습니다.
함수형 프로그래밍에 대한 조금 더 깊은 이론을 알고 적용하고 싶으시다면 읽어보시는 것을 권장합니다.
요즘 스칼라와 카테고리 이론과 관련된 유능하신 국내 개발자들의 글이 많이 늘어났습니다. 하지만 영문 자료가 훨씬 많은 것은 당연하고 그 범위도 넓습니다.
개발자로써 새로 무엇을 배우기가 힘들어도 재밌는 자료가 되기를 바랍니다.
OKKY의 여러분의 생각들이 항상 저한테 유익하고 사랑스럽습니다.
category-theory-for-programmers
