Elementos finales
Definir la función
|
1 |
finales :: Int -> [a] -> [a] |
tal que (finales n xs) es la lista formada por los n finales elementos de xs. Por ejemplo,
|
1 |
finales 3 [2,5,4,7,9,6] == [7,9,6] |
Soluciones
A continuación se muestran las soluciones en Haskell y las soluciones en Python.
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
import Test.QuickCheck -- 1ª definición finales1 :: Int -> [a] -> [a] finales1 n xs = drop (length xs - n) xs -- 2ª definición finales2 :: Int -> [a] -> [a] finales2 n xs = reverse (take n (reverse xs)) -- Comprobación de equivalencia -- ============================ -- La propiedad es prop_finales :: Int -> [Int] -> Bool prop_finales n xs = finales1 n xs == finales2 n xs -- La comprobación es -- λ> quickCheck prop_finales -- +++ OK, passed 100 tests. |
El código se encuentra en GitHub
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 |
from typing import TypeVar from hypothesis import given, strategies as st A = TypeVar('A') # 1ª definición def finales1(n: int, xs: list[A]) -> list[A]: if len(xs) <= n: return xs return xs[len(xs) - n:] # 2ª definición def finales2(n: int, xs: list[A]) -> list[A]: if n == 0: return [] return xs[-n:] # 3ª definición def finales3(n: int, xs: list[A]) -> list[A]: ys = list(reversed(xs)) return list(reversed(ys[:n])) # La propiedad de equivalencia es @given(st.integers(min_value=0), st.lists(st.integers())) def test_equiv_finales(n, xs): assert finales1(n, xs) == finales2(n, xs) == finales3(n, xs) # La comprobación es # src> poetry run pytest -q elementos_finales.py # 1 passed in 0.18s |
El código se encuentra en GitHub
Comentarios
- La longitud de la lista
xsse calcula- en Haskell, con
length xsy - en Python, con
len(xs).
- en Haskell, con