coding-csharp

name	coding-csharp
description	Enforces C# + LanguageExt functional/ROP style, type discipline, runtime-record effects, Scrutor composition, and module organization standards. Use when writing, editing, reviewing, refactoring, or debugging .cs modules, implementing domain models, sealed DU hierarchies, Eff/Fin/Validation pipelines, or configuring .csproj, analyzers, or DI.

[H1][CODING-CSHARP]

Dictum: C# + LanguageExt style, type discipline, and module organization govern all C# work.

All code follows six governing principles:

• Polymorphic — one entrypoint per concern, generic over specific, extend over duplicate
• Functional + ROP — pure pipelines, typed error rails, monadic composition
• Strongly typed — explicit types everywhere, one canonical shape per concept, zero var
• Programmatic — variable-driven dispatch, named parameters, bounded vocabularies
• Algorithmic — reduce branching through transforms, folds, and discriminant-driven projection
• AOP-driven — cross-cutting concerns via decorator composition, not in-method duplication

Paradigm

• Immutability: readonly record struct for values, with-expressions for transitions, Atom<T> for managed state
• Typed error channels: sealed DU error hierarchies for file-internal errors (never exported), shared Error subtypes for domain-level boundary-crossing errors; Fin<T> sync, Validation<Error,T> parallel, Eff<RT,T> effectful
• Exhaustive dispatch: switch expressions on sealed DU hierarchies, Thinktecture / for generated dispatch