AdaLogic BASIC（ALB）— 学ぶ、共有する、作る オープンワークショップ
AdaLogic BASIC
AdaLogic BASIC（ALBプログラミング言語）は、プログラム、ゲーム、アプリケーションを作るための高度な型付きBASIC方言です。読みやすい構文に加えて、KNOWSとFINDによるPrologスタイルの論理プログラミング、REQUIRE/ENSURE契約、そしてアセンブリ、Ada、C、TypeScriptを組み込むENABLE/INLINEブロックを備えています。
同じプロジェクトを16種類のターゲットにコンパイルできます。FASMとNASMによるネイティブx86-64、C、ブラウザー向けTypeScript/WebAssemblyのほか、Ada、Java、.NET/C#、Rust、Python、Lua、MoonScript、Haskell、Odin、C3、6502、Brainfuckに対応します。詳しくは技術一覧をご覧ください。
ALBの特徴
- 組み込み論理：事実、規則、ホーン節、クエリを言語の一部として扱えます。
- 契約：手続きの事前条件と事後条件を明確に記述できます。
- 多言語ブロック：必要に応じてBASICとターゲット固有のコードを組み合わせられます。
- 多彩なターゲット：WebAssemblyやx86-64から、6502を使うレトロ環境まで対応します。
ALBニュース
注目のサンプル
ALBで作られたソフトウェア
AdaLogic BASICで作られた実際のソフトウェア。ALBツールチェーンでコンパイルされたデスクトップツール、エディター、グラフィックスデモです。
