Lower core F# expressions, patterns, declarations, and exceptions
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 15/100
- issue の種類
- 機能追加
- 明瞭さ
- 説明が足りない
- 活発さ
- 静か
- 技術スタック
- fsharp
- 領域
- compilers
調査の方向性
親 Issue #8 とブロッカー #33、#34 から始め、続いて意思決定の入力 #5、#7 と ADRs 0006、0008、0015、0021 を読みます。コンパイラが所有するプログラムを使って、parse、typecheck、lower、emit、load、execute の各段階を追跡します。完了とは、一覧にある言語ファミリーが、クロージャ、ミューテーション、例外、末尾位置、デバッグのセマンティクスを明示した状態で lower し、未対応のファミリーは公開前に失敗することです。
索引モデルが issue の本文から書いたものです。
説明
Parent: #8
Blocked by: #33 and #34
Outcome
Implement target-agnostic lowering for the core batch-language families.
Acceptance criteria
- Values, functions, applications, locals, mutation, control flow, pattern matches, decision trees, records, unions, classes, structs, interfaces, object expressions, closures, generic operations, and exceptions lower from typed input.
- Closure conversion, captured mutation, tail positions, exception regions, and debug anchors are explicit.
- Lowered output uses stable symbolic operands and identities rather than metadata handles or final layout.
- Each language family runs through parse, typecheck, lower, emit, load, and execute using small compiler-owned programs.
- Behavioral comparison permits different valid IL while preserving public API, runtime, exception, and debug semantics.
- Unsupported families fail before successful publication rather than generating placeholder behavior.
Decision inputs
Issues #5 and #7; ADRs 0006, 0008, 0015, and 0021.
This issue inherits the corpus-neutral acceptance policy in #8.
- 主要言語
- F#
- スター
- 0
- フォーク
- 0
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドなし
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
TheAngryByrd/fsharp2 のほかの issue
-
wayfinder:task
難易度 4/5 3〜5日 初心者へのやさしさ 62/100
TheAngryByrd/fsharp2#46 ·
-
wayfinder:task
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
TheAngryByrd/fsharp2#44 · コメント 1 件 ·
-
wayfinder:task
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
TheAngryByrd/fsharp2#42 ·
-
wayfinder:task
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
TheAngryByrd/fsharp2#41 ·
-
wayfinder:task
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
TheAngryByrd/fsharp2#40 ·
TheAngryByrd/fsharp2 の issue をすべて見る
似ている issue
-
bug genc
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
error not reported I/O low priority rt_lib
難易度 2/5 1〜3時間 初心者へのやさしさ 67/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 69/100
メンテナーはふだん 1 日以内に返信
-
A match arm above the largest i64 is compared as 0対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
paradigmxyz/solar#2436 ·
メンテナーはふだん 1 日以内に返信