21 --Primitive recursion constructor
22 pr :: ([Int] -> Int) -> ([Int] -> Int) -> ([Int] -> Int)
23 pr f g = \xs 0 -> f xs
24 pr f g = \xs (y+1) -> g xs y ((pr f g) xs y)
Quiero la función que esta función crea para actuar de forma diferente en diferentes entradas, de modo que pueda crear una función recursiva. Como se esperaba, el código anterior no funciona. ¿Cómo hago algo parecido a la coincidencia de patrones, pero para la función que crea?Coincidencia de patrón para expresiones lambda
Gracias