haskell - near - ¿"Libro de cocina" para convertir de QuickCheck1 a QuickCheck2?
quick check near me (2)
¿Hay un libro de cocina disponible para convertir de QuickCheck1 a QuickCheck2?
Como algunos ejemplos, se defaultConfig ( reemplazado por Args ) y trivial y se introdujo CoArbitrary .
No conozco ningún documento de este tipo, ¡lo cual es una pena!
Sin embargo, hubo al menos una lista de cambios parcial publicada en una lista de correo: http://osdir.com/ml/lang.haskell.general/2006-11/msg00060.html
La lista dada allí incluye:
- Se encoge fallando casos de prueba.
- Soporta pruebas de código monádico.
- Maneja las excepciones con gracia.
- coarbitrary se ha movido a una clase separada, para que sea más fácil escribir instancias simples de Arbitrary.
- Modificadores de nivel de tipo para cambiar la generación de datos de prueba (por ejemplo, No Negativo).
- Tabla de función mágica de impresión.
- Acciones definidas por el usuario cuando las propiedades fallan.
Parece que el (los) autor (es) de QuickCheck2 no han proporcionado las Notas de la versión que se usan normalmente para responder preguntas como la suya. Suponiendo (¡oh, oh, sabemos lo que eso significa!) Que el autor (es) actualizó el documento API, puede compararlo con la versión que tiene, y las diferencias le darán su libro de recetas. Como último recurso, puede comparar el código fuente, pero eso probablemente muestre más diferencias de las que le importan.