01 — インストールと Hello, vibe

前: はじめに

English version: 01_getting_started.vibe.md

インストール

curl -fsSL https://raw.githubusercontent.com/mizchi/vibe-lang/main/install/install.sh | bash
. "$HOME/.vibe/env"
vibe version

このリポジトリのチェックアウトからなら bash install/install.sh で同じことが できます。vibe コマンド、viberun ホスト、標準ライブラリが入ります。 コンパイラ自体が wasm モジュールです。

Hello

hello.vibex に置きます:

fn main with Console {
  println("hello, vibe")
}

hello, vibe

vibe run hello.vibex

println は組み込みなので import は要りません。

拡張子 .vibex は実行可能ルートの印です: ちょうど1つの fn main を 持ち、他のファイルからは import できない — したがって何も export しない ファイル (ADR-0075)。再利用する ソースモジュールは .vibe で終わります。あと2つ、後で出会うファイルが あります: この下の vibe.deps はプロジェクトのメタデータで、パッケージの index.vpkg — モジュールとパッケージ — はその公開契約、つまりコンパイラが実装を照合する宣言の並びです。

面白いのは with Console の方です。これは端末に書き込むための、この プログラムの許可であり、必須です — 消せばコンパイルが通りません。 この言語の一番大きな考えが、一番小さなプログラムに既に現れています。 関数は自分に許されたことを宣言し、コンパイラはそれを守らせます。

同じ形は失敗 (with Exception) にも、ファイル読み込み (allows Fs::read_file) にも出てきます。決着は ケーパビリティで付けます。

コンパイラに質問する

vibe の CLI は実行するだけでなく、問い合わせるために作られています。 全体を通じた約束は「出力が空なら問題なし」です。

vibe check hello.vibex     # 型検査。通れば何も出力しない
vibe run   hello.vibex     # コンパイルして実行
vibe test  hello_test.vibe # test { } ブロックを実行

書いている最中に使うのは vibe check です。「これはコンパイルが通るか」に 単体で答え、診断は1件1行、言うことがあれば非ゼロで終了します。

この種のコマンドは他にもあり (vibe symbols, vibe type-at, vibe deps)、 エディタや自分やスクリプトがコンパイラの知っていることを訊けるように 用意されています。CLI を IDE として使うで扱います。

プロジェクトが要るとき

vibe new myapp
cd myapp
vibe run main.vibex

vibe new が書くのは2ファイルだけです — エントリポイントの main.vibex と、vibe add が vendor する URL 依存を記録する vibe.deps (1行に <name> <url> を1つ)。雛形はこれで全部で、パッケージの契約 (index.vpkg) は公開するものができてから足すもの。そちらは モジュールとパッケージで扱います。1ファイル なら何も要らないので、この章はそこから始めませんでした。

次: 小さなプログラム。