ReadMeFeed / Community knowledge
Real questions. Useful conversations. Find the people who know your stack.
Languages & runtimes · #fsharp
Learn how F# discriminated unions eliminate illegal states and how pattern matching gives you compile‑time exhaustiveness checks for safer domain modeling.
Stop hand-writing DTOs for every JSON payload. F#'s JSON Type Provider generates record types from a sample file at compile time, catching schema drift before runtime and giving you IntelliSense for free.
Use F#'s Result<'T,'Error> discriminated union and combinators like Result.bind, Result.map, and Result.mapError to represent domain failures explicitly instead of throwing exceptions, with a worked example and practical limits.
Boolean flags and nullable fields create combinatorial state bugs. F# Discriminated Unions make illegal states unrepresentable by encoding each valid state as a distinct case with its own required data—verified exhaustive by the compiler.
How to convert between F# Async<'T> and System.Threading.Tasks.Task at .NET boundaries without deadlocks or type errors.
Learn how to use F# Units of Measure to prevent common unit-conversion bugs. This guide covers compile-time dimensional analysis, runtime overhead, and C# interoperability.
F# Type Providers let you generate strongly‑typed models from live JSON, CSV, or SQL schemas at compile time. This article explains the architectural trade‑offs, how to treat schema sources as trusted code, CI checks to guard against drift, and when to shift to runtime validation.
Learn how to use F# Units of Measure to eliminate silent numeric bugs by encoding physical dimensions into the type system for compile-time safety.
F# Units of Measure attach compile-time dimension metadata to numeric types, preventing unit mismatches before runtime.
dotnet