{"id":6237,"date":"2018-09-28T15:52:11","date_gmt":"2018-09-28T13:52:11","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=6237"},"modified":"2018-11-24T11:52:47","modified_gmt":"2018-11-24T10:52:47","slug":"i1m2018-introduccion-a-la-programacion-funcional-con-haskell","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/i1m2018-introduccion-a-la-programacion-funcional-con-haskell\/","title":{"rendered":"I1M2018: Introducci\u00f3n a la programaci\u00f3n funcional con Haskell"},"content":{"rendered":"<p>la primera parte de la clase del 28 de septiembre del curso de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\">Inform\u00e1tica<\/a> (de 1\u00ba de Grado en Matem\u00e1ticas) se han comentado las <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosI1M2018G4\/index.php\/Relaci\u00f3n_0#Curso_2018-19\">soluciones publicadas<\/a> de programaci\u00f3n de dibujos con CodeWorld.<\/p>\n<p>En la segunda parte, se ha explicado c\u00f3mo instalar los <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\/sistemas.php\">sistemas<\/a> Haskell y Emacs.<\/p>\n<p>En la tercera parte, se ha realizado una introducci\u00f3n a la programaci\u00f3n con Haskell usando emacs como entorno de programaci\u00f3n. Concretamente, se ha explicado c\u00f3mo<\/p>\n<ul>\n<li>usar Haskell como calculadora aritm\u00e9tica (con las funciones +, -, *, \/, div y ^).<\/li>\n<li>escribir guiones de Haskell en emacs.<\/li>\n<li>cargar los guiones y evaluar expresiones con las funciones definidas.<\/li>\n<\/ul>\n<p>Tambi\u00e9n se han comentado las funciones sobre n\u00fameros, listas y booleanos del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\/doc\/resumen_Haskell.pdf\">resumen de funciones<\/a> y <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m-18\/doc\/Funciones_basicas.html\">ejemplos<\/a>.<\/p>\n<p>Finalmente, se ha mostrado el uso de Haskell y emacs (la sesi\u00f3n est\u00e1 grabada en este <a href=\"http:\/\/youtu.be\/T9wbXgPkcXA\">v\u00eddeo<\/a>) y el proceso para la soluci\u00f3n colaborativa de ejercicios (la sesi\u00f3n est\u00e1 grabada en este <a href=\"http:\/\/youtu.be\/B1qfZM7_MWI\">v\u00eddeo<\/a>).<\/p>\n<p>Se han propuesto como ejercicios los de la <a href=\"https:\/\/www.glc.us.es\/~jalonso\/ejerciciosI1M2018G4\/images\/8\/82\/Rel_1.hs\">1\u00aa relaci\u00f3n<\/a>.<\/p>\n<p>Los apuntes utilizados son los del <a href=\"https:\/\/www.cs.us.es\/~jalonso\/cursos\/i1m\/temas\/tema-2.html\">tema 2<\/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-2.html\" width=\"100%\" frameborder=\"1\" height=\"500\" scrolling=\"yes\" class=\"iframe-class\"><\/iframe>\n<\/p>\n","protected":false},"excerpt":{"rendered":"<p>la primera parte de la clase del 28 de septiembre del curso de Inform\u00e1tica (de 1\u00ba de Grado en Matem\u00e1ticas) se han comentado las soluciones publicadas de programaci\u00f3n de dibujos con CodeWorld. En la segunda parte, se ha explicado c\u00f3mo instalar los sistemas Haskell y Emacs. En la tercera parte, se ha realizado una introducci\u00f3n&#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":[241,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\/6237"}],"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=6237"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6237\/revisions"}],"predecessor-version":[{"id":6390,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/6237\/revisions\/6390"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=6237"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=6237"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=6237"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}