FSharpIdea.fs

module M =
  
  [<PrivateRecordConstructor>] // how about F# had something like this?
  type Config =
    {
      A: string
      B: string
      // ...
    }
    
  let Create () =
    {
      A = "default"
      B = "default"
    }
    
module B =
  let X : M.Config = { A = "A"; B = "B" } // type error
  let Y = M.Create().B // ok
  let Z = { M.Create() with A = "A" } // ok
  
// why? because creating records by specifying all fields
// outside of the defining module is leads to code that breaks
// when the record is extended. it is an anti-pattern,
// not currently enforced