람다 조금 배우고 함수형 언어하면

[Kyle(120.18)]

개념이해 잘된다

Reduction, succesor 등등 그리고 람다형 함수 작성

[ㅇㅇㅇ(122.43)]

람다 배우려면 뭐가 좋을까요

[Kyle(120.18)]

단점은 람다는 진짜 기본이고 언어들은 그것에 업그레이드된 람다 type 같은거 존재하니

[ㅇㅇㅇ(122.43)]

님은 어떻게 공부했어요

[Kyle(120.18)]

난 대학에서 위키피디아 읽었죠 Church numeral 도 ocaml 로 써가면서 근데 원래 미적분 하긴했음 근데 람다는 고딩때 미적분과 완전다름 그냥 church numeral 만 마스터해도 개념은 다이해임 그리고 folding map 이런거 첨부터 작성해보고