[%] 이런 언어 만들고 싶습니다

[기괴공학도(mecheng98)]

이걸 실행했을 때 True가 출력되게 하고 싶어요.

만들 줄 아는 건 G-machine이랑 LALR1 PGS 뿐이고,

아직은 Higher-Order Pattern Unification을 구현할 줄 모릅니다.

lambda-Prolog with supercombinator를 만들고 싶은데, 어떻게 해야 될까요?

- dc official App

[코로나(lchbest10)]

글씨 이쁘네영

[기괴공학도(mecheng98)]

감사합니다 - dc App

[Recursion(recursion)]

그 람다 프롤로그 책 보면서 구현함? - dc App

[기괴공학도(mecheng98)]

HOPU 구현할 줄 모름 - dc App

[Go자(megyo)]

비슷한 언어 구현보고 베껴보기? - dc App

[기괴공학도(mecheng98)]

네 그러려고요 - dc App