VIII Jornadas de Enseñanza Universitaria de la Informática Cáceres ...

sig (x, n) = (x-1, n)-- min :: (Int, Int) -> Boolmin (x, n) = (x == 1)-- no_divide :: (Int, Int) -> Boolno_divide (x, n) = (n `mod` x /= 0)2.2. Ejemplo 2: “Operaciones con Dígitos”a) “Determinar los anillos de un dígito”-- PROBLEMA : Determinar el número deanillos de un dígitoanillos_digito :: Int -> Intanillos_digito = depurar(pre,fun,post,name)where-- name :: Stringname = "anillos_digito"-- pre :: Int -> Boolpre (n) = n >= 0-- fun :: Int -> Intfun (n) = if (n == 8) then 2else if (n == 0 ||n == 6 ||n == 9) then 1else 0-- post :: Int -> Int -> Boolpost n resultado = resultado == anilloswhere anillos | (n == 8) = 2| (n == 0) ||(n == 6) ||(n == 9) = 1| otherwise = 0b) “Determinar los anillos de un número n∈ ”-- PROBLEMA : Determinar los anillos deun número Natural n.anillos_numero :: Int -> Intanillos_numero = depurar(pre,fun,post,name)where-- nombre :: Stringnombre = "anillos_numero"-- pre :: Int -> Boolpre (n) = n >= 0-- fun :: Int -> Intfun n = if (n < 10) thenanillos_digito (n)elseanillos_digito (n `mod` 10) +anillos_numero (n `div` 10)-- post :: Int -> Int -> Boolpost n resultado =resultado ==suma (inicial, siguiente, minimal)(\x -> True) anillos_digito_i (n)-- ini :: Int -> (Int, Int)ini (n) = (n, numDigitos(n))-- sig :: (Int, Int) -> (Int, Int)sig (n, i) = (n, i-1)-- min (Int,Int) -> Boolmin (n, i) = i == 03. Conclusiones y Trabajos FuturosEn este trabajo hemos presentado una propuestade depuración de programas Haskell a partir de lasespecificaciones PRE/POST descritas en Haskell.En el futuro, planeamos mejorar la herramientaH4D2 con más facilidades de depuración yelementos que hagan más amigable la depuración(trazas paso a paso, evaluación de elementos delprograma, etc..).Referencias[1] Burgos, J.M., Galve, J., García, J. and SutilM.: Una Taxonomía de Problemas para laEnseñanza de la Programación, Actas del VIIINFOREDU’2000, Mayo 2000, La Habana(Cuba).[2] Burgos, J.M., Galve, J., García, J. and SutilM.: Diseño de Soluciones Abstractasmediante el Refinamiento deEspecificaciones. VII Jornadas sobre laEnseñanza Universitaria de la Informática(JENUI’01).[3] J.M. Burgos, J.Galve y J. García. FromProblems to Programs: A Pattern Languageto Go from Problem Requirements toSolution Schemas in ElementaryProgramming. Proceedings of the 5thEuroPLoP´2000.[4] Schmidt, D.R. Towards a classificationapproach to design. In Proceedings of theFifth International Conference on AlgebraicMethodology and Software Technology,AMAST’96 (1996), vol. LNCS 1101,Springer-Verlag, pp. 62-84.[5] http://www.haskell.org/[6] S. Peyton Jones and J. Hughes (editors).Standard libraries for the Haskell 98programming language, February 1999.[7] E.Y.Shapiro. Algorithmic ProgramDebugging. MIT Press, Cambridge, MA,1983.[8] Grupo de Investigación de ProgramaciónDeclarativa Aplicada LSIIS. Herramientasmetodológicas e instrumentales para laenseñanza de la Programación. ProyectoFundación General de la UPM (FG-UPM-43700000190), 2000-2001. Grupo deInvestigación de Programación DeclarativaAplicada LSIIS. Herramientas