{"id":6256,"date":"2018-10-10T20:58:11","date_gmt":"2018-10-10T18:58:11","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6256"},"modified":"2018-11-24T11:49:07","modified_gmt":"2018-11-24T10:49:07","slug":"i1m2018-definiciones-por-comprension","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2018-definiciones-por-comprension\/","title":{"rendered":"I1M2018: Definiciones por comprensi\u00f3n"},"content":{"rendered":"<p>En la primera parte de la clase de hoy de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\">Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas<\/a> se ha explicado la primera parte del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\/temas\/tema-5.html\">tema 5<\/a> en la que se estudia c\u00f3mo definir funciones en Haskell usando listas de comprensi\u00f3n. En concreto, hemos visto c\u00f3mo definir:<\/p>\n<ul>\n<li>listas con un generador,<\/li>\n<li>listas con varios generadores,<\/li>\n<li>listas con generadores dependientes y<\/li>\n<li>listas con guardas,<\/li>\n<li>listas de comprensi\u00f3n con emparejamientos.<\/li>\n<\/ul>\n<p>Tambi\u00e9n se han estudiados las cadenas como caso particular de listas y c\u00f3mo aplicar definiciones por comprensi\u00f3n a cadenas.<\/p>\n<p>Tambi\u00e9n se ha explicado c\u00f3mo usar QuickCheck para la<\/p>\n<ul>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m\/temas\/tema-1.html#comprobaci\u00f3n-de-propiedades\">comprobar propiedades<\/a> y <\/li>\n<li><a href=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m\/temas\/tema-1.html#refutaci\u00f3n-de-propiedades\">refutar propieades<\/a>.<\/li>\n<\/ul>\n<p>Los apuntes utilizados son los del <a href=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m\/temas\/tema-5.html\">tema 5<\/a> \n<!-- iframe plugin v.5.0 wordpress.org\/plugins\/iframe\/ -->\n<iframe loading=\"lazy\" src=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\/temas\/\/tema-5.html\" width=\"100%\" frameborder=\"1\" height=\"500\" scrolling=\"yes\" class=\"iframe-class\"><\/iframe>\n<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la primera parte de la clase de hoy de Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas se ha explicado la primera parte del tema 5 en la que se estudia c\u00f3mo definir funciones en Haskell usando listas de comprensi\u00f3n. En concreto, hemos visto c\u00f3mo definir: listas con un generador, listas con varios generadores, listas&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","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":[320],"tags":[270,321],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6256"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=6256"}],"version-history":[{"count":4,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6256\/revisions"}],"predecessor-version":[{"id":6387,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6256\/revisions\/6387"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6256"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6256"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6256"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}