[pyar] [OT] NINJA-IDE: Generador de Tests

[Claudio Freire]

2013/11/21 Mariano Guerra <mariano en marianoguerra.org>:
> Personalmente me gustaria usar las anotaciones de python para estandarizar un
> lenguaje opcional de tipado ala dialyzer[3] o typed clojure[4] y que
> en base a eso te genere los tests tipo QuickCheck.


Pero justamente la idea del tipado es que no hagan falta tests (para
chequear tipos al menos).