하스켈 코드를 람다 대수로 바꾸는 알고리즘이 있을까요?
[일반] 람다 대수, 계산 가능성, 하스켈 아시는 분 계신가요?
기괴공학도(mecheng98)
2019-03-15 15:55
추천 0
댓글 4
다른 게시글
-
Euclidea 10-12 (Center of Rotation)[일반] 루키우스안..(nhj03010) | 19.03.15추천 8
-
module of differential 대해 기초적인 질문이 있습니다. [2][일반] 익명(203.252) | 19.03.15추천 1
-
동역학 관점에서 적은 미방책 머있음? [3][일반] 코세(rationnel) | 19.03.15추천 0
-
montgomery vaughan 배경지식이 어케됨? [4][일반] ㅇㅇdd(125.176) | 19.03.15추천 0
-
지도교수가 그렇게 중요한가? [13][일반] 익명(223.62) | 19.03.15추천 0
-
난 왜 집합론이 졸라 재밌지 [3][일반] 익명(117.111) | 19.03.15추천 1
-
밑에 함수관련해서 글올라온거 [1][일반] 익명(61.254) | 19.03.15추천 0
-
set과 class의 차이가뭔가요 [4][일반] ㅇㅇㅇ(113.60) | 19.03.15추천 0
-
요즘 서울대 임용되는 교수들이 지방국립대나 인서울 임용되는 교수들보다[일반] 익명(223.62) | 19.03.15추천 0
-
함수 고수만 [13][일반] 익명(122.46) | 19.03.14추천 0
프갤에도 물어보셈 ㅇㅇ
Haskell to y combinator 검색하면 뭐 안나옴?
하스켈로 람다 대수를 인코딩하는 건 나오는데, 하스켈을 람다 대수로 바꾸는 건 안 나오는데요?
ns님은 컴퓨터쪽에도 능통하시네