Skip to content

言語概要

OnionはJVM上で動く静的型付きオブジェクト指向言語です。Javaライブラリとシームレスに連携しながら、簡潔な構文で型安全なコードを書けます。

設計思想

  1. 静的型安全 — コンパイル時にエラーを検出
  2. Javaとの相互運用 — 既存のJavaライブラリをそのまま利用
  3. 簡潔な構文 — 定型コードを減らしつつ可読性を維持
  4. JVMのパフォーマンス — 成熟したJVMエコシステムを活用

主な特徴

静的型付き

すべての変数と式にコンパイル時に型が決まります：

val name = "Alice"    // String と推論
val age: Int = 30
val scores: Int[] = new Int[10]

型の種類： - プリミティブ型：Int、Long、Double、Float、Boolean、Byte、Short、Char - 参照型：クラス・インターフェース - 配列型：Type[] - Nullable型：Type?

オブジェクト指向

クラス、継承、インターフェースを完全サポートします：

class Animal {
  val name: String

  public:
    def this(n: String) {
      this.name = n
    }

    def speak: String = "Some sound"
}

class Dog : Animal {
  public:
    def this(n: String): (n) { }

    def speak: String = "Woof!"
}

関数型の要素

ラムダ式とクロージャも使えます：

val double = (x: Int) -> x * 2

def makeCounter(): () -> Int {
  var count: Int = 0
  return () -> {
    count = count + 1
    return count;
  };
}

コンパイルモデル

ソースファイル (.on)
    ↓
[構文解析] JavaCC → 型なしAST
    ↓
[書き換え] 正規化
    ↓
[型検査] 型推論・検証 → 型付きAST
    ↓
[コード生成] ASM → .class ファイル

実行方法は3種類： - onionc — .class ファイルにコンパイル - onion — インメモリでコンパイルしてすぐ実行 - Shell — インタラクティブREPL

Javaとの主な違い

機能 Java Onion
フィールド宣言 Type field val/var field: Type
変数宣言 Type variable val/var variable[: Type] = value
静的アクセス Class.method() Class::method()
型キャスト (Type) value value as Type
パターンマッチング switch select
リスト追加 list.add(x) list << x

現在の制限

README に記載のとおり:

  1. 堅牢性 - コンパイラは、変異ファザー・クラッシュ再現コーパス・コード生成正当性テストによって「クラッシュしない／誤コンパイルしない」基準を維持しています。もしクラッシュや誤コンパイルに遭遇したら、最小の再現例を報告してください
  2. 消去ジェネリクス - reified 型情報はなし。型引数は不変（変性やワイルドカードはなし）
  3. 末尾呼び出し最適化 - 直接自己再帰と相互自己再帰をカバー。一般的な継続渡しスタイルは対象外
  4. 診断 - 一部のエラーは理想よりパイプラインの後半で報告される

run/ ディレクトリの例は、コンパイルおよび実行が正しく動作することを確認済みです。

次のステップ