[일반] 범주론을 쓰는 프로그래밍 언어가 있다?

[기괴공학도(121.179)]

https://en.m.wikibooks.org/wiki/Haskell/Category_theory

짤은 Haskell의 type class들임.

확실히 수학이 이공계의 중심을 지키고 있는 듯.

뻘글 ㅈㅅ

[코세(rationnel)]

언어계의 힙스터라고 하는 함수형언어

[익명(119.202)]

엄밀히 카테고리는 아니다

[익명(119.202)]

비슷한거지

[기괴공학도(223.39)]

그렇군요

[ns(qwer2357)]

뭐가 아니라고 봄? 맞지 않음?

[익명(175.223)]

유사하긴한데 병적인 예시가 몇개있다고 알고있음