Skip to content

F# for Fun and Profit personal blog

Designing with types: Making illegal states unrepresentable

fsharpforfunandprofit.com 5 min read

Encoding business logic in types

Read on fsharpforfunandprofit.com → Archived copy

Points: 0
HN comments: 0
Submissions: 0
Cited by: 22 commenters

Software Engineering Programming Languages 2017

Cited in comments

Linked from 24 Hacker News comments by 22 different people, from Jan 2017 to May 2026.

Most recent:

arwhatever · May 24, 2026
hutao · Feb 21, 2026
arwhatever · Sep 2, 2025
lock1 · Jul 21, 2025
tubthumper8 · Nov 26, 2024

Search every comment that links here →

More from F# for Fun and Profit

All 9 posts →

Railway Oriented Programming

2023332 points332 commentscited by 43Software Engineering details

Why Use F#?

2018223 points205 commentscited by 9Programming Languages details

Railway-oriented programming

2014155 points109 commentscited by 24Software Engineering details

A whirlwind tour of object-oriented code in F# (2012)

2019153 points127 comments Programming Languages details

Cyclic dependencies are evil (2013)

2021129 points121 commentscited by 4Software Engineering details

Domain Driven Design

2014cited by 15Software Engineering details

Related posts from the same era

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

NPM and Left-Pad: Have We Forgotten How to Program?

David Haney20161,725 points854 commentscited by 10 details

Yarn – A new package manager for JavaScript

Meta Engineering Blog20161,714 points469 comments details

Sublime Text 3.0

Sublime Text Blog20171,653 points675 comments details

I've Just Liberated My Modules

Azer Koçulu20161,573 points797 commentscited by 10 details

Electron is flash for the desktop (2016)

Joseph Gentle20171,519 points1,179 commentscited by 9 details