수학을 토대로 프로그래밍 언어를 공부하는 이야기
2024/04/22
수학의 즐거움 채널에서 24년 상반기부터 시작된 범주론적 프로그래밍 언어 스터디가 진행 되면서 발생한 맴버십 슬랙의 디스커션 기록을 기록해둡니다.
CGH
https://unglueit-files.s3.amazonaws.com/ebf/e90890f0a6ea420c9825657d6f3a851d.pdf
Category theory for programmers
https://teamdable.github.io/techblog/Moand-and-Functional-Architecture
IJO
저도 functional programming에 관심이 많아서 모나드도 검색해서 보고 했는데 이렇게 좋은 기회가 있다니 재미있네요 . category theory도 관심이 많았는데 이제서야 수학의 유용성을 실감하게 됩니다. 앞으로의 시간에 흥분이 되네요 감사합니다.
KTH
집합과 함수부터 짚고 넘어가는 거 확인하는 순간 제대로 된 레퍼런스란 느낌이 들었습니다.
KTH
모나드까지는 코드상으로 어떤 의미를 가지는지 알겟고 c++로도 표현가능할거같습니다. 근데 저는 이게 람다칼큘러스랑 범주론이랑 얼마나 관련이있는지 잘 모르겠네요.
IJO
CGH
https://unglueit-files.s3.amazonaws.com/ebf/e90890f0a6ea420c9825657d6f3a851d.pdf
Category theory for programmers
https://teamdable.github.io/techblog/Moand-and-Functional-Architecture
IJO
저도 functional programming에 관심이 많아서 모나드도 검색해서 보고 했는데 이렇게 좋은 기회가 있다니 재미있네요 . category theory도 관심이 많았는데 이제서야 수학의 유용성을 실감하게 됩니다. 앞으로의 시간에 흥분이 되네요 감사합니다.
KTH
집합과 함수부터 짚고 넘어가는 거 확인하는 순간 제대로 된 레퍼런스란 느낌이 들었습니다.
KTH
모나드까지는 코드상으로 어떤 의미를 가지는지 알겟고 c++로도 표현가능할거같습니다. 근데 저는 이게 람다칼큘러스랑 범주론이랑 얼마나 관련이있는지 잘 모르겠네요.
IJO
https://jaysoo.ca/2017/04/30/learn-fp-with-react-part-1/ react 가 함수형 언어로 이루어져있습니다. 수학적 이론을 토대로 이루어져 있다고 하네요.
IJO
채널지기님의 수학사랑을 프로그래밍에 접목하는것으로 경제적 이익뿐아니라 재미가 있을것 같다고 하셔서 다행입니다. 저도 미천하지만 수학자와 대화를하니 그전에 수즐을 통해 3년 귀동냥한 덕분에 CS를 수학의 이면에 무언가와 연결이 될수 있다고 생각하니 가슴이 설렙니다 , c++과 javascript를 이용하여 함수형 프로그래밍 하다보면 category theory, monad, functor가 나왔는데 크게 와닿지 않았으나 수학자와의 대화를 통해 큰것을 얻을수 있을것 같습닌다. 서로 다른 분야에서의 일을 했으니 주파수를 맞추어 대화하다보면 큰 폭발력이 발생할거라 생각합...
IJO
채널지기님의 수학사랑을 프로그래밍에 접목하는것으로 경제적 이익뿐아니라 재미가 있을것 같다고 하셔서 다행입니다. 저도 미천하지만 수학자와 대화를하니 그전에 수즐을 통해 3년 귀동냥한 덕분에 CS를 수학의 이면에 무언가와 연결이 될수 있다고 생각하니 가슴이 설렙니다 , c++과 javascript를 이용하여 함수형 프로그래밍 하다보면 category theory, monad, functor가 나왔는데 크게 와닿지 않았으나 수학자와의 대화를 통해 큰것을 얻을수 있을것 같습닌다. 서로 다른 분야에서의 일을 했으니 주파수를 맞추어 대화하다보면 큰 폭발력이 발생할거라 생각합...
![](https://alook.so/assets/hurdle-bg-1799b769f63897f591a4ec02ca099354308b8484ea688c711bd739afa0683c96.png)