Repository navigation

feat: add C# and optimized .NET compilation backends - #8

Merged

pchalamet merged 134 commits into

mainfrom

features/dotnet-backend

Oct 25, 2026

Merged

feat: add C# and optimized .NET compilation backends#8
pchalamet merged 134 commits into
mainfrom
features/dotnet-backend

Commits on Aug 23, 2026
- docs(compiler): define semantic baseline and IR architecture
  pchalamet
  committed
  69dbf6a
- refactor(language): expose resolved expression types
  pchalamet
  committed
  06bcc87
- feat(compiler): introduce validated typed HIR
  pchalamet
  committed
  417ad50
- feat(compiler): execute core FScript LIR
  pchalamet
  committed
  b5ba5b4
- feat(go): generate minimal FScript Go projects
  pchalamet
  committed
  0a9bd52
- feat(compiler): add versioned LIR artifacts
  pchalamet
  committed
  60d0f64
- feat(cli): add IR and Go compile targets
  pchalamet
  committed
  429cb44
- feat(compiler): execute aggregate LIR values
  pchalamet
  committed
  0a95e42
- feat(compiler): lower lexical bindings and failures
  pchalamet
  committed
  a3d9d8a
- feat(compiler): lower pattern decision trees
  pchalamet
  committed
  461d50e
- feat(compiler): execute collection and data expressions
  pchalamet
  committed
  e5e1cba
- feat(compiler): preserve declared unions
  pchalamet
  committed
  3eb070c
- feat(compiler): execute deterministic ordered maps
  pchalamet
  committed
  be74622
- feat(compiler): initialize recursive closure groups
  pchalamet
  committed
  2b9906b
- feat(compiler): add portable runtime intrinsics
  pchalamet
  committed
  f3cf99c
- feat(compiler): retain inert host extern linkage
  pchalamet
  committed
  7889dc2
- refactor(compiler): split LIR consumers into assemblies
  pchalamet
  committed
  2634b34
- feat(compiler): lower iteration and binding patterns
  pchalamet
  committed
  365dfda
- test(compiler): isolate backend consumer suites
  pchalamet
  committed
  6a0dc4f
- feat(go): execute higher-order runtime intrinsics
  pchalamet
  committed
  b81097e
- feat(compiler): preserve top-level execution order
  pchalamet
  committed
  0a64b7b
- feat(compiler): execute local recursive groups
  pchalamet
  committed
  19f9810
- feat(compiler): execute map and type patterns
  pchalamet
  committed
  a539ad1
- refactor(language): resolve typed symbol references
  pchalamet
  committed
  feeb1a0
- feat(compiler): harden versioned IR metadata
  pchalamet
  committed
  8d4ae46
- feat(compiler): supply runtime execution context
  pchalamet
  committed
  a11e59e
- feat(go): emit initial Go import bindings
  pchalamet
  committed
  a469559
- test(go): enforce FScript semantic conformance
  pchalamet
  committed
  783d77b
- feat(compiler): validate typed IR invariants
  pchalamet
  committed
  134683c
- feat(compiler): preserve deferred task linkage
  pchalamet
  committed
  433cc12
- refactor(compiler): separate extern descriptions
  pchalamet
  committed
  4505c26
- feat(compiler): preserve portable console output
  pchalamet
  committed
  fbcb1ba
- feat(go): emit canonical formatted projects
  pchalamet
  committed
  b7792a2
- feat(compiler): expose LIR optimization stage
  pchalamet
  committed
  00f1c86
- feat(go): preserve tuple representations
  pchalamet
  committed
  8c8bde8
- feat(go): adapt imported record bindings
  pchalamet
  committed
  0c7b8fe
- refactor(language): expose recursive resolved expressions
  pchalamet
  committed
  4710009
- feat(compiler): record explicit closure captures
  pchalamet
  committed
  dbacb8b
- feat(compiler): lift LIR function bodies
  pchalamet
  committed
  e8d62a3
- feat(cli): harden compiler output commands
  pchalamet
  committed
  7b95347
- feat(go): reject reachable host externs
  pchalamet
  committed
  0da1967
- feat(compiler): preserve structured export metadata
  pchalamet
  committed
  fe8eb5f
- test(compiler): snapshot canonical typed IR
  pchalamet
  committed
  6531d82
- feat(go): preserve named record representations
  pchalamet
  committed
  5c3918b
- refactor(compiler): preserve resolved symbol identities
  pchalamet
  committed
  b1dc0cf
- feat(go): emit concrete declared unions
  pchalamet
  committed
  e9201da
- test(go): broaden structural conformance
  pchalamet
  committed
  ad1a8d2
- feat(language): retain structured declaration attributes
  pchalamet
  committed
  ecf6df8
- feat(compiler): preserve default runtime extern linkage
  pchalamet
  committed
  72eeed9
- refactor(language): emit semantic resolved trees
  pchalamet
  committed
  05d2476
- fix(go): preserve intrinsic and result semantics
  pchalamet
  committed
  195df67
- feat(language): retain custom declaration attributes
  pchalamet
  committed
  7937f39
- refactor(go): execute serialized pattern plans
  pchalamet
  committed
  0ccb079
- fix(compiler): short-circuit LIR execution failures
  pchalamet
  committed
  a2eea80
- fix(go): validate LIR before generation
  pchalamet
  committed
  573699b
- test(compiler): harden artifact and Go gates
  pchalamet
  committed
  bb489ee
- fix(compiler): preserve ordered map construction
  pchalamet
  committed
  6d9c3ab
- refactor(language): project legacy typed inference
  pchalamet
  committed
  723365f
- feat(compiler): lower executable pattern plans
  pchalamet
  committed
  14a6504
- fix(compiler): compile complete sample semantics
  pchalamet
  committed
  d90b73b
- fix(compiler): harden IR validation invariants
  pchalamet
  committed
  d95ab32
- test(go): complete structural failure conformance
  pchalamet
  committed
  34fac25
- fix(language): preserve top-level shadowing identities
  pchalamet
  committed
  dcbd84b
- feat(language): short circuit boolean operators
  pchalamet
  committed
  af81c4f
- test(compiler): cover runtime equality boundaries
  pchalamet
  committed
  1abf299
- fix(compiler): complete numeric and list failures
  pchalamet
  committed
  1c78898
- fix(go): preserve floating point runtime semantics
  pchalamet
  committed
  68b42f2
- docs(compiler): specify HIR LIR and execution workflows
  pchalamet
  committed
  20677d3
- docs(website): add Go and IR compiler paths
  pchalamet
  committed
  c38d637
- feat(backends): support portable console input
  pchalamet
  committed
  07babcb
- fix(go): compare erased numeric values
  pchalamet
  committed
  2536610
- docs(go): define zero-erasure representation policy
  pchalamet
  committed
  7d91b34
- feat(go): specialize reachable HM instantiations
  pchalamet
  committed
  2845aec
- feat(go): monomorphize typed LIR for Go
  pchalamet
  committed
  0885e67
- feat(go): emit typed functions and core aggregates
  pchalamet
  committed
  109e04c
- feat(go): emit typed records unions maps and patterns
  pchalamet
  committed
  fe0b2a5
- feat(go): specialize builtins equality and formatting
  pchalamet
  committed
  004e323
- refactor(go): remove erased runtime representations
  pchalamet
  committed
  2f616e1
- test(go): enforce zero-erasure conformance
  pchalamet
  committed
  c6501ae
Commits on Aug 24, 2026
- fix(go): specialize contextual polymorphic values
  pchalamet
  committed
  a3a25c2
- feat(go): support filesystem regex and tasks
  pchalamet
  committed
  93992c5
- docs(website): document host standard library
  pchalamet
  committed
  b61c529
- fix(go): widen structural record updates
  pchalamet
  committed
  1ab0bea
- feat(compiler): optimize reachable LIR
  pchalamet
  committed
  a373ddc
- feat(compiler): trampoline proper tail calls
  pchalamet
  committed
  97f49e0
- feat(go): lower self tail calls to loops
  pchalamet
  committed
  7e702fe
- feat(go): emit statement-oriented control flow
  pchalamet
  committed
  2fea39f
- feat(go): raise saturated function applications
  pchalamet
  committed
  d590158
- feat(go): fuse safe collection pipelines
  pchalamet
  committed
  fbf2080
- refactor(go): remove static pattern branches
  pchalamet
  committed
  a49262f
- feat(go): specialize structural record representations
  pchalamet
  committed
  54e1e78
- fix(go): convert nested record option fields
  pchalamet
  committed
  1d52262
- refactor(go): fold constant map pattern checks
  pchalamet
  committed
  af11033
- refactor(go): omit unused pattern bindings
  pchalamet
  committed
  063f2e7
- feat(go): emit saturated intrinsic applications
  pchalamet
  committed
  d8d9fdd
- feat(go): flatten immutable list construction
  pchalamet
  committed
  5a02e73
- feat(go): optimize closed specialized programs
  pchalamet
  committed
  8066fab
- feat(go): simplify ordered map patterns
  pchalamet
  committed
  b18cae5
- refactor(go): streamline tail match emission
  pchalamet
  committed
  a872ecf
- feat(go): loop mutual tail recursion
  pchalamet
  committed
  a57accb
- feat(go): split generated source modules
  pchalamet
  committed
  183476c
- docs(website): remove compiler internals pages
  pchalamet
  committed
  d3f180f
- docs(website): give homepage a distinct voice
  pchalamet
  committed
  7226fad
- docs(website): make homepage stories vivid
  pchalamet
  committed
  5c31daa
- docs(website): focus JavaScript story on live rules
  pchalamet
  committed
  4303cb9
- docs(website): simplify homepage introductions
  pchalamet
  committed
  7584351
- docs(website): remove oversized homepage scenes
  pchalamet
  committed
  0d7e6af
- feat(interpreter): support embedded LIR programs
  pchalamet
  committed
  08fb642
- fix(interpreter): preserve host runtime overrides
  pchalamet
  committed
  1ce7aa1
- refactor(compiler): reuse frontend export metadata
  pchalamet
  committed
  2bc041a
Commits on Sep 28, 2026
- feat(go): specialize discriminated union layouts
  pchalamet
  committed
  3951ba5
Commits on Sep 29, 2026
- build(go): add sample transpilation target
  pchalamet
  committed
  837de5c
- perf(go): fold static range direction
  pchalamet
  committed
  95ab0da
Commits on Oct 24, 2026
Commits on Oct 25, 2026

Commits

Commits on Aug 23, 2026

Commits on Aug 24, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Oct 24, 2026

Commits on Oct 25, 2026