Implement compatible optimization, debug, and tail-call modes
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
- issue の種類
- 機能追加
- 明瞭さ
- 説明が足りない
- 活発さ
- 静か
- 技術スタック
- fsharp
- 領域
- compilers, performance
調査の方向性
親 Issue #8 とブロッキング Issue #35 および #36 から始め、続いて意思決定インプット #3、#5、#12 と ADRs 0007、0015、0016、0017 を読んでください。列挙されたモード、互換性、決定性、正確性、ベンチマーキング、トレーシングの受け入れ基準が、必要なすべてのチェックで満たされた時点で作業は完了です。
索引モデルが issue の本文から書いたものです。
説明
Parent: #8
Blocked by: #35 and #36
Outcome
Build an explicit deterministic optimization pipeline that honors the existing compiler-mode contract.
Acceptance criteria
- Identity, debug, release, optimization, tail-call, and related mode decisions are explicit and traced.
- Passes preserve source and debug anchors as required and never apply aggressive optimization unconditionally.
- Optimized and unoptimized outputs pass differential runtime, API, exception, debugging, and NativeAOT checks.
- Tail calls, inlining, closure and state-machine transformations, constant and dead-code simplification, and other passes are enabled only for their compatible modes.
- Pass ordering is deterministic and invalidation fingerprints include every semantic optimization input.
- New optimizations require correctness evidence plus compile-time and generated-code benchmarks; benchmark-justified kernels follow ADR 0007.
- Slow compiler work contributes phase and critical-path data to the structured trace required by ADR 0016.
Decision inputs
Issues #3, #5, and #12; ADRs 0007, 0015, 0016, and 0017.
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
-
難易度 2/5 1〜3時間 初心者へのやさしさ 79/100
メンテナーはふだん 1 日以内に返信
-
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 日以内に返信