은 내가 도메인특정언어 (논리)에 대한 menhir
기반 구문 분석기를 포함하는 몇 가지 코드가 있습니다. 디버깅하는 동안 내 정신을 위해, 바로 지금과 같은 최상위이 언어의 경우 (공식)을 입력 할 수 있도록 좋은 것 :OCaml 최상위 도메인에서 Camlp4로 도메인 특정 언어 포함하기.
# f = << P(x,y) & x!=y >>
는 campl4/5
내 유일한 옵션인가? 그렇다면 협박하는 문서를 찾습니다. 내 유스 케이스에 충분히 가깝고 적응할 수있는 예제/튜토리얼이 있습니까? 예를 들어 새 키워드를 소개하는 구문 확장은 적합하지 않은 것으로 보입니다. 감사!
감사합니다. 유지 관리가 거의 필요하지 않은 점은 좋습니다. 문자열 파서를 사용하면 다음과 같이 요청할 때와 거의 비슷하게 향상시킬 수 있습니다 :'# f = parse_str ("P (x, y) & x! = y") ;;' – Nikos