[%] 람다대수랑 범주론(Category Theory) 공부해본 사람 있음?

[닷넷좋아함(dotnetlove)]

종강하고 함수형언어랑 데이터과학 공부할 계획인데 Lambda Calculus랑 Category Theory가 연관이 많은거같아서 관련 저서나 강의들 찾아보고 있거든

근데 둘다 그렇게 정보가 많은 것 같지 않아서 혹시 너희들은 어케 공부했는지 물어보고싶어

[기괴공학도(mecheng98)]

저도 람다 셈법이랑 범주론 공부하는 게 꿈인데, 수학과 대학원생들이나 배우는 내용이고, 몰라도 상관 없어요.

[기괴공학도(mecheng98)]

저도 그런 줄 알았는데, 람다 셈법 아주 약간만 알면 돼요.

[기괴공학도(mecheng98)]

http://www.nyu.edu/projects/barker/Lambda/barendregt.94.pdf

[기괴공학도(mecheng98)]

이것만 읽으시면 충분해요.

[기괴공학도(mecheng98)]

범주론도 프로그래머를 위한 범주론이라고 책이 있는데요

[기괴공학도(mecheng98)]

그거 읽으시면 크게 지장이 없을 거에요

[기괴공학도(mecheng98)]

https://github.com/hmemcpy/milewski-ctfp-pdf

[기괴공학도(mecheng98)]

그럼 컴퓨터공학도로서는 문제가 없을 거에요.

[다믜(damhiya)]

함수형 언어 자체랑 category theory는 별로 관련 없다고 생각함. 단지 하스켈에서 고수준 추상화를 위해서 category theory를 차용할 뿐임. 그러니까 함수형에서 category 는 그냥 선택사항이지.

[다믜(damhiya)]

만약 category랑 fp를 엮어서 배우고싶으면 하스켈배우면 됨

[기괴공학도(mecheng98)]

왜인지는 모르겠는데 람다 셈법 선수과목 중 하나가 범주론이에요;;

[다믜(damhiya)]

어 진짜? ㅋㅋㅋㅋ

[기괴공학도(mecheng98)]

제가 장식용으로 가지고 있는 람다 셈법 책에 범주론, 재귀이론, 집합론, 1차 논리, 일반 위상을 알고 있어야 된다고 써있어요.

[다믜(damhiya)]

만약 category를 수학적인 접근을 해서 배우고싶으면 nlab에 설명이 엄청 잘 되있음.. 나도 정확히 뭐하는 곳인지는 모르는데 수학자들중에서도 nerd취급인듯

[black7375(220.70)]

https://arxiv.org/abs/1503.09060
- dc App

[black7375(220.70)]

그림이랑 수식표현이 직관적이라 좋더라고요. 그래서 처음하는 분들께 추천 많이 해요. - dc App

[black7375(220.70)]

ㅋㅋㅋㅋ - dc App

[커헠(msca8h)]

람다대수는 Introduction to functional programming through lambda calculus 라는 책이 쉽고 괜찮고 범주론은 이쪽에선 Category theory for programmers 가 유명함. 인강도 딸려 있음. 코드앤톡스 디스코드 오면 하는 사람들 많음 ㅇㅇ 깃헙갤도 좀 있고 - return 0;

[닷넷좋아함(124.58)]

코드앤톡스 들어가봤는데 좋네 이런 커뮤니티 찾고 있었는데 깃헙갤말고도 있었구나 알려줘서 고마워