constructor - problemas - interferencia lógica

Cómo hacer la validación de argumentos de los registros F#

Question

F # hace que sea fácil definir tipos como

type coords = { X : float; Y : float }

pero, ¿cómo defino los argumentos de restricciones / verificación para el constructor sin entrar en la sintaxis de definición de clase más detallada? Por ejemplo, si quiero que los acordes comiencen desde (0,0) o lancen una excepción.

Además, si cambio mi definición a una clase, necesito implementar Equals (), etc., todo el código de la placa de la caldera que no quiero (y que tengo en C # del que estoy tratando de alejarme).

Answer 1

Hay una serie llamada Diseñar con tipos en F # para diversión y beneficio . En la sección "Forzar el uso del constructor", recomienda el uso de las funciones del constructor; allí es donde van las validaciones antes de que se ejemplifique el tipo. Para evitar que las personas ejemplifiquen directamente los tipos, recomienda convenciones de nombres o archivos de firmas.

Puede encontrar varios artículos y ejemplos más relevantes buscando en Google "diseño controlado por dominio f #".

Tenga en cuenta que vengo de C # / no he aplicado F # a nuestra capa de dominio (aún;) realmente no puedo decir cómo alguno de los métodos recomendados funcionaría en un proyecto más grande. Algunas cosas seguramente parecen ... diferentes en este valiente nuevo mundo.

Answer 2

Puedes hacer la implementación privada. Aún obtienes igualdad estructural pero pierdes el acceso directo al campo y la coincidencia de patrones. Puedes restaurar esa habilidad usando patrones activos.

//file1.fs
type Coords =
private {
X: float
Y: float
}
[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module Coords =
///The ONLY way to create Coords
let create x y =
check x
check y
{X=x; Y=y}
let (|Coords|) {X=x; Y=y} = (x, y)
//file2.fs
open Coords
let coords = create 1.0 1.0
let (Coords(x, y)) = coords
printfn "%f, %f" x y

Answer 3

Tienes que usar la sintaxis de definición de clase:

type coords(x: float, y: float) =
do
if x < 0.0 then
invalidArg "x" "Cannot be negative"
if y < 0.0 then
invalidArg "y" "Cannot be negative"
member this.X =
x
member this.Y =
y