{"id":5321,"date":"2016-02-24T16:11:50","date_gmt":"2016-02-24T15:11:50","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=5321"},"modified":"2016-02-28T16:14:26","modified_gmt":"2016-02-28T15:14:26","slug":"i1m2015-el-tipo-abstracto-de-datos-de-las-pilas-en-haskell","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2015-el-tipo-abstracto-de-datos-de-las-pilas-en-haskell\/","title":{"rendered":"I1M2015: El tipo abstracto de datos de las pilas en Haskell."},"content":{"rendered":"<p>En la clase de hoy del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\">Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas<\/a> hemos empezado el estudio de los tipos abstractos (TAD) de datos en Haskell.<\/p>\n<p>Despu\u00e9s de tratar de la abstracci\u00f3n, los TAD en general y su analog\u00eda con las estructuras algebraicas, se ha estudiado el primero de los TAD: las pilas.<\/p>\n<p>Se ha comenzado la modelizaci\u00f3n de las pilas observando la forma de introducir o extraer sus elementos. El resultado de la modelizaci\u00f3n es la especificaci\u00f3n del TAD: su signatura y propiedades caracter\u00edsticas.<\/p>\n<p>A continuaci\u00f3n se han estudiados dos implementaciones (una basada en tipos de datos algebraicos y otra en listas) y las complejidades de las operaciones.<\/p>\n<p>Un punto importante es la forma de conseguir la abstracci\u00f3n de tipos en Haskell mediante m\u00f3dulos y exportaci\u00f3n s\u00f3lo de la signatura.<\/p>\n<p>Finalmente, usando QuickCheck se comprueban las propiedades caracter\u00edsticas del TAD de las pilas.<\/p>\n<p>Las transparencias usadas en la clase son las del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-15\/temas\/tema-14.html\">tema 14<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase de hoy del curso de Inform\u00e1tica de 1\u00ba del Grado en Matem\u00e1ticas hemos empezado el estudio de los tipos abstractos (TAD) de datos en Haskell. Despu\u00e9s de tratar de la abstracci\u00f3n, los TAD en general y su analog\u00eda con las estructuras algebraicas, se ha estudiado el primero de los TAD: las pilas&#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":[250],"tags":[244,270,310],"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\/5321"}],"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=5321"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5321\/revisions"}],"predecessor-version":[{"id":5322,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/5321\/revisions\/5322"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=5321"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=5321"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=5321"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}