Normative behavior for the language, runtime surface, hosting model, and editor/LSP semantics.
- Compiler semantic baseline:
compiler-semantics-baseline.md - Typed high-level IR (HIR):
typed-hir.md - Executable low-level IR (LIR):
executable-lir.md - C# and .NET compilation:
dotnet-backends.md - Syntax and indentation:
syntax-and-indentation.md - Supported types:
supported-types.md - Function annotations:
function-annotations.md - Map matching:
map-matching-reference.md
-
Stdlib functions:
stdlib-functions.md -
Host-managed types:
host-managed-types.md -
Typed F# host function adapters:
host-functions.md -
External functions and extensibility:
external-functions.md -
Shared CLI/editor environments:
environment-configuration.md -
Static task-sharing analysis:
static-task-sharing-analysis.md
- Embedding
FScript.Language:embedding-fscript-language.md - Sandbox and security:
sandbox-and-security.md
- LSP inlay hints:
lsp-inlay-hints.md - LSP uses runtime extern schemes for typing/signatures and resolves navigation to included-file declarations.
- LSP inlay hints and hover hints are configurable through initialization options (and mirrored VS Code settings).
- LSP injected stdlib functions show named-argument signatures when available and resolve definition to readonly virtual stdlib sources (
fscript-stdlib:///...). - LSP go-to-definition resolves local variable usages to their nearest in-scope local declaration by lexical AST binding identity (including function parameters and local
letbindings), with boundary-tolerant cursor positions. - LSP definition/references follow-up suppression returns a single declaration location for immediate references requests after definition on usage sites, while declaration-identifier clicks keep normal references enumeration.
- Definition/type-definition from record field labels in function return record literals resolves to the declared return type (including import-provided types).