{"id":7517,"date":"2022-11-16T06:00:49","date_gmt":"2022-11-16T04:00:49","guid":{"rendered":"http:\/\/www.glc.us.es\/~jalonso\/exercitium\/?p=7517"},"modified":"2022-12-14T11:42:19","modified_gmt":"2022-12-14T09:42:19","slug":"16-nov-22","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/16-nov-22\/","title":{"rendered":"Elementos consecutivos relacionados"},"content":{"rendered":"

Definir la funci\u00f3n<\/p>\n

\n   relacionados :: (a -> a -> Bool) -> [a] -> Bool\n<\/pre>\n
tal que relacionados r xs<\/code> se verifica si para todo par (x,y)<\/code> de elementos consecutivos de xs<\/code> se cumple la relaci\u00f3n r<\/code>. Por ejemplo,<\/p>\n
\n   relacionados (<) [2,3,7,9] == True\n   relacionados (<) [2,3,1,9] == False\n<\/pre>\n
Soluciones<\/b><\/p>\n
A continuaci\u00f3n se muestran las soluciones en Haskell<\/a> y las soluciones en Python<\/a>.<\/p>\n
<\/a>
\nSoluciones en Haskell<\/b><\/p>\n
\n-- 1\u00aa soluci\u00f3n\n-- ===========\n\nrelacionados1 :: (a -> a -> Bool) -> [a] -> Bool\nrelacionados1 r xs = and [r x y | (x,y) <- zip xs (tail xs)]\n\n-- 2\u00aa soluci\u00f3n\n-- ===========\n\nrelacionados2 :: (a -> a -> Bool) -> [a] -> Bool\nrelacionados2 r (x:y:zs) = r x y && relacionados2 r (y:zs)\nrelacionados2 _ _        = True\n\n-- 3\u00aa soluci\u00f3n\n-- ===========\n\nrelacionados3 :: (a -> a -> Bool) -> [a] -> Bool\nrelacionados3 r xs = and (zipWith r xs (tail xs))\n\n-- 4\u00aa soluci\u00f3n\n-- ===========\n\nrelacionados4 :: (a -> a -> Bool) -> [a] -> Bool\nrelacionados4 r xs = all (uncurry r) (zip xs (tail xs))\n<\/pre>\n
<\/a>
\nSoluciones en Python<\/b><\/p>\n
\nfrom typing import Callable, TypeVar\n\nA = TypeVar('A')\n\n# 1\u00aa soluci\u00f3n\n# ===========\n\ndef relacionados1(r: Callable[[A, A], bool], xs: list[A]) -> bool:\n    return all((r(x, y) for (x, y) in zip(xs, xs[1:])))\n\n# 2\u00aa soluci\u00f3n\n# ===========\n\ndef relacionados2(r: Callable[[A, A], bool], xs: list[A]) -> bool:\n    if len(xs) >= 2:\n        return r(xs[0], xs[1]) and relacionados1(r, xs[1:])\n    return True\n<\/pre>\n","protected":false},"excerpt":{"rendered":"
Definir la funci\u00f3n relacionados :: (a -> a -> Bool) -> [a] -> Bool tal que relacionados r xs se verifica si para todo par (x,y) de elementos consecutivos de xs se cumple la relaci\u00f3n r. Por ejemplo, relacionados ( Bool) -> [a] -> Bool relacionados1 r xs = and [r x y | (x,y)…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[581],"tags":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/7517"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/comments?post=7517"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/7517\/revisions"}],"predecessor-version":[{"id":7647,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/7517\/revisions\/7647"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/media?parent=7517"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/categories?post=7517"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/tags?post=7517"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}