提案者

＠kokoa

目論見

WebAssemblyのオペコードをLogiXに組み込む。ただし、*.wasmをそのまま組み入れるとサイズがかなり大きくなるので、予めオペコードをこちら側に変換する

現実的な検討

できる気がする (POSSIBLE)

コスト

でかい (MAJOR)

外部チケット

• Neos-Metaverse/NeosPublic#2818

基本的なコンセプト

• Range.Inclusive<T>: T型の範囲。終点を含む。
• Range.Exclusive<T>: T型の範囲。終点を含まない。

制約

• T: RustのPartialOrd
• イテレーターとして使う場合、T: Range.Iterator.NextElementが必要。

関数があると同一のコードを複数回書くことを強制されないので便利！

リスト

1. 可変長
2. 順序付き
3. 値を任意個入れられ
4. 多相である

他言語の例

• Java: java.util.List<E>
• C#: System.Collection.Generic.IList<E>
• JavaScript: (Array) [^1]
• Rust: std::vec::Vec<E> [^1]

実装手法

そもそもできるの？

• ダイナミックにスロットをスポーンする
• ペンのバーテックスを有効活用する

概要

• expr in iterable という形で演算子をサポートする

実装ノート

• expr: Tかつiterable: Range.Inclusive<T>だった場合、Is Betweenノードを使っても良い

• 自動トレイト: true
• 目的: ユーザーが定義した構造体が誤ってFFI境界をまたがないようにする

1. LogiX上には出力されないメタデータを格納するため

• 共通言語基盤のアセンブリのバージョン
• nullable or not-null

2. 条件付きコンパイルを行うため

Rustの#[cfg_attr]みたいな

3. コンパイラマジックを発火させるため

(TBD)

デバッグが困難になる。RustやC#に存在する「リリースビルド」においても有効にされるべきではなさそう

本質的に有向グラフなので、エッジのつながりが保たれていればコンパイル結果のノードの繋がり方は感知しない

• #[inline]: 関数に付与した場合、その関数はLogiXへコンパイルされたあとでもインラインされる。絶対に (MUST)。
• #[maybe_inlined]: 関数に付与した場合、その関数はインライン展開されるかもしれない (MAY)。コンパイラのヒューリスティクスによってはインライン展開されないかもしれない (MAY NOT)。

なので、logix.string.new_lineのドキュメントに記載しておく必要がある

例: logix.net.request_host_access: Overroad<[({request: impulse, host: string, port: i32, reason: MaybeAbsent<string>}) => ({on_denied: impulse, on_granted: impulse, on_ignored: impulse}), ({request: impulse, url: url, reason: MaybeAbsent<string>}) => ({on_denied: impulse, on_granted: impulse, on_ignored: impulse})]>

一部のノードはオーバーロードをサポートしているので、言語仕様の策定が必要

デザインノート

定義

1. ノードが複数の引数リストの候補を持つとき、「そのノードはオーバーロードされている」という。

オーバーロードの選択方法

前提

• 各ステップの終了時：
  • オーバーロードの候補が一つになったならそこで探索を終了する
  • オーバーロードの候補がゼロになったならコンパイルエラー

1. call-siteの個数に合う引数リストに絞り込む
2. 引数リストの候補を調べ、call-siteの式の型に合致することができる引数リストに絞り込む
3. 引数の型とその引数に与えられている型を調べる。
   1. 正確にマッチする (例: u8の文脈で1が与えられている) 場合、クラスAに1を加算する。
   2. 暗黙の型変換を経由してマッチする (例: u16の文脈に_: u8が与えられている) 場合、クラスBに1を加算する。
   3. ジェネリクスでマッチした場合、クラスCに1を加算する。
4. クラスAの値が最も高い引数リストに絞り込む
5. クラスBの値が最も高い引数リストに絞り込む
6. クラスCの値が最も高い引数リストに絞り込む
7. オーバーロードが解決できないとしてコンパイルエラー

エルゴノミクスの観点からHM型推論のような推論システムを導入したい

コレがないといくら規格書で用語定義とかしたところで始まらないと思うんだ

理由: LogiXを直接みたいケースもあるため
パックを望む場合は--implicit-pack などのスイッチを明示的に与えるべき

明示的に決定できなかった場合に備えてほしい

概要

*>演算子とは、左結合の二項演算子である。ある特定の文脈内 (以下、F) で計算された２つの計算を受け取り、左オペランドのFに包まれた計算を評価したあとに結果を捨て、右オペランドの計算の結果を返す二項演算子である。

注釈

LaaD内の場合、F=LaaDWorldとなる。LaaDWorld[A]は大まかに言うとLaaDの型システムそのものを表す。

活用例

これによって

/* C言語 */
int foo;
foo = (bar++, baz--);

を

declare foo: SyncVariable<i32>
declare bar: SyncVariable<i32>
declare baz: SyncVariable<i32>

foo = (bar++ *> baz-- *> baz);

と書けるようになる。優先順位は代入よりも低い。 疑問点: 優先順位

実装例

• typeclass/cats (Scala)

初出

*>の初出: おそらく typelevel/cats@0bf1ae7 (#278) https://gitlab.haskell.org/ghc/ghc/-/commit/c472d50485288057fc3029a34662e1e466400e8d#93cfa7229707be3930d7b9ecd5d2b579ec900761_0_29 (2005年11月、Glasgow Haskell Compiler)
編注: typelevel/cats#4278 により修正

なぜ >> ではないのか？

• シフト演算子とダブって都合が悪いから

LaaDがでかくなってきているので分割する

仮想ノード：コンパイルされたあとは他のノードへと展開され、コンパイル結果からは見えない。
関数でカプセル化するときに便利。
とても高級な例を上げると、Rustの(0..5).into_iter()は現在の要素が準備されたインパルスと現在の値を出力エッジとしてそれぞれ持つ一つの仮想ノードとして考えることができる。

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

Open

These updates have all been created already. Click a checkbox below to force a retry/rebase of any.

• fix(deps): update rust crate anyhow to 1.0.82
• fix(deps): update rust crate chrono to 0.4.38
• fix(deps): update rust crate log to 0.4.21
• fix(deps): update rust crate serde to 1.0.198
• fix(deps): update rust crate serde_json to 1.0.116
• fix(deps): update rust crate strum to 0.26.2
• Click on this checkbox to rebase all open PRs at once

Ignored or Blocked

These are blocked by an existing closed PR and will not be recreated unless you click a checkbox below.

• fix(deps): update rust crate fern to 0.6.2
• fix(deps): update rust crate clap to v4

Detected dependencies

• Check this box to trigger a request for Renovate to run again on this repository