함수형은 하스켈 밖에 안해봐서 모르는데 값이랑 함수랑

[익명(125.149)]

본질적으로 다른게 없는 것 같더라...? 맞나...?

[러브마지널(lovemarginal)]

type은 정수형, 문자형, 함수형 등등 다르지만 변수에 집어넣고 함수 인자로 집어넣고 함수 리턴으로 나오고 그런 건 다 똑같음

[커헠(msca8h)]

람다대수학 기준으로는 모든 값은 함수임. 함수 외세 아무것도 없음 - return 0;

[커헠(msca8h)]

러브마지널 / 타입은 람다대수학의 형식 시스템 다음에 오는거다 - return 0;

[러브마지널(lovemarginal)]

커헠// untyped 언어가 함수형 언어중에 있냐?

[러브마지널(lovemarginal)]

자연수를 Succ Succ Succ ... 이런 식으로 표현하는 게 현실에서 가능?

[20160525(circir6174)]

제 상상속의 리습에선 가능합니다

[20160525(circir6174)]

오직 내 상상속에서만

[커헠(msca8h)]

하스켈에서는 그렇게 표현되는데 - return 0;

[커헠(msca8h)]

물론 에뮬레이션이긴 하지만 - return 0;