Dependent typing, refinement types using SMT solver
Testing
Categorize words to specific domain
Easy Remote Access, solve (N+1) query issues easily.
FP Comparison between Scala, Ocaml and Haskell
FP concepts (type classes, polymorphism, monads explained by example
Comparison between different techniques of Effect handling
Event Sourcing based (F#)
Onion architecture, with RDMS backend (F#)