Modelado de registros de bases de datos como tipos

Question

Estoy reescribiendo una biblioteca C# en F # en la que la mayoría de las clases se correlacionan individualmente con las tablas de la base de datos (similar a ActiveRecord). Estoy considerando si usar registros o clases (¿incluso DU?). Hay una buena cantidad de validación en los establecedores de propiedades para mantener invariantes. ¿Cuál sería la mejor manera de modelar esto en F #? No quiero que persista en la base de datos un objeto que infringe la lógica comercial. Cualquier idea es bienvenida.

Algunas consideraciones adicionales ... ¿Es mejor mover las invariantes a una clase externa de "controlador"? Viniendo de C#, se siente mal permitir que un objeto que corresponde a un registro de la base de datos contenga cualquier cosa que no se pueda guardar en la base de datos. Supongo que porque fallar antes parece mejor que fracasar más tarde.

Answer 1

Esto debería ser una buena forma de manejarlo. Tener su lógica de validación en el constructor le dará tranquilidad luego en su código porque el objeto es inmutable. Esto también abre posibilidades multihilo.

Inmutable Versión

type Customer (id, name) = 

    do // Constructor 
     if id <= 0 then 
      raise(new ArgumentException("Invalid ID.", "id")) 
     elif String.IsNullOrEmpty(name) then 
      raise(new ArgumentException("Invalid Name.", "name"))  

    member this.ID 
     with get() = id 
    member this.Name 
     with get() = name 

    member this.ModifyName value = 
     new Customer(id, value)  

mutable Versión

type Customer (id) = 

    let mutable name = "" 

    do // Constructor 
     if id <= 0 then 
      raise(new ArgumentException("Invalid ID.", "id")) 

    member this.ID 
     with get() = id 
    member this.Name 
     with get() = name 
     and set value = 
      if String.IsNullOrEmpty(name) then 
       raise(new ArgumentException("Invalid Name.", "value")) 
      name <- value 

Answer 2

Usted puede tener sus datos en un registro, y aún así mantener la lógica de validación con el tipo de datos, adjuntando los métodos a el registro:

type Person = 
    { First : string; 
     Last : string; } with 
    member x.IsValid() = 
     let hasValue = System.String.IsNullOrEmpty >> not  
     hasValue x.First && hasValue x.Last 

let jeff = { First = "Jeff"; Last = "Goldblum" } 
let jerry = { jeff with First = "Jerry" } 
let broken = { jerry with Last = "" } 

let valid = [jeff; jerry; broken] 
      |> List.filter (fun x -> x.IsValid()) 

La semántica de copia para los registros es casi tan conveniente como establecer una propiedad. La validación no ocurre en el conjunto de propiedades, pero es fácil filtrar una lista de registros solo a los válidos.

Answer 3

¿Has echado un vistazo a mi proyecto FunctionalNHibernate? Está diseñado como una capa en la parte superior de nhibernate para permitirle asignar mapas declarativamente a una base de datos. Es pronto, pero es útil: http://bitbucket.org/robertpi/functionalnhibernate/