Máy ảo tốt để phát triển ngôn ngữ sở thích là gì?

Question

Tôi đang nghĩ về việc viết một ngôn ngữ nhỏ của riêng mình.

Tôi đã tìm thấy một vài tùy chọn, nhưng vui lòng đề xuất thêm.

• JVM
• Parrot
• OSA

Rất nhiều ngôn ngữ đang sử dụng JVM, nhưng trừ khi bạn viết một ngôn ngữ Java-ish, tất cả sức mạnh stdlib mang đến cho bạn sẽ cảm thấy xấu xí; Nó không phải là rất tốt ở các công cụ năng động, hoặc.

Vẹt có vẻ là một máy ảo tốt để phát triển ngôn ngữ, nhưng nó có một chút mùi bỏ hoang/chưa hoàn thành/sở thích của dự án đối với nó.

OSA là thứ cung cấp năng lực cho Applescript, không phải là một VM đặc biệt nổi tiếng, nhưng tôi sử dụng Mac và nó cung cấp tích hợp hệ thống tốt.

CLR + Mac dường như không phải là một sự kết hợp tốt ...

Ngôn ngữ của tôi sẽ được một đối tượng định hướng chức năng ngôn ngữ dataflow đồng thời với gõ mạnh và một kết hợp của Python và cú pháp Lisp. Âm thanh tốt, eh?

[sửa]
Tôi đã chấp nhận Python bây giờ, nhưng tôi muốn nghe thêm về OSA và Parrot.

Answer 1

Một phương pháp tôi đã sử dụng là sử dụng mô-đun Python ast để tạo một cây cú pháp trừu tượng biểu thị mã để chạy. Hàm Python compile có thể biên dịch một AST thành mã byte bytecode, sau đó có thể chạy exec. Đây là cấp cao hơn một chút so với trực tiếp tạo bytecode, nhưng bạn sẽ phải đối phó với một số quirks của ngôn ngữ Python (ví dụ, sự khác biệt cơ bản giữa các câu lệnh và các biểu thức).

Khi thực hiện việc này, tôi cũng đã viết mô-đun "không hoạt động" cố gắng chuyển đổi AST trở về mã nguồn Python tương đương, chỉ để gỡ lỗi. Bạn có thể tìm thấy mã trong kho lưu trữ psil nếu bạn quan tâm.

Answer 2

• Lua có một nhỏ, được viết tốt và nhanh VM
• Python VM - bạn thực sự có thể đính kèm một ngôn ngữ mới để nó nếu bạn muốn. Hoặc viết (sử dụng?) Một cái gì đó như tinypy đó là một thực hiện nhỏ và đơn giản của máy ảo Python.

Cả hai tùy chọn trên đều có quyền truy cập vào thư viện chuẩn hữu ích sẽ giúp bạn làm việc và được mã hóa trong C tương đối sạch và mô-đun, vì vậy không khó để kết nối.

Điều đó nói rằng, tôi không đồng ý rằng Parrot bị bỏ rơi/sở thích. Nó khá trưởng thành, và có một số nhà phát triển rất mạnh làm việc trên nó. Hơn nữa, nó đặc biệt là một máy ảo được thiết kế để được nhắm mục tiêu bởi nhiều ngôn ngữ động. Vì vậy, được thiết kế với sự linh hoạt trong tâm trí.

Answer 3

Hãy xem LLVM. Nó không phải là một máy ảo thuần túy như vậy, một khung công tác với IR của chính nó cho phép bạn xây dựng các máy ảo mức cao. Có những nội dung thú vị như phân tích mã tĩnh và hỗ trợ JIT

Answer 4

Bạn đã xem Pypy chưa?Từ những gì tôi đã đọc, ngoài việc là một trình biên dịch JIT của Python, nó cũng có khả năng xử lý các ngôn ngữ khác. Ví dụ: a tutorial giải thích cách tạo trình biên dịch Jit Brainfuck bằng Pypy.