Write your own domain specific language with F#
summary
Claims that F# lets teams write a strongly and statically typed domain-specific language that reads like business English, using discriminated unions, records, units-of-measure, option/result types and pattern matching to eliminate nulls and implicit exceptions. Shows concrete models (payment, shopping cart, validated vs unvalidated order), a validation pipeline composed with partial application, and end-to-end deployment options via Fable/SAFE stack so the same types transpile to JavaScript and actually work in front-end/back-end scenarios.
AI-written summary · about
chapters (30)
- 0:00Introduction
- 0:50About me
- 1:10Who is familiar with F
- 1:39About F
- 3:21Why F
- 7:19Weird naming
- 7:46Too far
- 8:06We are programmers
- 8:31Writing just plain English
- 9:05Writing for nontechnical people
- 11:14Float Integer
- 12:09Conclusion
- 13:07Do we have to speak different languages
- 13:20Another programming language
- 13:45Model domain with just types
- 14:00Discrimination Union
- 16:28Pattern Matching
- 17:44Card Number
- 18:40Record
- 22:05Gadget
- 23:37OptionType
- 25:59Special Result Type
- 27:16Validation Error List
- 28:13Discrimination Unions
- 29:19Functional Programming
- 29:54Type Inference
- 34:30Partial Application
- 37:07Imperative Style
- 39:38Safestack
- 40:10Limitations
related talks
49mDomain Modeling Made Functional
51mDomain Modeling Made Functional
33mFrom Domain Models to Domain Languages with Tagless-Final
46mDomain modelling made simple: Functions and Values
46mFunctional programming in F# Fad or Fabulous
01h 00mFunctional-first programming with F#
01h 08mWhy Every Day as a Developer Would Be Easier with F#
01h 07mBuild Life-Saving Apps with Functional DSLs in F#