January 2015 - Haskell

Haskell Weekly News: Issue 314
by Daniel Santa Cruz 08 Jan '15

08 Jan '15

Welcome to issue 314 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from December 7, 2014 to January 3, 2015 I know... I know. It's been a while Quotes of the Week * arianvp__: after 5 hours of hacking my code works || now its 3 am || Types make a lot more sense when I'm tired for some reason * dmwit: "Any coder worth his salt can do the impossible." * hodapp: Math is too hard. Let's use JavaScript. * Zemyla: I imagine if [Edward Kmett] had found C++, he would be writing template definitions that would make the faces of the Boost team melt off. Top Reddit Stories * Kronos Haskell Notebook (Mac App) Domain: kronosnotebook.com, Score: 114, Comments: 21 Original: [1] http://goo.gl/nOnLuz On Reddit: [2] http://goo.gl/SNLxjo * The "What Are Monads?" Fallacy Domain: two-wrongs.com, Score: 112, Comments: 93 Original: [3] http://goo.gl/Beu6wO On Reddit: [4] http://goo.gl/CxcK1f * Learn You Some Algebras for Glorious Good! - A fun, easy-to-read math textbook. Domain: self.haskell, Score: 109, Comments: 106 Original: [5] http://goo.gl/3623n6 On Reddit: [6] http://goo.gl/3623n6 * GHC illustrated [PDF] Domain: takenobu-hs.github.io, Score: 108, Comments: 30 Original: [7] http://goo.gl/yj7ySL On Reddit: [8] http://goo.gl/sro7qH * The Haskell Cast #9 - Conal Elliott on FRP and Denotational Design Domain: haskellcast.com, Score: 94, Comments: 34 Original: [9] http://goo.gl/tls8K3 On Reddit: [10] http://goo.gl/NIJZ1X * GHC 7.10.1 will support 'static values', allowing you to create stable references to values across programs/machines for serialization, RPC, etc... Domain: phabricator.haskell.org, Score: 91, Comments: 26 Original: [11] http://goo.gl/bsfROl On Reddit: [12] http://goo.gl/weGkIq * 24 Days of GHC Extensions: Thanks! Domain: ocharles.org.uk, Score: 82, Comments: 11 Original: [13] http://goo.gl/6ee2Jb On Reddit: [14] http://goo.gl/CYoai5 * git clone in Haskell from the bottom up Domain: stefan.saasen.me, Score: 81, Comments: 9 Original: [15] http://goo.gl/nWSXV On Reddit: [16] http://goo.gl/ULS3YO * A commentary on 24 days of GHC extensions Domain: augustss.blogspot.com, Score: 78, Comments: 5 Original: [17] http://goo.gl/C4nKNN On Reddit: [18] http://goo.gl/cGBdss * Haskell for all: A very general API for relational joins Domain: haskellforall.com, Score: 77, Comments: 29 Original: [19] http://goo.gl/WVGtQl On Reddit: [20] http://goo.gl/8McEkB * Elm 0.14 - Simpler Core, Better Tools Domain: elm-lang.org, Score: 76, Comments: 38 Original: [21] http://goo.gl/7Oq4Xe On Reddit: [22] http://goo.gl/e9wbAm * Rethinking webservice and APIs in Haskell: servant 0.2 Domain: alpmestan.com, Score: 74, Comments: 59 Original: [23] http://goo.gl/Jl2CMS On Reddit: [24] http://goo.gl/HsB5zi * ANNOUNCE: GHC 7.10.1 Release Candidate 1 Domain: permalink.gmane.org, Score: 74, Comments: 4 Original: [25] http://goo.gl/I9ezar On Reddit: [26] http://goo.gl/SRNHG9 * 24 Days of GHC Extensions: Rank N Types Domain: ocharles.org.uk, Score: 69, Comments: 27 Original: [27] http://goo.gl/1OuyNg On Reddit: [28] http://goo.gl/5m79zT * A Haskell Implementation Reading List Domain: stephendiehl.com, Score: 66, Comments: 0 Original: [29] http://goo.gl/YnFyTs On Reddit: [30] http://goo.gl/3TudIF * Learning Curves for different programming languages (including Haskell) Domain: github.com, Score: 66, Comments: 106 Original: [31] http://goo.gl/SxsT10 On Reddit: [32] http://goo.gl/KNsLqh * Functional Education Domain: bitemyapp.com, Score: 66, Comments: 10 Original: [33] http://goo.gl/f4EI02 On Reddit: [34] http://goo.gl/wDxjkj * Snowdrift.coop hiring lead programmer (Haskell/Yesod) Domain: snowdrift.coop, Score: 65, Comments: 8 Original: [35] http://goo.gl/Nh0GL2 On Reddit: [36] http://goo.gl/8tLsy8 * 24 Days of GHC Extensions: Functional Dependencies Domain: ocharles.org.uk, Score: 58, Comments: 4 Original: [37] http://goo.gl/mBkf8n On Reddit: [38] http://goo.gl/uv3Mhs * So you want to learn type theory... but where to start? Here are some suggestions. Domain: purelytheoretical.com, Score: 58, Comments: 9 Original: [39] http://goo.gl/z73MMM On Reddit: [40] http://goo.gl/9AuJJl * 24 Days of Hackage: Static Pointers (guest post by Mathieu Boespflug) Domain: ocharles.org.uk, Score: 57, Comments: 32 Original: [41] http://goo.gl/4mhlNL On Reddit: [42] http://goo.gl/jsSYr9 * 24 Days of GHC Extensions: Type Families Domain: ocharles.org.uk, Score: 56, Comments: 11 Original: [43] http://goo.gl/uwLBsA On Reddit: [44] http://goo.gl/ykn06l * 24 Days of GHC Extensions: Nullary Type Classes Domain: ocharles.org.uk, Score: 54, Comments: 23 Original: [45] http://goo.gl/4k5bQw On Reddit: [46] http://goo.gl/crIJbb * 24 Days of GHC Extensions: DeriveGeneric Domain: ocharles.org.uk, Score: 54, Comments: 27 Original: [47] http://goo.gl/gKijr1 On Reddit: [48] http://goo.gl/SRMNuR * 24 Days of GHC Extensions: Existential Quantification (guest post by Roman Cheplyaka) Domain: ocharles.org.uk, Score: 54, Comments: 0 Original: [49] http://goo.gl/wXwsDU On Reddit: [50] http://goo.gl/vLaS92 * 24 Days of GHC Extensions: Multi-parameter Type Classes Domain: ocharles.org.uk, Score: 52, Comments: 11 Original: [51] http://goo.gl/2sWnsC On Reddit: [52] http://goo.gl/h4mRBb * A demo written in Haskell got 3rd place in Experience Domain: youtube.com, Score: 48, Comments: 37 Original: [53] http://goo.gl/9l7B6h On Reddit: [54] http://goo.gl/8Np97P * 24 Days of GHC Extensions: Overloaded Strings Domain: ocharles.org.uk, Score: 48, Comments: 23 Original: [55] http://goo.gl/u6aiAi On Reddit: [56] http://goo.gl/Xtww0S * Intro to Machines & Arrows (Part 1: Stream and Auto) Domain: blog.jle.im, Score: 48, Comments: 25 Original: [57] http://goo.gl/MwouKm On Reddit: [58] http://goo.gl/934frV * 24 Days of GHC Extensions: Recursive Do Domain: ocharles.org.uk, Score: 47, Comments: 7 Original: [59] http://goo.gl/iejmP8 On Reddit: [60] http://goo.gl/H8uEQS * 24 Days of GHC Extensions: Scoped Type Variables (guest post by Tim Docker) Domain: ocharles.org.uk, Score: 47, Comments: 18 Original: [61] http://goo.gl/sWS0dT On Reddit: [62] http://goo.gl/jFPZAC * ANNOUNCE: GHC version 7.8.4 Domain: permalink.gmane.org, Score: 47, Comments: 19 Original: [63] http://goo.gl/0ygVbv On Reddit: [64] http://goo.gl/2eWUsJ * Categories Great and Small (From Bartosz Milewski's Categories for Programmers series) Domain: bartoszmilewski.com, Score: 46, Comments: 8 Original: [65] http://goo.gl/NfpA7X On Reddit: [66] http://goo.gl/ghq472 * Denotational design does not work Domain: ro-che.info, Score: 45, Comments: 39 Original: [67] http://goo.gl/8hOm0A On Reddit: [68] http://goo.gl/tf4JVc Top StackOverflow Questions * What is happening when I compose * with + in Haskell? votes: 35, answers: 5 Read on SO: [69] http://goo.gl/S9h6Xi * Difference in performance of compiled accelerate code ran from ghci and shell votes: 22, answers: 0 Read on SO: [70] http://goo.gl/zxojbX * Why does this Haskell program diverge? votes: 20, answers: 1 Read on SO: [71] http://goo.gl/NDasIA * Is it possible to skip the nursery? votes: 20, answers: 1 Read on SO: [72] http://goo.gl/Qk4K5i * Haskell performance implementing unix's “cat” program with Data.ByteString votes: 19, answers: 3 Read on SO: [73] http://goo.gl/ekoeor * showsPrec and operator precedences votes: 15, answers: 1 Read on SO: [74] http://goo.gl/ifxaUB * Why does let y = 1 + y compile, and what does it mean? votes: 15, answers: 1 Read on SO: [75] http://goo.gl/vp1Q02 * Type Family Shenanigans in GHCi votes: 13, answers: 1 Read on SO: [76] http://goo.gl/fvJzzO * Quirkiness in Haskell 7.8.3 votes: 13, answers: 1 Read on SO: [77] http://goo.gl/KprcEM * What is the difference between value constructors and tuples? votes: 11, answers: 2 Read on SO: [78] http://goo.gl/5ybmYY * Efficient version of 'inits' votes: 11, answers: 2 Read on SO: [79] http://goo.gl/Qwoirp * Working out the details of a type indexed free monad votes: 11, answers: 7 Read on SO: [80] http://goo.gl/oMjYQn * How to model a currencies, money, and banks that exchange money between currencies? votes: 10, answers: 3 Read on SO: [81] http://goo.gl/svZY2T * Why are these functions differently evaluated votes: 10, answers: 2 Read on SO: [82] http://goo.gl/nrD5pA * Why does a more general type affect runtime in Haskell? votes: 10, answers: 2 Read on SO: [83] http://goo.gl/oVeQKg * List based on right Kan extension votes: 9, answers: 2 Read on SO: [84] http://goo.gl/VxPhv0 * How to inject the result of an IO action into a non-IO monadic computation votes: 9, answers: 3 Read on SO: [85] http://goo.gl/WzrvDP * Why I get the “class Num a where” instead of the “class (Eq a, Show a) => Num a”? votes: 9, answers: 4 Read on SO: [86] http://goo.gl/glKEeK * How to avoid default return value when accessing a non-existent field with lenses? votes: 9, answers: 2 Read on SO: [87] http://goo.gl/RROrVM * How much does Haskell/GHC memoize? votes: 9, answers: 1 Read on SO: [88] http://goo.gl/PuUKt4 Until next time, [89]+Daniel Santa Cruz References 1. http://www.kronosnotebook.com/haskell 2. http://www.reddit.com/r/haskell/comments/2r43q0/kronos_haskell_notebook_mac… 3. http://two-wrongs.com/the-what-are-monads-fallacy 4. http://www.reddit.com/r/haskell/comments/2r2cpe/the_what_are_monads_fallacy/ 5. http://www.reddit.com/r/haskell/comments/2qu7w8/learn_you_some_algebras_for… 6. http://www.reddit.com/r/haskell/comments/2qu7w8/learn_you_some_algebras_for… 7. http://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf 8. http://www.reddit.com/r/haskell/comments/2qxcmz/ghc_illustrated_pdf/ 9. http://www.haskellcast.com/episode/009-conal-elliott-on-frp-and-denotationa… 10. http://www.reddit.com/r/haskell/comments/2pdhe9/the_haskell_cast_9_conal_el… 11. https://phabricator.haskell.org/rGHCfc45f32491313d2a44e72d8d59cdf95b1660189d 12. http://www.reddit.com/r/haskell/comments/2otl0f/ghc_7101_will_support_stati… 13. https://ocharles.org.uk/blog/posts/2014-12-24-conclusion.html 14. http://www.reddit.com/r/haskell/comments/2qbfpe/24_days_of_ghc_extensions_t… 15. http://stefan.saasen.me/articles/git-clone-in-haskell-from-the-bottom-up/ 16. http://www.reddit.com/r/haskell/comments/2okt2e/git_clone_in_haskell_from_t… 17. http://augustss.blogspot.com/2014/12/a-commentary-on-24-days-of-ghc.html 18. http://www.reddit.com/r/haskell/comments/2pdu4a/a_commentary_on_24_days_of_… 19. http://www.haskellforall.com/2014/12/a-very-general-api-for-relational-join… 20. http://www.reddit.com/r/haskell/comments/2oji35/haskell_for_all_a_very_gene… 21. http://elm-lang.org/blog/announce/0.14.elm 22. http://www.reddit.com/r/haskell/comments/2ovgw4/elm_014_simpler_core_better… 23. http://alpmestan.com/posts/2014-12-09-rethinking-webservices-apis-haskell.h… 24. http://www.reddit.com/r/haskell/comments/2orb8t/rethinking_webservice_and_a… 25. http://permalink.gmane.org/gmane.comp.lang.haskell.ghc.devel/7529 26. http://www.reddit.com/r/haskell/comments/2q6eei/announce_ghc_7101_release_c… 27. https://ocharles.org.uk/blog/guest-posts/2014-12-18-rank-n-types.html 28. http://www.reddit.com/r/haskell/comments/2pqtxk/24_days_of_ghc_extensions_r… 29. http://www.stephendiehl.com/posts/essential_compilers.html 30. http://www.reddit.com/r/haskell/comments/2pbt0e/a_haskell_implementation_re… 31. https://github.com/Dobiasd/articles/blob/master/programming_language_learni… 32. http://www.reddit.com/r/haskell/comments/2qjnho/learning_curves_for_differe… 33. http://bitemyapp.com/posts/2014-12-31-functional-education.html 34. http://www.reddit.com/r/haskell/comments/2r0q9h/functional_education/ 35. https://snowdrift.coop/p/snowdrift/w/en/jobs 36. http://www.reddit.com/r/haskell/comments/2r6nke/snowdriftcoop_hiring_lead_p… 37. https://ocharles.org.uk/blog/posts/2014-12-14-functional-dependencies.html 38. http://www.reddit.com/r/haskell/comments/2pal4v/24_days_of_ghc_extensions_f… 39. http://purelytheoretical.com/sywtltt.html 40. http://www.reddit.com/r/haskell/comments/2pzczc/so_you_want_to_learn_type_t… 41. https://ocharles.org.uk/blog/guest-posts/2014-12-23-static-pointers.html 42. http://www.reddit.com/r/haskell/comments/2q85zp/24_days_of_hackage_static_p… 43. https://ocharles.org.uk/blog/posts/2014-12-12-type-families.html 44. http://www.reddit.com/r/haskell/comments/2p3mrm/24_days_of_ghc_extensions_t… 45. https://ocharles.org.uk/blog/posts/2014-12-10-nullary-type-classes.html 46. http://www.reddit.com/r/haskell/comments/2ovvnk/24_days_of_ghc_extensions_n… 47. https://ocharles.org.uk/blog/posts/2014-12-16-derive-generic.html 48. http://www.reddit.com/r/haskell/comments/2pirdg/24_days_of_ghc_extensions_d… 49. https://ocharles.org.uk/blog/guest-posts/2014-12-19-existential-quantificat… 50. http://www.reddit.com/r/haskell/comments/2pu0e8/24_days_of_ghc_extensions_e… 51. https://ocharles.org.uk/blog/posts/2014-12-13-multi-param-type-classes.html 52. http://www.reddit.com/r/haskell/comments/2p792t/24_days_of_ghc_extensions_m… 53. https://www.youtube.com/watch?v=-qISxjnikJ4 54. http://www.reddit.com/r/haskell/comments/2oqo33/a_demo_written_in_haskell_g… 55. https://ocharles.org.uk/blog/posts/2014-12-17-overloaded-strings.html 56. http://www.reddit.com/r/haskell/comments/2pmon2/24_days_of_ghc_extensions_o… 57. http://blog.jle.im/entry/intro-to-machines-arrows-part-1-stream-and 58. http://www.reddit.com/r/haskell/comments/2qirmb/intro_to_machines_arrows_pa… 59. https://ocharles.org.uk/blog/posts/2014-12-09-recursive-do.html 60. http://www.reddit.com/r/haskell/comments/2osh3v/24_days_of_ghc_extensions_r… 61. https://ocharles.org.uk/blog/guest-posts/2014-12-20-scoped-type-variables.h… 62. http://www.reddit.com/r/haskell/comments/2pwecw/24_days_of_ghc_extensions_s… 63. http://permalink.gmane.org/gmane.comp.lang.haskell.ghc.devel/7526 64. http://www.reddit.com/r/haskell/comments/2q6oln/announce_ghc_version_784/ 65. http://bartoszmilewski.com/2014/12/05/categories-great-and-small/ 66. http://www.reddit.com/r/haskell/comments/2phex1/categories_great_and_small_… 67. http://ro-che.info/articles/2014-12-31-denotational-design-does-not-work 68. http://www.reddit.com/r/haskell/comments/2qvbhp/denotational_design_does_no… 69. http://stackoverflow.com/questions/27664213/what-is-happening-when-i-compos… 70. http://stackoverflow.com/questions/27541609/difference-in-performance-of-co… 71. http://stackoverflow.com/questions/27421598/why-does-this-haskell-program-d… 72. http://stackoverflow.com/questions/27630833/is-it-possible-to-skip-the-nurs… 73. http://stackoverflow.com/questions/27463669/haskell-performance-implementin… 74. http://stackoverflow.com/questions/27471937/showsprec-and-operator-preceden… 75. http://stackoverflow.com/questions/27557380/why-does-let-y-1-y-compile-and-… 76. http://stackoverflow.com/questions/27490352/type-family-shenanigans-in-ghci 77. http://stackoverflow.com/questions/27663435/quirkiness-in-haskell-7-8-3 78. http://stackoverflow.com/questions/27476446/what-is-the-difference-between-… 79. http://stackoverflow.com/questions/27672585/efficient-version-of-inits 80. http://stackoverflow.com/questions/27676294/working-out-the-details-of-a-ty… 81. http://stackoverflow.com/questions/27408873/how-to-model-a-currencies-money… 82. http://stackoverflow.com/questions/27568791/why-are-these-functions-differe… 83. http://stackoverflow.com/questions/27683108/why-does-a-more-general-type-af… 84. http://stackoverflow.com/questions/27381133/list-based-on-right-kan-extensi… 85. http://stackoverflow.com/questions/27391293/how-to-inject-the-result-of-an-… 86. http://stackoverflow.com/questions/27561604/why-i-get-the-class-num-a-where… 87. http://stackoverflow.com/questions/27567664/how-to-avoid-default-return-val… 88. http://stackoverflow.com/questions/27570371/how-much-does-haskell-ghc-memoi… 89. https://plus.google.com/105107667630152149014/about

1 0

CfP LPNMR 2015 Announcement: Associated Events
by Francesco Calimeri 03 Jan '15

03 Jan '15

[apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-co… IMPORTANT DATES (TENTATIVE) * Paper registration: April 13, 2015 * Paper submission: April 20, 2015 * Notification: June 1, 2015 * Final versions due: June 15, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, University of Potsdam, Germany Matthias Knorr, CENTRIA, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015(a)mat.unical.it

1 0

ANNOUNCE: tofromxml Library
by Robert 02 Jan '15

02 Jan '15

Hi haskell(a)haskell.org, following the advice given by haskellwiki/HWN, I would like to announce the ToFromXML library. For a long time I was looking for an easy and convenient way to store/read Haskell data to/from XML, and all solutions I found required a substantial amount of "boilerplate" code (e.g. writing picklers for each data type I want to store). From many other postings I understood that many people felt the same, so I did my best to contribute, coming up with a library. ToFromXML combines Generics and XML Picklers, building upon hexpat[-pickle]. For reading and writing a data type to XML, being "Generic" is the only precondition (most conveniently achieved by "deriving Generic" with the DerivingGeneric pragma given). We have a default instance for Show/Read-able types, instances for almost all primitive types, and also for [Int]Map, Array, Set, e.g. Of course one can add specialized instances, if needed. I tried to add good quality documentation (trying to prevent reasonable rants), and gave a short example. Also, the library comes with a test suite. It have uploaded it to hackage, maybe it turns out useful for fellow Haskellers (at least for me it did the job, and produces human readable XML). Happy new year, cheers! Robert

1 0