2

Hola buenas tengo un problema en mano trata de hacer un código en Haskell con las siguientes condiciones:

Le introducimos dos numeros a y b para que se divida a/b de tipo Integer , de forma que nos duevleva su modulo y su cocciente

Con las siguientes restrinciones solo se pueden usar sumas , restas y comparadores no se puede usar ni div, ni mod, ni nada

//Editado apartir de aqui

cocienteYResto:: Integer -> Integer -> (Integer, Integer)
cocienteYResto x y 
    | x < y = (x,?????)
    | otherwise = ((cocienteYResto (x - y) y))

bien aqui como vemos cuando x< y estoy devolviendo el resto, pero no tengo forma, bueno mas bien no se como conseguir ese cocciente (esto ahora mismo ni observa de que se divida entre 0, ni de que x<y en un caso base

simplemente tiene que dividir cosas como 3/2 10/4, pero nada de 3/8 .

Se aceptan sugerencias de todo tipo, estoy empezando y toda ayuda me es buena.

Un saludo y gracias

4
  • Si la multiplicación es un cúmulo de sumas, la división puedes verla como un cúmulo de restas.
    – user227
    Commented el 6 oct. 2016 a las 16:49
  • Efectivamente así consigo sacar el resto, pero el cocciente mi idea era hacerf un contador por cada iteración (bueno mas que iteración la recursividad que tiene la función que tengo), pero claro! es Haskell y no existen variables dinámicas T_T
    – Ramosaurio
    Commented el 6 oct. 2016 a las 18:09
  • Pero puedes devolver 1 + division(a-b, b)
    – user227
    Commented el 6 oct. 2016 a las 18:10
  • no entiendo muy bien a que te refieres 1+ division(a-b,b) en un principio no me va a devolver nada, es decir division(a-b,b) solo va a devolverme cuando termine digamos la parte de recursividad
    – Ramosaurio
    Commented el 6 oct. 2016 a las 18:16

1 respuesta 1

3

Se podría hacer introduciendo una función auxiliar que fuera arrastrando el valor del cociente en cada iteración recursiva.

cocienteYResto :: Integer -> Integer -> (Integer, Integer)
cocienteYResto = aux 0
    where aux c x y
            | x >= y    = aux (c+1) (x-y) y
            | otherwise = (c,x)

Pero, puesto que estamos tratando de , podemos aprovechar lo que tenemos para hacerlo más elegante:

import Data.List (span, genericLength)

cocienteYResto :: Integer -> Integer -> (Integer, Integer)
cocienteYResto x y = (genericLength l, head r)
    where (l,r) = (span (>=y) . iterate (-y+)) x

Editado el 2016-10-07

Una versión mejor:

cocienteYResto :: Integer -> Integer -> (Integer,Integer)
cocienteYResto x y = head . dropWhile ((>=y).snd)
                   $ zip [0..] (iterate (-y+) x)
1
  • Gracias , me sirvió de mucha ayuda !
    – Ramosaurio
    Commented el 7 oct. 2016 a las 9:57

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge you have read our privacy policy.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.