AdaLogic BASIC (ALB) — học, chia sẻ, xây dựng XƯỞNG MỞ
AdaLogic BASIC
AdaLogic BASIC — ngôn ngữ lập trình ALB — là một phương ngữ BASIC nâng cao, có kiểu dữ liệu, dùng để viết chương trình, trò chơi và ứng dụng. Ngoài cú pháp rõ ràng, ngôn ngữ còn cung cấp lập trình logic kiểu Prolog với KNOWS và FIND, hợp đồng REQUIRE/ENSURE và các khối ENABLE/INLINE để tích hợp Assembly, Ada, C và TypeScript.
Cùng một dự án có thể biên dịch sang mười sáu đích: x86-64 gốc qua FASM và NASM, C, TypeScript và WebAssembly cho trình duyệt, cùng Ada, Java, .NET/C#, Rust, Python, Lua, MoonScript, Haskell, Odin, C3, 6502 và Brainfuck. Xem danh sách công nghệ đầy đủ.
Điều gì làm ALB khác biệt
- Logic tích hợp: sự kiện, quy tắc, mệnh đề Horn và truy vấn là một phần của ngôn ngữ.
- Hợp đồng: chỉ rõ tiền điều kiện và hậu điều kiện của thủ tục.
- Khối đa ngôn ngữ: kết hợp BASIC với mã riêng của đích khi cần.
- Nhiều đích: từ WebAssembly và x86-64 đến các hệ thống cổ điển dùng 6502.
Tin tức ALB
Ví dụ nổi bật
Phần mềm viết bằng ALB
Phần mềm thực tế được viết bằng AdaLogic BASIC — công cụ desktop, trình chỉnh sửa và bản demo đồ họa được biên dịch bằng toolchain ALB.
