Tôi có thể tìm thấy ngữ pháp chính thức cho ngôn ngữ lập trình Perl ở đâu?

Question

Tôi hiểu rằng cú pháp Perl là mơ hồ và sự định hướng của nó là không nhỏ (sometimes involving execution of code during the compile phase). Bất kể, Perl có một ngữ pháp chính thức (mặc dù không rõ ràng và/hoặc bối cảnh nhạy cảm)?

Answer 1

Từ perlfaq7

Tôi có thể có được một BNF/yacc/RE cho ngôn ngữ Perl?

Không có BNF, nhưng bạn có thể Paw theo cách của bạn thông qua các ngữ pháp yacc trong perly.y trong việc phân phối nguồn nếu bạn đặc biệt dũng cảm. Ngữ pháp dựa trên mã thông báo rất thông minh, vì vậy hãy chuẩn bị để tham gia vào toke.c .

Trong những lời của Chaim Frenkel: "ngữ pháp Perl không thể được giảm xuống còn BNF Các công việc của phân tích perl được phân phối giữa yacc, lexer, khói và gương.."

Để xem các thiết lập tuyệt vời của ví dụ về TẠI SAO nó khá nhiều gần như không thể phân tích Perl do ảnh hưởng bối cảnh, hãy nhìn vào Randal Schwartz's post: On Parsing Perl

Bên cạnh đó, xin vui lòng xem thảo luận trong "Perl 5 Internals (Chapter 5. The Lexer and the Parser)" bởi Simon Cozens .

---

Xin lưu ý rằng answer is different for Perl6:

• Có tồn tại a grammar for Perl6

• Rakudo Perl có its own version of the grammar

Answer 2

Không có ngữ pháp chính thức theo nghĩa "đây là đặc điểm kỹ thuật của Perl 5 "(TheTuy nhiên, nỗ lựcđang cố khắc phục điều đó). Nhưng có một ngữ pháp chính thức trong mã nguồn Perl 5. Tất nhiên, việc hiểu mã là rất có thể không phải là một công việc tầm thường.

Jeffrey Kegler cũng đã viết một số bài viết hay về ngữ pháp perl trên blog của anh ấy. Cụ thể, xem this post và this one. Phần còn lại của blog có một số suy nghĩ khá thú vị về phân tích cú pháp nói chung là tốt.

Answer 3

Những người khác đã đăng liên kết này trước đây về các câu hỏi tương tự, nhưng tôi nghĩ điều đó thật thú vị và có ví dụ điển hình: Perl Cannot Be Parsed (A Formal Proof).

Từ liên kết:

[Xem xét] các devilish đoạn sau mã, pha chế bởi Randal Schwartz, và xác định phân tích cú pháp chính xác cho nó:

bất cứ điều gì/25; # /; chết "cái chết này!";

Snippet Schwartz có thể phân tích cú pháp hai cách khác nhau: nếu bất cứ điều gì là nullary (có nghĩa là, không có đối số), báo cáo kết quả đầu tiên là một bộ phận trong khoảng trống bối cảnh, và phần còn lại của dòng là một lời nhận xét . Nếu bất cứ điều gì có một đối , Snippet Schwartz của phân tích như một cuộc gọi đến bất cứ chức năng với kết quả của một nhà điều hành trận đấu, sau đó một cuộc gọi đến chết function().

Điều này có nghĩa rằng, để phân tích cú pháp tĩnh Perl, phải là để xác định từ một chuỗi Perl 5 mã cho dù thiết lập mẫu thử nghiệm vô giá trị cho bất kỳ chương trình con nào .

Tôi chỉ đăng phần này để cho thấy rằng nó thực sự khó thực sự nhanh chóng. Ngoài ra, nhiều trình soạn thảo mã/văn bản có thể làm một công việc đánh dấu cú pháp (mặc dù không bao giờ tuyệt vời) để bạn có thể bắt đầu với những thông số kỹ thuật đó để xem chúng làm gì. Trong thực tế, bạn đã truyền cảm hứng cho tôi, tôi nghĩ rằng tôi sẽ đăng một câu hỏi liên quan yêu cầu những gì biên tập viên nổi bật nhất Perl.