프로그래밍언어론이랑 현대대수학이랑 관련성 깊음?

[익명(211.108)]

궁금

[익명(chartman)]

현대대수학 안끌어들여도 타입추론 잘만하고 그거 드립치는 애들도 그걸 어떻게 쓴다는건지 모름

[chironpractor(spray1203)]

현대대수학이면 함수형 언어들에서 소개하는 개념같은거랑 연관이 있으려나 ㅇㅅㅇ