From 7096f2fb18571b632c4ae8bfa4c6291743a6be45 Mon Sep 17 00:00:00 2001 From: Lior Date: Wed, 27 May 2026 12:48:35 -0400 Subject: [PATCH] docs(archive): Preserve PR #5502 --- ...otnet-support-compile-time-macro-metapr.md | 66 +++++++++++++++++++ 1 file changed, 66 insertions(+) create mode 100644 docs/pr-discussions/PR-5502-docs-b-0860-nemerle-dotnet-support-compile-time-macro-metapr.md diff --git a/docs/pr-discussions/PR-5502-docs-b-0860-nemerle-dotnet-support-compile-time-macro-metapr.md b/docs/pr-discussions/PR-5502-docs-b-0860-nemerle-dotnet-support-compile-time-macro-metapr.md new file mode 100644 index 0000000000..487e9c1ef8 --- /dev/null +++ b/docs/pr-discussions/PR-5502-docs-b-0860-nemerle-dotnet-support-compile-time-macro-metapr.md @@ -0,0 +1,66 @@ +--- +pr_number: 5502 +title: "docs(B-0860): Nemerle dotnet support \u2014 compile-time macro metaprogramming complementing F# type providers (Aaron 2026-05-27)" +author: "AceHack" +state: "MERGED" +created_at: "2026-05-27T16:23:51Z" +merged_at: "2026-05-27T16:25:12Z" +closed_at: "2026-05-27T16:25:12Z" +head_ref: "backlog/b-0860-nemerle-dotnet-macro-metaprogramming-2026-05-27" +base_ref: "main" +archived_at: "2026-05-27T16:48:03Z" +archive_tool: "tools/pr-preservation/archive-pr.ts" +--- + +# PR #5502: docs(B-0860): Nemerle dotnet support — compile-time macro metaprogramming complementing F# type providers (Aaron 2026-05-27) + +## PR description + +## Summary + +Files B-0860 substrate-engineering target row for extending dotnet +metaprogramming capability beyond F# type providers + Roslyn Source +Generators via Nemerle's compile-time macro-based syntax extension. + +Operator conversation thread: + +> *\"i guess you can do that with templates if you are deiciplined\"* +> +> *\"this is why we shold support nmerle for dotnet\"* + +The substrate-engineering insight: C++ templates put discipline on +user; Nemerle macros put discipline INTO the language. Aligns with +framework's general \"encoding rules without mechanizing them +produces a memory of failures, not prevention\" pattern. + +## Row content highlights + +- Capability gap analysis (F# vs C# vs Nemerle on 6 metaprogramming + surfaces) +- Relationship-type-inference substrate-engineering target (from same + 2026-05-27 conversation thread; PR #5497 razor-anchor-friend-pact + substrate composes) +- 5 sub-row decomposition for future implementation +- Mika 2026-05-18 substrate anchor verbatim preserved (Nemerle in + operator's substrate-engineering-language-spectrum) +- JetBrains MPS substrate connection (upstream-prior-art) +- Substrate verification per verify-existing-substrate-before- + authoring rule + +Priority: P3 (substrate-engineering target; not urgent). + +## Test plan + +- [x] Markdownlint clean (no MD004 leading-+ continuations) +- [x] No prior B-0860 row on main + no in-flight (ID-allocation + discipline applied) +- [x] Substrate-verification pass per rule before authoring +- [ ] CI passes (auto-merge to fire on green) + +🤖 Generated with [Claude Code](https://claude.com/claude-code) + +## General comments + +### @chatgpt-codex-connector (2026-05-27T16:23:57Z) + +You have reached your Codex usage limits for code reviews. You can see your limits in the [Codex usage dashboard](https://chatgpt.com/codex/cloud/settings/usage).