Pegjs: 포럼 또는 채팅? 값을 아래로 전달하거나 값을 표시합니까?

문법에서는 규칙을 이해하는 것이 필수적입니다. 그리고 당신은 서브 만 제공하고 있습니다 .. 이것은 나에게 명확하지 않습니다. 어떻게 기계에 명확 할 수 있습니까?
LALR 문법은 쓰기가 매우 어렵지만 LR보다 쉽고 LL보다 쉽습니다.
PEG 문법은 쓰기 쉽고 효율적으로 쓰기가 가장 어렵습니다.
올바른 장난감을 사용하고 있습니까? 훌륭한 PEG 문법을 가지고 있다면 트랜스파일러를 만들거나 규칙을 해석하는 것처럼 쉽게 해석할 수 있어야 합니다.

가상 머신의 boxing/unboxing을 아십니까?

어떻게 할당의 왼쪽에 values 를 가질 수 있습니까? body:(_ "=>" _ Expression)? 가 ?로 끝났기 때문입니다

당신의 문법에서 values 는 무엇을 의미합니까? L값 이 무엇인지 아십니까?

문법을 의미상 가깝게 유지해야 합니다. 어떤 경우에는 PEG가 어렵습니다. { type: "Literal", value: ... } 는 정확히 AST에서 필요한 것입니다. http://astexplorer.net/에서 어떻게 생겼는지 살펴보세요.

방금 실험을 위해 그것을 사용하기 시작했습니다. 그래서 네, 일부 이름이 올바르지 않습니다. :) 간단한 LL(1) 파서를 몇 개 작성했지만 오랜만입니다. 결정을 내리는 가장 좋은 방법이 무엇인지 궁금합니다. 이 구문을 단순화하겠습니다.

에이 = ㄴ
또는
x => x * x

이런식으로 하는게 더 맞나요?

할당 또는 기능
= ident:식별자 연산자:IdentOperator {
if (operator.type === "함수") {
...
}

식별자 연산자
= "=" !">" { return { 유형: "할당"; } }
/ "=>" { ... }

참고로, "값"은 항목 목록을 의미하는 데 사용한 용어입니다. 튜플로 사용하면 값이지만 함수 인수를 정의하는 데 사용하면 변수입니다. 예를 들어 (2 + 3).

시간 내 줘서 고마워!

@mikeaustin 그것은 당신의 것입니다 :-)

문법을 쓰는 것은 모두 축소 에 관한 성명서 입니다. 그것은 문장과 같습니다. 알다시피, 당신은 LL 문법을 가지고 있습니다 :-)

문법을 의미로 정의하는 것은 당신의 책임입니다 (때때로 영어에 문제가 있어 죄송합니다 :-D)

AssignmentOrFunction을 어떻게 처리하시겠습니까? 이것은 기본적으로 많은 언어의 문과 동일하지만 R-값 도 될 수 있습니다.
반대편에서

    = "=" !">" { return { type: "Assignment"; } }
    / "=>" { ... }

다음과 같이 더 잘 쓸 수 있습니다.

    = "=>" { ... }
    / "=" { return { type: "Assignment"; } }

내가 틀릴 수도 있습니다. 그러나 이것은 그다지 중요하지 않은 부분에서 문장을 깨는 것 같습니다. 맥락이 없으면 이것을 평가하는 것이 중요하지 않습니다..

PEG는 도달할 수 없는 규칙을 쉽게 작성할 수 있거나 문장을 도용하여 잘못 평가하는 규칙을 작성할 수 있기 때문에 쓰기가 정말 어렵습니다. 따라서 초보자라면 왼쪽에 문장이 있어야 하고 오른쪽에 필수 AST가 항상 있어야 합니다. 문법 규칙보다 자동화된 테스트가 몇 배 더 많습니다. 저를 믿으세요. 규칙 하나를 변경하면 전체 파서가 고장날 것입니다.

그리고 물론 당신은 가지고 놀고, 무언가를 쓰고, 계속해서 반복해야 합니다. PEG로 효과적인 표현식 계산기를 작성하는 것은 사소한 일이 아닙니다. 여러 수준의 우선 순위에 유의하십시오. PEG는 일반적인 구문 분석에 더 좋습니다.

당신은 당신의 질문에 더 많은 맥락을 제공하지 않으므로 당신이 정말로 만들고 싶은 것을 추측하기가 매우 어렵지만 문법을 더 많이 다루어야 한다고 추측할 수 있습니다. AntLR , 학습을 위한 훌륭한 도구, GoldParser(LALR)(내 첫 번째 장난감 :-) ), 잘 테스트되고 가장 효율적이지만 토크나이저/파서(이전 lex 및 yacc, 최신 flex 및 bison)로 분할된 일부 구식 파서, 많은 포트 ..

PEG가 가장 단순해 보입니다. 정말이야. 하지만 항상 가장 위험할 것입니다...

감사합니다! 아, pegjs용 Google 그룹을 찾았지만 개발 섹션에 있기 때문에 눈치채지 못했습니다. 다른 질문이 있으면 대신 거기에 가겠습니다.

예, 할당 "x = y"는 _statement_이지만 "x => x * x"는 _expression_의 일부일 수 있으며 "x == y" 등입니다. "="는 특별한 경우이므로 정규 연산자가 아니라는 점에서 "=>"입니다. 더 많이 연습하고 예제를 더 자세히 살펴보겠습니다. 계산기보다 크지만 다른 예보다 작은 예가 있으면 좋겠습니다. 어쩌면 내가 발전한다면 그것은 예가 될 수 있습니다 :)

내 프로젝트의 경우 JS로 변환할 간단한 언어를 작성하고 싶습니다. 기본은 외부의 어휘 범위 메서드(Dylan 또는 CLOS와 같이 원숭이 패치는 없지만 다중 메서드 없음), 키워드 인수, ADT, 어쩌면 선택적 정적 입력일 수도 있습니다. "단순"은 모든 것이 함께 작동한다는 것을 의미하며 무언가를 수행하는 방법은 단 한 가지뿐입니다. 간단한 것을 만드는 것은 _어려운_ 수 있습니다.

또한 네이티브 구문의 이점을 얻을 수 있는 adt 및 multimethods 와 같은 라이브러리가 있습니다. 그것들은 실제로 sweet 으로 달성할 수 있지만 sweet 는 JS를 확장할 수 있을 뿐 더 간단하게 만들 수는 없습니다. TypeScript 에는 "--strictNullChecks"와 같은 옵션이 있고 인라인 공용체 유형을 지원하지만 JS를 확장하여 모든 나쁜 것을 그대로 둡니다(암시적 강제 변환, 문자열 연결에 대한 "+", 범위 호이스팅 등).

다시 한 번, 모든 도움에 감사드립니다!
마이크

나는 역추적하지 않고 욕심을 부리지 않는다는 것은 "현재 어디에 있든" 작업해야 한다는 것을 의미한다고 가정했지만, 그렇지 않습니다. 야!

Greedy는 일치하는 항목을 찾으면 가져갈 것이라는 의미입니다. 맞습니까? 그러나 전체 규칙이 일치하지 않으면 다음 경기의 처음부터 다시 시작됩니다. 이것은 내가 처음 시도했던 방법보다 훨씬 쉽게 만듭니다.

x, y = 2 + 3.foo + "foo", 5 * 2

할당이 정규식 등과 별도로 일치할 수 있는 경우 이는 상당히 쉽습니다.

  = Assignment
  / Expression

Assignment
  = vars:Variables _ "=" _ expr:Expression

Variables
  = head:Identifier tail:(_ "," _ Identifier)*

...

@mikeaustin PEG는 표현식에서 일치하는 첫 번째 패턴이 자동으로 일치한다는 것을 의미하는 선택 을 @langpavel 의 예는 => 보다 = => 대한 선호도를 표현하는 좋은 방법입니다. "표현이 될 수 있는 이 모든 텍스트를 가져와 나중에 알아내기" 대신 "이것 중 하나"라는 용어로 표현이 무엇인지 더 생각하고 싶을 수도 있습니다.

  = FunctionExpression
  / Assignment
  / Value

시연하기 위해 저는 여러분이 가지고 놀 수 있는 테스트 문법 을 만들었습니다. 약간 시끄럽지만 여분의 공백 및 연산자를 허용하는 것과 같은 몇 가지 사항을 무시하고 꽤 단순하게 유지하려고 노력했습니다. 마법이 일어나는 Expression 블록에 주목하십시오. 또한 SubExpression 및 ExpressionList 와 같은 것을 "이 중 많은" 상황을 처리하는 방법으로 사용했습니다. 이 패턴은 목록 구분 기호와 항목을 분리하는 데 적합합니다.

각각의 경우에 저는 각 종류의 일치 항목에 대해 하나의 항목을 사용하여 문법을 단순하게 유지하려고 노력하고 있습니다. 가능한 모든 조합이 포함된 하나의 큰 일치 시퀀스를 갖도록 다시 작성할 수 있기 때문에 약간의 중복성이 있습니다. 도움이 되기를 바랍니다.

시험 문법 한번 볼게요 감사합니다! JavaScript 문법이 꽤 크기 때문에 언어의 최소한의 하위 집합을 보는 데 도움이 됩니다.

: @dmsnell 내가 규칙을 제거하고 자바 스크립트 문법에 몇 가지 새로운 것들을 추가하여 최근에 많은 것을 배웠, 당신은 여기에 최신 볼 수 있습니다 impulse.pegjs을 . 생략 구문 [,,], 일부 연산자, 시퀀스 표현식 등을 제거하고 튜플 구문(1, 2) 및 범위 구문 1..5를 추가했습니다. 부동 소수점 숫자는 리터럴 범위를 더 쉽게 구문 분석할 수 있도록 양쪽에 소수가 필요합니다.

저는 최근에 많은 런타임 작업을 하고 있지만 실제로 JavaScript를 내보내려면 파서로 돌아가고 싶습니다. 저는 작업 사이에 있으므로 시간이 조금 있습니다. :) 확장 메서드, 명명된 매개변수, 특성 및 믹스인, 연산자 오버로딩 및 리터럴 튜플 및 범위 구문을 사용하여 JavaScript의 깔끔한 방언에 대한 몇 가지 아이디어 .

다시 한번 감사합니다!
마이크