Lower computation expressions, sequences, quotations, and resumable code
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 20/100
- Issue 类型
- 功能
- 描述清晰度
- 基本清楚
- 活跃度
- 冷清
- 技术栈
- fsharp
- 领域
- compilers
调研方向
先从父级 issue #8 和 unblocker #35 开始，然后阅读 issue #5、#6 和 #18，以及 ADR 0006、0008、0015 和 0027。当列出的 computation-expression、sequence、quotation 和 resumable-code 行为通过 compiler、runtime、下游 F# 使用、portable-PDB、NativeAOT、dynamic 和 optimized-mode 检查时，工作即告完成。
由索引模型根据 Issue 内容生成。
描述
Parent: #8
Blocked by: #35
Outcome
Implement the specialized F# translations that build on the core typed and lowered representations.
Acceptance criteria
- Computation-expression syntax translates through general builder lookup and typing, including binding, return, combination, delay, loops, exception handling, resource use, custom operations, and applicative forms.
- Sequence expressions and quotations preserve their specified semantic and metadata contracts.
- Resumable-code and task-like state-machine lowering covers suspension, resumption, cancellation, exception paths, disposal, generic builders, and debug anchors.
- Tests use multiple unrelated compiler-owned builders and state-machine programs; no production branch recognizes a library namespace, type, or member.
- Generated code passes runtime, downstream F# consumption, portable-PDB, and NativeAOT consumer checks within the declared envelope.
- Dynamic and optimized modes remain behaviorally compatible with the relevant compiler options.
Decision inputs
Issues #5, #6, and #18; ADRs 0006, 0008, 0015, and 0027.
This issue inherits the corpus-neutral acceptance policy in #8.
- 主要语言
- F#
- 星标
- 0
- 派生
- 0
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 没有贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
TheAngryByrd/fsharp2 的其他 Issue
-
wayfinder:task
难度 4/5 3-5 天 新手友好度 62/100
TheAngryByrd/fsharp2#46 ·
-
wayfinder:task
难度 5/5 一周以上 新手友好度 35/100
TheAngryByrd/fsharp2#44 · 1 条评论 ·
-
wayfinder:task
难度 5/5 一周以上 新手友好度 20/100
TheAngryByrd/fsharp2#42 ·
-
wayfinder:task
难度 5/5 一周以上 新手友好度 20/100
TheAngryByrd/fsharp2#41 ·
-
wayfinder:task
难度 5/5 一周以上 新手友好度 25/100
TheAngryByrd/fsharp2#40 ·
查看 TheAngryByrd/fsharp2 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
swc-project/swc-ai-issues#414 ·
-
难度 2/5 1-3 小时 新手友好度 69/100
-
HIP and OpenCL parsers raise AttributeError ('NoneType' has no attribute 'type') on a truncated `template <...` header可能已有人在做 @jay23606 今天认领。 未关闭area:frontend backend:hip backend:opencl bug direction:input
难度 2/5 1-3 小时 新手友好度 84/100
CrossGL/crosstl#4386 · 1 条评论 ·
维护者通常 1 天内回复