{"id":3232,"date":"2013-04-15T07:42:22","date_gmt":"2013-04-15T07:42:22","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3232"},"modified":"2013-04-15T07:54:00","modified_gmt":"2013-04-15T07:54:00","slug":"resena-experience-report-teaching-haskell-to-the-masses","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-experience-report-teaching-haskell-to-the-masses\/","title":{"rendered":"Rese\u00f1a: Experience report: Teaching Haskell to the masses"},"content":{"rendered":"<p>Se ha publicado un art\u00edculo sobre la ens\u00f1anza de Haskell titulado <a href=\"http:\/\/home.in.tum.de\/~traytel\/papers\/teaching_haskell\/teaching.pdf\">Experience report: Teaching Haskell to the masses<\/a>.<\/p>\n<p>Sus autores son <a href=\"http:\/\/www4.in.tum.de\/~blanchet\">Jasmin Christian Blanchette<\/a>, <a href=\"http:\/\/www21.in.tum.de\/~nipkow\">Tobias Nipkow<\/a>, <a href=\"http:\/\/www21.in.tum.de\/~noschinl\">Lars Noschinski<\/a> y <a href=\"http:\/\/home.in.tum.de\/~traytel\">Dmitriy Traytel<\/a> (de la Universidad T\u00e9cnica de Munich). <\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nWe report on our experience teaching <a href=\"http:\/\/www21.in.tum.de\/teaching\/info2\/WS1213\/\">a Haskell-based functional programming course<\/a> to over 600 students. The syllabus was organized around selected material from various sources. Throughout the term, we emphasized correctness through QuickCheck tests and proofs by induction. The submission architecture was coupled with automatic testing, giving students the possibility to correct mistakes before the deadline. To motivate the students, we complemented the weekly assignments with an informal competition.\n<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un art\u00edculo sobre la ens\u00f1anza de Haskell titulado Experience report: Teaching Haskell to the masses. Sus autores son Jasmin Christian Blanchette, Tobias Nipkow, Lars Noschinski y Dmitriy Traytel (de la Universidad T\u00e9cnica de Munich). Su resumen es We report on our experience teaching a Haskell-based functional programming course to over 600 students&#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":[1],"tags":[270],"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\/3232"}],"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=3232"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3232\/revisions"}],"predecessor-version":[{"id":3234,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3232\/revisions\/3234"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3232"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3232"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3232"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}