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

バージョンを指定しないと、インストーラはソースから vibe をビルドします。 そのため git・cargo・Node.js が必要で、数分かかります。公開済みの リリースなら bash -s -- --version X.Y.Z (または latest) でビルド済みの ファイルを取得でき、必要なのは bash・curl (または wget)・tar・ sha256sum (または shasum) だけです。両方とも インストールガイド にあります。

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

Hello

hello.vibex に置きます:

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

hello, vibe

vibe run hello.vibex

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

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

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

main はその許可を付与します。main を呼ぶものが無いからです。 main が呼ぶ関数は、自分のシグネチャの 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 が書くのは3ファイルです — エントリポイントの main.vibex、 プロジェクトの manifest である index.vpkg (これがプロジェクトルートの印 でもあり、どのサブディレクトリから vibe を叩いても見つかります)、そして ビルド成果物と pin された依存が置かれる .vibe/ を無視する .gitignore。 manifest はモジュールとパッケージで扱います。 1ファイルなら何も要らないので、この章はそこから始めませんでした。

次: 小さなプログラム。