Skip to content
yaoxiang new universeCreating project...Universe: Type = { matter: Amount, energy: Amount, expand: (self: Universe) -> Void = ...}Done in 0.04s ✨ A
THE ARCHITECTURE
RFC-009 / RFC-010 / RFC-011
TRACK 01
RFC-010
統一構文
ミニマリスト哲学。変数から関数まで、すべての宣言は name: type = value パターンに従い、学習コストが低く、コードが一貫しています。
- ✓ 構文宣言の完全な統一
- ✓ 型は第一級市民
x: Int = 42add: (a: Int, b: Int) -> Int = (a, b) => a + bPoint: Type = { x: Int, y: Int }RFC-011
ゼロコストジェネリクス
ジェネリクスの特殊化はコンパイル時に完了し、型の抽象化は実行時のオーバーヘッドをもたらしません。コンパイル時モノモーフィズム。デッドコード排除。型システムはマクロそのものです。
Box<T>→Box_Int
RFC-009
所有権モデル
GCの一時停止に別れを告げます。爻象はスコープベースの所有権モデルを採用し、メモリ安全性がコンパイル時に確定し、予期せぬ動作がありません。
✓
共有参照
✓
予測可能
✕
GCの一時停止なし
✕
ライフタイムなし
B
THE RUNTIME
RFC-008 / STD-LIB
TRACK 04
デカップリングスケジューラ
マイコンから高性能サーバーまで、実行時に環境が適応します。異なるシナリオで異なるスケジューリング戦略を選択でき、パフォーマンスとリソースの両方を獲得。
- Embedded
完全同期(Sync) - Standard
有向非巡回グラフ(DAG)と遅延評価に基づく自動化された同時実行管理 - Full
ワークスティーリング(WorkSteal)
17 Keywords
Type Inference
Pattern Match
Traits
Modules
FFI
Concurrency
Curry Function