F# for fun and profit
  • Home
  • Why use F#?
  • Help with F#
    • Installing and using F#
    • Learning F#
    • Thinking Functionally
    • Expressions and Syntax
    • Understanding F# types
    • Porting from C#
    • Troubleshooting F#
  • Site Contents
  • Search

Category: Correctness

22 Apr 2012
Worked example: Designing for correctness
How to make illegal states unrepresentable
Filed under Correctness, Types, and Worked Examples
21 Apr 2012
Using the type system to ensure correct code
In F# the type system is your friend, not your enemy
Filed under Correctness and Types
20 Apr 2012
Exhaustive pattern matching
A powerful technique to ensure correctness
Filed under Correctness and Patterns
19 Apr 2012
Immutability
Making your code predictable
Filed under Correctness and Immutability
18 Apr 2012
Correctness
How to write 'compile time unit tests'
Filed under Correctness
Series
Why use F#?
Thinking functionally
Expressions and syntax
Understanding F# types
Object-oriented programming in F#
Porting from C#
Designing with types
Computation Expressions
A recipe for a functional app
Dependency cycles
Recent Posts
Cycles and modularity in the wild
Refactoring to remove cyclic dependencies
Cyclic dependencies are evil
Organizing modules in a project
Why I won't be writing a monad tutorial
Railway oriented programming
» Archives
Categories
F# vs C# • Conciseness • Types • Folds • Functions • Patterns • Convenience • Partial Application • Correctness • Immutability • Worked Examples • Concurrency • Completeness • Currying • Combinators • Modules • Object-oriented • Classes • Interfaces • DDD • Design •
More
RSS Posts
About
Installing and using F#
Learning F#
Troubleshooting F#

Back to top

Text (c) 2012-2013 by fsharpforfunandprofit.com. Code examples licensed under CC BY 3.0.