논리형 언어랑 함수형 언어 못 섞겠다

[기괴공학도(mecheng98)]

생각을 쏟아부었지만 융합 실패 ...

GG

[lp(24.131)]

그 둘을 섞을 필요가 있을까요? 순수 함수형 언어로 논리형 언어를 구현하더라도 WAM 같은 저수준 최적화를 할 수 없으니 사용이 어려울 텐데...

[기괴공학도(mecheng98)]

저만의 언어를 만드는 게 꿈인데 최대한 많은 기능을 넣고 싶어서요. 함수형 언어이지만 술어 모나드를 이용하여 논리형 언어로도 쓸 수 있게 하려고 했는데, 잘 안 되네요. - dc App

[lp(24.131)]

언어를 만드는 것이 목표라면 추상화 레이어를 쌓는 방식은 더더욱 피하는 편이 좋다고 생각됩니다. 논리형과 함수형 언어의 혼합은 Mercury(
https://www.mercurylang.org/)를,
논리형 언어의 구현은 VM 튜토리얼(
https://dl.acm.org/citation.cfm?id=3191320)을
참조하는 건 어떨지?

[기괴공학도(mecheng98)]

와 정말 감사합니다 ㅠㅠ

[기괴공학도(mecheng98)]

너무 감사해요 ㅠㅠ

[기괴공학도(mecheng98)]

저는 무식하게 구현하는 법만 떠올랐는데, 이미 다른 사람들이 머리를 썼군요.

[영어로검색(203.247)]

논리형 언어를 embedded DSL로 간단하게 구현하는 방법으로는 miniKanren 으로 검색해보세요

[영어로검색(203.247)]

하스켈 전용이라면 LogicT 라이브러리도 있고 ...