FunctionBASIC

Structured BASIC → MSX-BASIC → webMSX

Write modern, block-structured BASIC, transpile it to authentic MSX-BASIC, and run it instantly in webMSX — all inside one editor.

⚠️ This is an experimental, work-in-progress tool. The language, the transpiler, and the editor are all evolving. Expect rough edges, breaking changes, and missing features. Feedback and contributions are very welcome.

Overview

FunctionBASIC is a small editor and transpiler that lets you write Structured BASIC — a modern dialect with real functions, block structures, local variables, and reference parameters — and converts it into classic MSX-BASIC (line numbers, GOSUB/GOTO, two-letter variables). You can then run the result instantly in webMSX without leaving the editor.

What is Structured BASIC? It is BASIC the way you would write it today: named FUNCTIONs instead of GOSUB line jumps, IF / ELSE / END IF and FOR / NEXT blocks you can freely nest, locals by default, GLOBAL to opt in to shared state, and REF parameters for true pass-by-reference. No line numbers, no manual variable juggling.

Why convert to MSX-BASIC? Real MSX machines (and emulators) run tokenized MSX-BASIC. By transpiling, you keep the comfort of structured code while producing programs that run on actual 8-bit hardware and emulators — line-numbered, two-letter-variable, GOSUB-based BASIC that an MSX understands natively.

Why webMSX? webMSX is an excellent browser MSX emulator. FunctionBASIC embeds it (via an iframe, as an external service) and feeds your converted program straight in, so the loop of write → convert → run takes a single click. No floppy juggling, no manual RUN.

Why it pairs well with AI (Claude). Structured BASIC reads like ordinary structured code, which is exactly what large language models such as Claude generate well — far more reliably than hand-numbered spaghetti BASIC. You can ask an AI for a function, paste it in, convert, and run. This project itself was built iteratively with Claude.

Features

Structured BASIC language — FUNCTION, freely nestable IF/FOR/WHILE blocks, local-by-default variables, GLOBAL, REF parameters, BREAK/CONTINUE, RETURN, and arrays (including arrays by reference).
Automatic transpilation to MSX-BASIC — line numbering, two-letter variable allocation, function-to-GOSUB expansion, return-value handling, and 255-byte line auto-splitting.
Long, readable variable names (name-length extension) — MSX-BASIC only distinguishes the first two characters of a name, so it normally forces cryptic identifiers. FunctionBASIC removes that limit: write descriptive names like PLAYER_SCORE or ENEMY_X, and the transpiler assigns each one a unique MSX-legal name automatically.
Instant execution — one click runs the converted program inside an embedded webMSX, loading and RUN-ning automatically.
All in one editor — syntax highlighting, live conversion preview, error markers, formatting, JetBrains-style navigation, draggable split tabs, an in-app menu bar, a native OS menu, and Japanese / English UI.
Multi-file projects (INCLUDE) — a preprocessor expands INCLUDEd files into a single program, with duplicate-include de-duplication and circular-include detection.
255-byte line auto-splitting — generated lines that exceed MSX's 255-byte limit are automatically repacked across :/; boundaries (unsplittable lines, e.g. some IF…THEN, are flagged instead of silently truncated).
Real disk export — generate a 720 KB FAT12 .dsk image for openMSX, real hardware, or distribution.
Reverse transpilation — turn existing MSX-BASIC back into Structured BASIC (and restore the original file split where possible).
Target machines — built-ins are aware of MSX1 / MSX2 / MSX2+ / turboR (turboR by default), and the built-in table is editable.
Correct MSX text encoding — files are saved as Shift-JIS (the encoding real MSX machines use); characters that cannot be represented are reported rather than silently corrupted.
Safe diagnostics — the transpiler never silently mis-converts. Unsupported constructs and errors are reported with error codes and line/column positions, and shown as inline markers in the editor gutter.
Recursion guard — this GOSUB-based scheme reuses fixed variable names, so recursive / cyclic calls cannot work; they are detected and reported (E_RECURSION_UNSUPPORTED) instead of producing broken code.

Usage

Write Structured BASIC in the editor (functions, blocks, locals — no line numbers).
Convert — the "MSX-BASIC (output)" tab shows the generated line-numbered BASIC live as you type; "Convert & Save" writes it to disk as Shift-JIS.
Run — press ▶ WebMSX (or Ctrl/Cmd+Enter). The program is packaged and loaded into the embedded webMSX, which boots and runs it automatically. For real hardware or openMSX, use Save Disk (.dsk) instead.

Current limitations of the embedded WebMSX player

The in-app player embeds webMSX as a cross-origin iframe, which means it can only be driven by rebooting with a data-URL disk each run. This brings a few limitations (transpilation itself is unaffected — the generated MSX-BASIC is correct):

No FM (MSX-MUSIC) sound here. Programs using CALL MUSIC / PLAY #2 transpile correctly and play in MSXPen / openMSX / real hardware, but FM stays silent in the embedded player. Verify FM elsewhere.
No MSX-AUDIO. webMSX does not emulate MSX-AUDIO (Y8950); CALL AUDIO etc. need openMSX or real hardware.
Reboot per run. Every run reboots the machine (there is a short lead time and no state is preserved between runs).
Machine is webMSX's default. turbo R–only programs (_TURBO …, examples/turbo-r.msxb) need the machine switched to turbo R via the webMSX gear (⚙) menu.
Audio needs a click. Browsers may keep audio suspended until you click the webMSX screen once (Web Audio autoplay policy).

For sound-accurate or stateful testing, Save Disk (.dsk) and run in openMSX or on real hardware. (A future same-origin player could remove the reboot-per-run and FM limitations — see TODO.md.)

Tip — paste into MSXPen. Use the 📋 Copy button on the MSX-BASIC (output) tab to copy the converted program, then paste it into MSXPen and run it there — the same program plays with FM audible. Exactly why FM stays silent in this app's embedded player is still unclear (a likely-but-unconfirmed cause is that our per-run reboot auto-runs the program from disk before the FM chip has finished initializing). For now, pasting into MSXPen is a reliable way to hear FM without leaving the browser.

Building from source

Prerequisites: Node.js ≥ 22.6 (for the zero-dependency core and the browser editor). For the desktop app you also need the Rust toolchain and the Tauri prerequisites for your OS (on macOS, the Xcode Command Line Tools).

The core has no npm dependencies, so there is nothing to npm install.

Run the core tests: npm test — type-stripped TypeScript tests via Node's built-in test runner.
Browser editor (no build tools): npm run serve, then open http://localhost:8123. This type-strips the core into editor/core/ and serves the editor.
Desktop app (development): npm run app:dev — builds the core and launches the Tauri dev window (Rust + system WebView).
Desktop app (release build): npm run app:build — produces a bundled application under src-tauri/target/release/bundle/ for your platform.

The desktop scripts use npx @tauri-apps/cli, so the Tauri CLI is fetched on demand (still no committed dependencies).

Syntax Guide

Construct	Form	Notes
`FUNCTION`	`FUNCTION NAME(params) … END FUNCTION`	Top-level only. Use `REF` before a parameter for pass-by-reference.
`IF / ELSE`	`IF cond THEN … ELSE … END IF`	Block form; freely nestable inside loops and other blocks.
`FOR / NEXT`	`FOR I = a TO b [STEP s] … NEXT I`	Standard counted loop.
`WHILE`	`WHILE cond … WEND`	Condition loop; `BREAK` / `CONTINUE` supported.
`GLOBAL`	`GLOBAL X`	Opt in to a shared (global) variable; otherwise variables are local.
`RETURN`	`RETURN [value]`	Returns from a function, optionally with a value.
Arrays	`DIM A(n)` ; pass with `REF A`	Arrays may be passed by reference, including string arrays.

Transpiler Rules

Line numbering — MAIN (your top-level code) starts at 100; each function gets its own 1000-step segment (1000, 2000, …). Comments mark each segment.
Variable names (length extension) — MSX-BASIC treats only the first two characters of a name as significant (COUNT and COUNTER collide) and rejects _, which normally forces 1–2 letter names. FunctionBASIC lets you use long, descriptive identifiers and a name allocator maps each variable to a unique, first-two-characters-distinct MSX name. Pools are per type — % integer, ! single, # double, $ string, roughly 960 names each, with reserved words (IF, TO, ON, OR, FN, …) excluded — and locals whose lifetimes do not overlap reuse names across functions. _ never appears in output names; if a type's pool is exhausted, conversion reports E_VAR_NAMES_EXHAUSTED.
Function expansion — every FUNCTION becomes a GOSUB block; calls become GOSUB <line> and the call site reads the result variable afterward.
Return values — a function's return value is assigned to a dedicated internal variable, which the caller copies immediately after the GOSUB.
Internal variable naming — locals, loop counters, and return variables are allocated from a fixed two-letter pool so they never collide; recursion is rejected (call cycles are detected) because fixed names cannot re-enter.
Arrays by reference — passing the same array always reuses one block (zero copy); calling a function with different arrays duplicates the block per array (monomorphization), so there is no per-call array copy.

Not available in Structured BASIC

Because Structured BASIC has no line numbers and renames variables to two-letter names, some classic MSX-BASIC constructs cannot work. The transpiler reports a clear error instead of silently mis-converting — use the structured equivalent:

Not usable	Use instead
`GOTO` / `GOSUB <line>` (raw line jumps)	`FUNCTION`, `IF`/`FOR`/`WHILE`, `BREAK`/`CONTINUE`
`ON x GOTO/GOSUB <line numbers>` (`E_ON_LINE_TARGET`)	`ON x GOTO/GOSUB <FUNCTION names>` (handlers must be no-arg)
`ON ERROR GOTO <line>`	`ON ERROR GOTO <FUNCTION>`, or `ON ERROR GOTO 0` to disable
`RESUME <line>` (`E_RESUME_LINE`)	`RESUME` / `RESUME NEXT` / `RESUME 0`
`RESTORE <line>` (`E_RESTORE_LINE`)	bare `RESTORE` (reset to the first `DATA`)
`DEFINT` / `DEFSNG` / `DEFDBL` / `DEFSTR` (`E_DEF_UNSUPPORTED`)	name suffixes: `%` int, `!` single, `#` double, `$` string (e.g. `COUNT%`, `LABEL$`)
`DEF FN` / `DEF USR`	a `FUNCTION` (and `POKE` the USR vector if you truly need machine code)
Direct/editor commands: `RUN` `LIST` `AUTO` `RENUM` `NEW` `CONT` `DELETE` `EDIT`	not program statements — they are interactive only
Recursive / cyclic `FUNCTION` calls (`E_RECURSION_UNSUPPORTED`)	the `GOSUB` scheme reuses fixed names; restructure to iterate
Single-line `IF … THEN <stmt>` (no `END IF`)	a block `IF … THEN` … `END IF`

(ON … GOSUB <fn> handler functions and ON x GOTO/GOSUB <fn> targets must take no parameters — E_HANDLER_PARAMS.)

Strict mode (optional static typing)

Put STRICT at the top of a program to turn on opt-in static type checking (Rust-style: no implicit conversions). It is off by default — existing code is unaffected, and MSX's usual implicit numeric conversions still apply in non-strict code.

Under STRICT:

Every variable, array, parameter and FOR variable must carry a type suffix — % integer, ! single, # double, $ string. Untyped names are an error (E_STRICT_UNTYPED).
Assignments, function arguments and return values must match the type exactly. No implicit conversion: A% = B#, A% = 1.5, and any string/number mix are errors (E_TYPE_MISMATCH). Convert explicitly with CINT / CSNG / CDBL / INT / FIX / ASC / STR$ / VAL …
Numeric literals are flexible (5 fits %/!/#; 1.5 fits !/#); operators follow MSX promotion, and the exact-match check fires at the assignment/argument/return boundary.
Because integer (%) math is the fast path on the Z80, STRICT also nudges game logic toward %. For trig/graphics, keep coordinates and math in one float type (!/#) — MSX graphics statements accept floats — or convert at the boundary.

STRICT
FUNCTION ADD%(A%, B%)
    RETURN A% + B%
END FUNCTION
TOTAL% = 0
FOR I% = 1 TO 10 : TOTAL% = ADD%(TOTAL%, I%) : NEXT I%
AVG! = CSNG(TOTAL%) / 10        ' explicit % -> ! conversion

See examples/strict-demo.msxb.

Examples

1. A simple function — find the first zero in an array.

Structured BASIC: ' find the first zero in an array
FUNCTION FIND_ZERO(REF IDX)
    GLOBAL A
    FOR I = 1 TO 10
        IF A(I) = 0 THEN
            IDX = I
            RETURN 1
        END IF
    NEXT I
    RETURN 0
END FUNCTION

DIM A(10)
A(3) = 0
RESULT = FIND_ZERO(POS)
PRINT "FOUND="; RESULT; " AT "; POS

Generated MSX-BASIC: 100 ' === MAIN ===
110 ' find the first zero in an array
120 DIM A(10)
130 A(3)=0
140 GOSUB 1000: B=E
150 PRINT "FOUND=";B;" AT ";C
160 END
1000 ' === FUNCTION FIND_ZERO (IDX->C) ===
1010 FOR D=1 TO 10
1020 IF A(D)=0 THEN C=D: E=1: RETURN
1030 NEXT
1040 E=0: RETURN

2. Multicolour cat from two overlapping sprites (MSX2) — MSX hardware sprites are a single colour each, so a classic trick is to stack two sprites at the same position to get more colours. A cat (a white face sprite over an orange body sprite) bounces around the screen on its own. Full, convert-tested source: examples/cat-sprite.msxb.

The heart of it — one cat is two sprites drawn at the same spot, then moved:

' one cat = two sprites at the same spot, in two colours
PUT SPRITE 0, (CATX, CATY), 15, 0 ' front: white face
PUT SPRITE 1, (CATX, CATY), 9, 1 ' behind: orange body

…which the transpiler turns into authentic MSX-BASIC (variables allocated, coordinates preserved):

300 PUT SPRITE 0,(A,B),15,0
310 PUT SPRITE 1,(A,B),9,1

3. Game skeleton — a minimal main loop (illustrative).

Structured BASIC: FUNCTION UPDATE()
    GLOBAL SCORE
    SCORE = SCORE + 1
    LOCATE 0, 0 : PRINT "SCORE"; SCORE
END FUNCTION

SCREEN 1
SCORE = 0
WHILE 1
    UPDATE()
    IF STRIG(0) THEN BREAK
WEND
PRINT "GAME OVER"

4. MSX2 graphics + BGM/SE — a SCREEN 5 demo that sets a custom palette with COLOR=(n,r,g,b), draws with LINE …,BF / CIRCLE / PAINT / POINT, double-buffers with SET PAGE, block-transfers VRAM with COPY … TO …, plays background music with PLAY, and fires a sound effect with SOUND. All of these MSX2-specific forms (the = palette syntax, the TO clause, the B/BF line options, and POINT / PLAY used as functions) are preserved verbatim through transpilation while your variables are still renamed. Full, convert-tested source: examples/msx2-graphics-sound.msxb.

Roadmap

FunctionBASIC is early and developing. [x] = done, [ ] = not yet (no fixed dates):

Tracked work and ideas live in the issue tracker. Suggestions are welcome.

Contributing

Contributions are welcome.

Issues — bug reports, feature requests, and design discussion. Please include steps to reproduce and your platform.
Pull requests — small, focused PRs are easiest to review. Run the existing tests before submitting, and describe what changed and why.

License

Released under the MIT License.

You may use, copy, modify, and distribute this software freely, including for commercial purposes, provided the copyright notice and permission notice are kept. The software is provided "as is", without warranty of any kind. See the LICENSE file for the full text.

Trademark & External Service Notice

MSX is a trademark of its respective rights holder. This project is unofficial and is not affiliated with, endorsed by, or sponsored by the MSX trademark holder.
webMSX is an external service / third-party emulator. FunctionBASIC merely links to and embeds it via an iframe; it does not bundle or redistribute webMSX, and it is not an official webMSX product.
We use these technologies with gratitude and respect for the MSX trademark holder and for the author of webMSX, whose work makes projects like this possible.

FunctionBASIC（日本語）

構造化BASIC → MSX-BASIC → webMSX

モダンなブロック構造の構造化BASICを書き、本物のMSX-BASICへ変換し、そのまま webMSX で即実行 — すべて1つのエディタの中で。

⚠️ これは実験的かつ発展途上のツールです。 言語・変換器・エディタはいずれも進化の途中で、粗削りな部分・破壊的変更・未実装機能があります。フィードバックと貢献を歓迎します。

概要

FunctionBASIC は、構造化BASIC（本物の関数・ブロック構造・ローカル変数・参照引数を備えたモダンな方言）を書き、それを昔ながらのMSX-BASIC（行番号・GOSUB/GOTO・2文字変数）へ変換する小さなエディタ兼トランスパイラです。変換結果はエディタから離れることなく webMSX で即実行できます。

構造化BASICとは？ いまの感覚で書けるBASICです。GOSUB の行ジャンプではなく名前付き FUNCTION、自由に入れ子にできる IF / ELSE / END IF や FOR / NEXT、既定でローカルな変数、共有したいときだけ使う GLOBAL、そして真の参照渡しを行う REF 引数。行番号も手作業の変数管理も不要です。

なぜMSX-BASICへ変換するのか？ 実機のMSX（やエミュレータ）はトークン化されたMSX-BASICで動きます。変換することで、構造化された書き味のまま、8bit実機やエミュレータで動く——行番号・2文字変数・GOSUBベースの——MSXが直接理解できるプログラムを得られます。

なぜwebMSXか？ webMSX は優れたブラウザ向けMSXエミュレータです。FunctionBASIC は（外部サービスとして iframe 経由で）これを埋め込み、変換結果を直接流し込むので、書く→変換→実行 のループがワンクリックになります。ディスクの差し替えも手動 RUN も不要です。

AI（Claude）との相性。 構造化BASICは普通の構造化コードのように読めます。これはまさに Claude のような大規模言語モデルが得意とする形で、手作業で行番号を振ったスパゲッティBASICより遥かに安定して生成できます。関数をAIに頼んで貼り付け、変換して実行——本プロジェクト自体も Claude と反復的に作られました。

特徴

構造化BASIC言語 — FUNCTION、自由に入れ子可能な IF/FOR/WHILE、既定ローカル変数、GLOBAL、REF 参照引数、BREAK/CONTINUE、RETURN、配列（配列の参照渡しを含む）。
自動変換 — 行番号付与、2文字変数の割り当て、関数の GOSUB 展開、戻り値の処理、255バイト行の自動分割。
長く読みやすい変数名（名前長の拡張） — MSX-BASICは名前の先頭2文字しか区別しないため、本来は暗号的な名前を強いられます。FunctionBASICはこの制限を撤廃：PLAYER_SCORE や ENEMY_X のような説明的な名前を書け、変換器が各変数へ一意なMSX有効名を自動割り当てします。
即時実行 — 埋め込み webMSX に変換結果を流し込み、自動でロード＆RUN。ワンクリック。
エディタ内で完結 — シンタックスハイライト、ライブ変換プレビュー、エラー表示、整形、JetBrains風ナビゲーション、ドラッグ可能な分割タブ、アプリ内メニューバー、OSネイティブメニュー、日本語/英語UI。
複数ファイル（INCLUDE） — プリプロセッサが INCLUDE を展開して1つのプログラムへ統合。二重 include の重複排除、循環 include の検出付き。
255バイト行の自動分割 — MSXの255バイト制限を超える生成行を :/; 境界で自動的に再パック（分割できない行＝一部の IF…THEN 等は黙って切り捨てず警告）。
実ディスク書き出し — openMSX・実機・配布用に 720 KB FAT12 の .dsk を生成。
逆変換 — 既存のMSX-BASICを構造化BASICへ戻す（可能な範囲で元のファイル分割も復元）。
対象機種 — 組み込み関数は MSX1 / MSX2 / MSX2+ / turboR を考慮（既定 turboR）。組み込み表は編集可能。
正しいMSX文字コード — ファイルは実機MSXが使う Shift-JIS で保存。表現できない文字は黙って壊さず報告します。
安全な診断 — 変換器は黙って誤変換しません。未対応構文やエラーはエラーコード＋行・列位置付きで報告し、エディタのガターに印として表示します。
再帰ガード — この GOSUB 方式は固定の変数名を使い回すため再帰／循環呼び出しは成立しません。壊れたコードを出す代わりに検出して報告（E_RECURSION_UNSUPPORTED）します。

使い方

構造化BASICを書く（関数・ブロック・ローカル変数。行番号は不要）。
変換 — 「MSX-BASIC変換後」タブに、入力に追従して行番号付きBASICがライブ表示されます。「変換して保存」で Shift-JIS として書き出します。
実行 — ▶ WebMSX（または Ctrl/Cmd+Enter）。プログラムが梱包されて埋め込み webMSX に読み込まれ、自動で起動・実行します。実機や openMSX 向けには ディスク(.dsk)を保存 を使います。

埋め込み WebMSX 実行の現状の制限

アプリ内プレイヤーは webMSX を別オリジンの iframe として埋め込んでいるため、実行のたびに data-URL ディスクでリブートする方式に限られます。これにより以下の制限があります（変換自体には影響なし＝生成される MSX-BASIC は正しい）：

FM（MSX-MUSIC）音は鳴りません。 CALL MUSIC / PLAY #2 を使うプログラムは正しく変換され、MSXPen・openMSX・実機では鳴りますが、埋め込みプレイヤーでは無音です。FM は他環境で確認してください。
MSX-AUDIO 非対応。 webMSX は MSX-AUDIO（Y8950）をエミュレートしません。CALL AUDIO 等は openMSX か実機が必要です。
実行ごとにリブート。 毎回マシンが再起動します（短いリードタイムがあり、実行間で状態は保持されません）。
マシンは webMSX 既定。 turbo R 専用プログラム（_TURBO …、examples/turbo-r.msxb）は、webMSX の歯車（⚙）メニューでマシンを turbo R に切り替えてください。
音はクリックで開始。 ブラウザの自動再生制限により、webMSX 画面を一度クリックするまで音が止まることがあります。

音まで正確に、あるいは状態を保って試すには、ディスク(.dsk)を保存 して openMSX か実機で実行してください。（将来の同一オリジン版プレイヤーで、リブート毎回と FM の制限は解消し得ます — TODO.md 参照。）

ヒント — MSXPen に貼り付け。 MSX-BASIC変換後 タブの 📋 コピー ボタンで変換後プログラムをコピーし、MSXPen に貼り付けて実行すると、同じプログラムが FM 付きで鳴ります。本アプリの埋め込みプレイヤーで FM が鳴らない理由は現状不明です（実行のたびにリブートしてディスクから自動実行するため、FM 音源チップの初期化前に走っている可能性がありますが未確認）。当面は MSXPen に貼り付けるのが確実に FM を聴ける方法です。

ソースからのビルド

前提: Node.js 22.6 以上（依存ゼロのコア＆ブラウザ版エディタ用）。デスクトップ版にはさらに Rust ツールチェインと、OSごとの Tauri 前提条件（macOS なら Xcode Command Line Tools）が必要です。

コアは npm依存ゼロなので npm install は不要です。

コアのテスト: npm test — Node 標準テストランナーで型ストリップした TypeScript を実行。
ブラウザ版エディタ（ビルドツール不要）: npm run serve 後、http://localhost:8123 を開く。コアを editor/core/ へ型ストリップしてエディタを配信します。
デスクトップ版（開発）: npm run app:dev — コアをビルドし Tauri 開発ウィンドウ（Rust＋システムWebView）を起動。
デスクトップ版（リリースビルド）: npm run app:build — src-tauri/target/release/bundle/ にOS向けのアプリを生成。

デスクトップ用スクリプトは npx @tauri-apps/cli を使うため、Tauri CLI は必要時に取得されます（コミット対象の依存は増えません）。

文法ガイド

構文	形	補足
`FUNCTION`	`FUNCTION 名前(引数) … END FUNCTION`	トップレベルのみ。参照渡しは引数の前に `REF`。
`IF / ELSE`	`IF 条件 THEN … ELSE … END IF`	ブロック形式。ループ等の中に自由に入れ子可。
`FOR / NEXT`	`FOR I = a TO b [STEP s] … NEXT I`	標準の数え上げループ。
`WHILE`	`WHILE 条件 … WEND`	条件ループ。`BREAK` / `CONTINUE` 対応。
`GLOBAL`	`GLOBAL X`	共有（グローバル）変数を使う宣言。なければローカル。
`RETURN`	`RETURN [値]`	関数から戻る。値を返せる。
配列	`DIM A(n)` ／ `REF A` で渡す	配列は参照渡し可。文字列配列も可。

変換ルール

行番号の付与 — MAIN（トップレベルのコード）は 100 から。各関数は 1000 刻みの専用セグメント（1000, 2000, …）。各セグメントはコメントで明示。
変数名の変換（長さ拡張） — MSXは名前の先頭2文字しか区別せず（COUNT と COUNTER は衝突）、_ も使えないため、本来は1〜2文字の名前を強いられます。FunctionBASICでは長い説明的な名前を書け、名前アロケータが各変数へ先頭2文字で一意なMSX名を割り当てます。プールは型別（%整数 !単精度 #倍精度 $文字列で各約960個、IF/TO/ON/OR/FN 等の予約語は除外）で、生存区間が重ならないローカルは関数をまたいで名前を再利用します。出力名に _ は出ません。型のプールを使い切った場合は E_VAR_NAMES_EXHAUSTED を報告します。
関数の展開（GOSUB化） — すべての FUNCTION は GOSUB ブロックに。呼び出しは GOSUB <行> になり、直後に結果変数を読み取ります。
戻り値の扱い — 戻り値は専用の内部変数へ代入し、呼び出し側が GOSUB 直後にコピーします。
内部変数の命名規則 — ローカル・ループ変数・戻り値変数は固定の2文字プールから割り当て、衝突しません。固定名は再入できないため再帰は禁止（呼び出し循環を検出してエラー）。
配列の参照渡し — 常に同じ配列ならブロック1個を共有（ゼロコピー）。異なる配列で呼ぶと配列ごとにブロックを複製（モノモーフィック化）し、呼び出しごとの配列コピーは発生しません。

構造化BASICで使えない命令

構造化BASICは行番号が無く、変数を2文字名に改名するため、一部の旧来MSX-BASIC構文は動作しません。トランスパイラは黙って誤変換せずエラーで知らせます。下表の構造化での代替を使ってください：

使えない	代わりに
`GOTO` / `GOSUB <行番号>`（行ジャンプ）	`FUNCTION`・`IF`/`FOR`/`WHILE`・`BREAK`/`CONTINUE`
`ON x GOTO/GOSUB <行番号>`（`E_ON_LINE_TARGET`）	`ON x GOTO/GOSUB <関数名>`（ハンドラは無引数）
`ON ERROR GOTO <行番号>`	`ON ERROR GOTO <関数>`、無効化は `ON ERROR GOTO 0`
`RESUME <行番号>`（`E_RESUME_LINE`）	`RESUME` / `RESUME NEXT` / `RESUME 0`
`RESTORE <行番号>`（`E_RESTORE_LINE`）	引数なし `RESTORE`（先頭の `DATA` へ）
`DEFINT`/`DEFSNG`/`DEFDBL`/`DEFSTR`（`E_DEF_UNSUPPORTED`）	名前サフィックス：`%`整数 `!`単精度 `#`倍精度 `$`文字列（例 `COUNT%`・`LABEL$`）
`DEF FN` / `DEF USR`	`FUNCTION`（機械語が要るなら USR ベクタを `POKE`）
直接モード命令：`RUN` `LIST` `AUTO` `RENUM` `NEW` `CONT` `DELETE` `EDIT`	プログラム文ではない（対話専用）
再帰・循環する `FUNCTION` 呼び出し（`E_RECURSION_UNSUPPORTED`）	固定名の再利用のため不可。反復に書き換える
1行 `IF … THEN <文>`（`END IF` 無し）	ブロックの `IF … THEN` … `END IF`

（ON … GOSUB <関数> のハンドラや ON x GOTO/GOSUB <関数> の飛び先関数は無引数でなければなりません — E_HANDLER_PARAMS。）

厳格モード（任意の静的型付け）

プログラム先頭に STRICT と書くと、オプトインの静的型チェック（rust方式＝暗黙変換なし）が有効になります。既定はオフで、既存コードに影響はありません（非strictでは従来どおりMSXの暗黙数値変換のまま）。

STRICT では：

全ての変数・配列・引数・FOR変数に型サフィックス必須 — %整数 !単精度 #倍精度 $文字列。無いとエラー（E_STRICT_UNTYPED）。
代入・引数・戻り値は型が完全一致。暗黙変換なし：A% = B#・A% = 1.5・文字列/数値の混在はエラー（E_TYPE_MISMATCH）。変換は CINT / CSNG / CDBL / INT / FIX / ASC / STR$ / VAL … で明示。
数値リテラルは柔軟（5は%/!/#可、1.5は!/#）。演算子はMSXの昇格に従い、完全一致判定は代入/引数/戻り値の境界で行われます。
Z80では整数(%)演算が速いので、STRICTはゲームロジックを%へ寄せます。三角関数/グラフィックスは座標も計算も浮動小数(!/#)で統一（MSXの描画命令は浮動小数を受けます）するか、境界で明示変換を。

STRICT
FUNCTION ADD%(A%, B%)
    RETURN A% + B%
END FUNCTION
TOTAL% = 0
FOR I% = 1 TO 10 : TOTAL% = ADD%(TOTAL%, I%) : NEXT I%
AVG! = CSNG(TOTAL%) / 10        ' % → ! の明示変換

例：examples/strict-demo.msxb。

サンプル

1. 簡単な関数 — 配列の中から最初の 0 を見つける。

構造化BASIC: ' 配列の中から最初に 0 を見つけて返す
FUNCTION FIND_ZERO(REF IDX)
    GLOBAL A
    FOR I = 1 TO 10
        IF A(I) = 0 THEN
            IDX = I
            RETURN 1
        END IF
    NEXT I
    RETURN 0
END FUNCTION

DIM A(10)
A(3) = 0
RESULT = FIND_ZERO(POS)
PRINT "FOUND="; RESULT; " AT "; POS

変換後 MSX-BASIC: 100 ' === MAIN ===
110 ' 配列の中から最初に 0 を見つけて返す
120 DIM A(10)
130 A(3)=0
140 GOSUB 1000: B=E
150 PRINT "FOUND=";B;" AT ";C
160 END
1000 ' === FUNCTION FIND_ZERO (IDX->C) ===
1010 FOR D=1 TO 10
1020 IF A(D)=0 THEN C=D: E=1: RETURN
1030 NEXT
1040 E=0: RETURN

2. 2枚重ねスプライトの多色猫（MSX2） — MSXのハードウェアスプライトは1枚＝1色なので、同じ位置に2枚重ねて多色にするのが定番技です。白い顔スプライトをオレンジの体スプライトに重ねた猫が、画面内を自分で跳ね回ります。変換確認済みの全ソース：examples/cat-sprite.msxb。

肝は「1匹の猫＝同じ位置に2枚のスプライト」を描いて動かすこと：

' 1匹の猫＝同じ位置に2枚のスプライト（2色）
PUT SPRITE 0, (CATX, CATY), 15, 0 ' 前面：白い顔
PUT SPRITE 1, (CATX, CATY), 9, 1 ' 背面：オレンジの体

…これを変換器が本物のMSX-BASICにします（変数割当・座標は保持）：

300 PUT SPRITE 0,(A,B),15,0
310 PUT SPRITE 1,(A,B),9,1

3. ゲームの雛形 — 最小のメインループ（説明用）。

構造化BASIC: FUNCTION UPDATE()
    GLOBAL SCORE
    SCORE = SCORE + 1
    LOCATE 0, 0 : PRINT "SCORE"; SCORE
END FUNCTION

SCREEN 1
SCORE = 0
WHILE 1
    UPDATE()
    IF STRIG(0) THEN BREAK
WEND
PRINT "GAME OVER"

4. MSX2グラフィック＋BGM/SE — SCREEN 5 のデモ。COLOR=(n,r,g,b) で独自パレットを設定し、LINE …,BF / CIRCLE / PAINT / POINT で描画、SET PAGE でダブルバッファ、COPY … TO … でVRAMブロック転送、PLAY でBGM、SOUND でSEを鳴らします。これらMSX2固有の書式（パレットの = 構文、TO 節、B/BF のラインオプション、関数として使う POINT / PLAY）は変換後もそのまま保たれ、ユーザ変数だけが2文字名へ割り当てられます。変換確認済みの全ソース：examples/msx2-graphics-sound.msxb。

ロードマップ

FunctionBASIC はまだ初期段階で、発展途上です。[x]＝対応済 / [ ]＝未対応（時期は未定）：

作業項目やアイデアは Issue で管理しています。提案を歓迎します。

貢献方法

貢献を歓迎します。

Issue — バグ報告・機能要望・設計の議論。再現手順と利用環境を添えてください。
Pull Request — 小さく焦点の絞れたPRがレビューしやすいです。既存テストを実行し、変更内容と理由を記載してください。

ライセンス

MITライセンスで公開しています。

著作権表示と許諾表示を保持すれば、商用を含め自由に使用・複製・改変・配布できます。本ソフトウェアは「現状有姿」で提供され、いかなる保証もありません。全文は LICENSE ファイルを参照してください。

商標・外部サービスに関する注意

MSX は各権利者の商標です。本プロジェクトは非公式であり、MSX商標権者と提携・承認・後援の関係はありません。
webMSX は外部サービス／サードパーティのエミュレータです。FunctionBASIC は iframe 経由でリンク・埋め込みをしているだけで、webMSX を同梱・再配布しておらず、公式の webMSX 製品ではありません。
これらの技術を、MSX商標権者および webMSX 作者への感謝と敬意をもって利用しています。彼らの仕事が、このようなプロジェクトを可能にしています。

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
.github/workflows		.github/workflows
docs		docs
editor		editor
examples		examples
src-tauri		src-tauri
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
TODO.md		TODO.md
build.mjs		build.mjs
package.json		package.json
serve.mjs		serve.mjs

Folders and files

Latest commit

History

Repository files navigation

FunctionBASIC

Structured BASIC → MSX-BASIC → webMSX

Overview

Features

Usage

Current limitations of the embedded WebMSX player

Building from source

Syntax Guide

Transpiler Rules

Not available in Structured BASIC

Strict mode (optional static typing)

Examples

Roadmap

Contributing

License

Trademark & External Service Notice

FunctionBASIC（日本語）

構造化BASIC → MSX-BASIC → webMSX

概要

特徴

使い方

埋め込み WebMSX 実行の現状の制限

ソースからのビルド

文法ガイド

変換ルール

構造化BASICで使えない命令

厳格モード（任意の静的型付け）

サンプル

ロードマップ

貢献方法

ライセンス

商標・外部サービスに関する注意

About

Topics

Resources

License

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Uh oh!

Contributors

Uh oh!

Languages

Packages