準備と最初の実行

目次 · 次：コードを書きながら学ぶ

Nagiの公開版をインストールし、High（.nagi）でHello Worldを動かします。

1. コンパイラを用意する

ビルド済みのNagiをインストールします。自分のアプリをnagic buildやnagic runでビルドするには、Rust / CargoとCのビルド環境も必要です。

インストーラーを使う

自分のOSのコマンドを実行してください。最新の公開版を取得し、SHA-256を確認してインストールします。管理者権限は不要です。

Windows（PowerShell）

& ([scriptblock]::Create((Invoke-RestMethod 'https://raw.githubusercontent.com/disnana/Nagi/main/scripts/install.ps1')))

Linux・macOS（bash）

(set -o pipefail; curl -fsSL https://raw.githubusercontent.com/disnana/Nagi/main/scripts/install.sh | bash) && export PATH="$HOME/.local/bin:$PATH"

インストール後、同じターミナルで確認できます。VS Codeは再起動してください。

nagic --version
nagic --help

2026-10-07に公開したcompilerではnagic 0.1.11と表示されます。nagic -Vとnagic versionでも確認できます。実際にインストールした版はnagic --versionで確かめてください。版とヘルプの表示にはRustやプロジェクト設定は必要ありません。

エディター拡張をインストールする

VS Code拡張はMarketplaceから、またはGitHub Releasesのnagi-language-0.1.13.vsixと対応する.sha256から入手できます。VSIXはVS Codeの拡張機能: VSIXからのインストールで選びます。

IntelliJ IDEA・PyCharm向けのNagiはJetBrains MarketplaceまたはGitHub Releasesから入手できます。Marketplaceから対応IDEへ直接インストールするか、GitHub ReleasesからZIPを取得してください。GitHubの0.1.2 Releaseには、両IDE共通のnagi-jetbrains-0.1.2.zipと.sha256があります。最低対応はIntelliJ IDEA 2025.1.1 build 251.25410.109、PyCharm 2025.1.1 build 251.25410.122です。Release ZIPはIDEでSettings → Plugins → ⚙ → Install Plugin from Diskを選び、ZIPを指定してインストールします。どちらの拡張にもコンパイラは含まれません。

アプリのビルドに必要なもの

Rust / Cargoに加えて、次のビルド環境を使います。導入済みならそのまま使えます。

• Windows：RustのMSVC toolchain、Visual Studio Build ToolsのC++環境。
• Linux・WSL2：Cコンパイラ。
• macOS：xcode-select --installでCommand Line Toolsを導入。

ビルド環境とVS Code拡張はインストーラーに含まれません。同梱SQLiteのCコードもアプリのビルド時にコンパイルします。macOS版はmacOS 15のCIで検証します。

2. 自分で1ファイル書く

作業用のフォルダーにhello.nagiを作り、次のコードを保存してください。

def main():
    print("こんにちは、Nagi!")
    count = 3
    print(count * 2)

def main():が入口です。関数の中は空白4つで字下げします。printは1つの値を改行付きで表示します。

nagic run hello.nagi

こんにちは、Nagi!
6

count = 3の整数はi64型です。コードは.nagiファイルへ保存します。

ファイル名に空白がある場合は、nagic run "hello world.nagi"のようにパスを引用符で囲んでください。

3. 検査とビルドを使い分ける

runの標準出力はアプリの出力です。コンパイラの進捗と診断は標準エラーに出るため、CLIのJSON出力もそのままパイプで渡せます。

checkとlowerは現在どちらもHighの生成Lowを保存します。checkが成功しても、Rust側の型・借用などの検査でbuildが失敗する場合があります。

ビルド時のエラーには、対応を特定できる場合は元のNagi・Lowのファイル名と行を表示します。Nagi 0.1.11では、生成Rustの詳細を--rust-diagnosticsで表示できます。手書きRustや元の位置を特定できないエラーは、通常表示にもRustの診断を残します。

nagic check hello.nagi
nagic build hello.nagi

buildが表示したnative:行のパスをPowerShellの&で実行できます。単に試す場合はnagic run hello.nagiでビルドと実行をまとめられます。

標準の出力先は次のとおりです。

build/<ソースのファイル名から拡張子を除いた名前>/に出力します。別の場所に生成する場合は--out build/my-helloを付けます。NAGI_NATIVE_TARGET_DIRはビルド用キャッシュの場所を変更します。再ビルド後の実行ファイルは別のパスになるため、native:で確認します。ビルド世代と共有キャッシュも参照してください。

コンパイルには配布されたruntime/も必要です。nagic.exeだけを別の場所にコピーした場合は、環境変数NAGI_ROOTにruntime/のある展開フォルダーを指定してください。生成したアプリexeの配布例はタスク管理デモにあります。

アプリが複数ファイルになったら、nagi.tomlとプロジェクトで入口やRust依存をまとめられます。設定のあるフォルダーでnagic runと実行でき、VS Codeも同じ入口を使います。

4. VS Codeで書く

Nagi拡張のインストール手順に従ってVSIXをインストールし、作業用のフォルダーを開きます。

.nagiを保存すると型検査が走り、エラーがProblemsに表示されます。右上の実行ボタン、またはコマンドパレットのNagiコマンドから実行・ビルドできます。変数名のホバーで型を確認でき、value.を入力するとclassのフィールドが候補に出ます。F12では関数・class・import先・ローカル変数の定義へ移動できます。一度保存したファイルの未保存の編集も対象です。VS Codeで型と補完を使うで試してください。

更新と他の導入方法

更新する

上のインストーラーは実行時点の最新公式Releaseを確認し、ダウンロード・検証してからコマンドを切り替えます。mainのbranch buildやVSIXはReleaseとして扱いません。既に最新版なら、同じ版を増やしません。

Windowsの保存先は%LOCALAPPDATA%\Nagi\versionsで、PATHに追加する入口はその下のcurrentです。Linux/macOSの保存先は~/.local/share/nagi、コマンドは~/.local/bin/nagicです。bash/zshの設定にもPATHを追記します。更新時も入口は変わりません。

更新前にNagiのビルドを止めてください。切り替え後の起動確認に成功したら、旧版を配布時のアーカイブと照合して削除します。使用する1版だけ残し、ロールバック用の旧版は常設しません。追加・変更されたファイルは保護します。配布物の照合不能やWindowsで使用中のファイルなどで削除できない旧版も残し、フォルダーを表示します。更新に失敗した場合は、元のコマンドとPATHを維持します。

以前のnagi-v0.1.6/scripts/install.ps1などのURLは0.1.6固定です。更新にはこのページのmain/scripts/install.ps1を使ってください。Windowsの旧インストーラーが登録した版ごとのPATHも、固定のcurrentへ整理します。VS Codeのnagi.compilerPathに旧版の絶対パスを指定している場合は、空欄に戻して自動探索するか、新しい実行ファイルの絶対パスを指定し、VS Codeを再起動してください。

版を指定する場合は次のコマンドを使います。以下は公開済みNagi 0.1.11を指定する例です。過去の版へ戻す場合も、使う1版だけ残す方針は同じです。

& ([scriptblock]::Create((Invoke-RestMethod 'https://raw.githubusercontent.com/disnana/Nagi/main/scripts/install.ps1'))) -Version 0.1.11

(set -o pipefail; curl -fsSL https://raw.githubusercontent.com/disnana/Nagi/main/scripts/install.sh | bash -s -- --version 0.1.11) && export PATH="$HOME/.local/bin:$PATH"

保存先を変更していた場合は、再実行時も同じ-InstallDir（PowerShell）または--prefixと--bin-dir（bash）を指定します。-NoPath／--no-pathはPATHの永続設定を変更しません。その場合は固定の入口を自分でPATHへ登録してください。別の場所へ手動展開した配布物は自動削除の対象外です。

アンインストールする

インストーラーで導入したNagi本体、コマンドの入口、インストーラーが追加したPATH設定を削除します。Windowsでは次を実行します。

& ([scriptblock]::Create((Invoke-RestMethod 'https://raw.githubusercontent.com/disnana/Nagi/main/scripts/uninstall.ps1')))

Linux・macOSでは次を実行します。

(set -o pipefail; curl -fsSL https://raw.githubusercontent.com/disnana/Nagi/main/scripts/uninstall.sh | bash)

削除予定だけ確認するには、PowerShellのコマンド末尾に-WhatIfを付けるか、bashのコマンドのbashをbash -s -- --dry-runに変更します。保存先を変更した場合は、インストール時と同じ-InstallDirまたは--prefix・--bin-dirを指定してください。独自のシェル設定ファイルを指定していた場合は、同じ--profileも渡します。-NoPath／--no-pathはPATHの永続設定の削除を省きます。

配布物は公開アーカイブと照合してから削除します。追加・変更のある配布物や照合できない配布物はフォルダーごと残し、場所を表示します。自分のプロジェクト、Rust/Cargo、Cのビルド環境、VS Code拡張は残ります。完了後はターミナルとVS Codeを再起動してください。

自分で展開する

GitHub Releasesから、使うOSのファイルを取得します。以下は公開済みNagi 0.1.11のファイル名です。

アーカイブ全体を展開し、nagicまたはnagic.exeとruntime/の位置を保ってください。展開フォルダーそのものをPATHに追加すると、任意の場所でnagicを使えます。NAGI_ROOTは通常不要です。GitHubの「Source code」はコンパイラ入りの配布物ではありません。

ソースからビルドする場合

Gitでリポジトリを取得します。GitHubの「Code → Download ZIP」を使う場合も、展開先でcargo buildを実行できます。

git clone https://github.com/disnana/Nagi.git
cd Nagi
cargo build --release --locked -p nagic

この場合のコンパイラはtarget/release/nagic（Windowsではnagic.exe）です。target/releaseをPATHに追加するか、以降のnagicをその実行ファイルのパスに置き換えてください。

困ったとき

次はコードを書きながら学ぶと最初の小さなCLIアプリで、値・入力・失敗・境界値の確認まで試してください。