September 2014 - Haskell

Haskell Weekly News: Issue 304
by Daniel Santa Cruz 11 Sep '14

11 Sep '14

Welcome to issue 305 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from August 31 to September 06, 2014 Quotes of the Week * srhb: segfaults sure are easier to come by doing FFI stuff Top Reddit Stories * Pandoc author working with industry on Markdown spec Domain: standardmarkdown.com, Score: 68, Comments: 7 Original: [1] http://goo.gl/JBte8k On Reddit: [2] http://goo.gl/LWT42a * ICFP 2014 Talks Domain: youtube.com, Score: 56, Comments: 0 Original: [3] http://goo.gl/2zRte4 On Reddit: [4] http://goo.gl/NvWBBa * ICFP 2014 Workshops (Videos) Domain: youtube.com, Score: 53, Comments: 6 Original: [5] http://goo.gl/gpfI8T On Reddit: [6] http://goo.gl/Bj5SwB * Let's Build a Browser Engine in Haskell Domain: hrothen.github.io, Score: 45, Comments: 18 Original: [7] http://goo.gl/FkOM49 On Reddit: [8] http://goo.gl/rXM38x * Open type families are not modular Domain: blog.ezyang.com, Score: 41, Comments: 52 Original: [9] http://goo.gl/XO1bVK On Reddit: [10] http://goo.gl/ROxxUA * IDE for Haste projects Domain: haskell-web.blogspot.com.es, Score: 36, Comments: 5 Original: [11] http://goo.gl/uvjZUC On Reddit: [12] http://goo.gl/3Ra4dt * Real world one-liner examples Domain: github.com, Score: 33, Comments: 7 Original: [13] http://goo.gl/E5wFiW On Reddit: [14] http://goo.gl/9gipjb * Planning Yesod 1.4 Domain: yesodweb.com, Score: 32, Comments: 8 Original: [15] http://goo.gl/7Kul02 On Reddit: [16] http://goo.gl/erCRmZ * Practical Machines: A simple tutorial for the Machines streaming library Domain: statusfailed.com, Score: 32, Comments: 24 Original: [17] http://goo.gl/bmRQot On Reddit: [18] http://goo.gl/0QSdOL * Anecdotes and Advice on Hiring Junior or Summer/Co-Op Students for Haskell Work Domain: self.haskell, Score: 32, Comments: 29 Original: [19] http://goo.gl/M7NOJO On Reddit: [20] http://goo.gl/M7NOJO * Write your compiler passes in Coq for great good! Domain: megacz.com, Score: 30, Comments: 13 Original: [21] http://goo.gl/l7MU6n On Reddit: [22] http://goo.gl/oSqi3Z * IntelliJ IDEA haskell-idea-plugin + Hasklig Domain: self.haskell, Score: 28, Comments: 3 Original: [23] http://goo.gl/cNWkLh On Reddit: [24] http://goo.gl/cNWkLh * Upcast, a declarative cloud infrastructure orchestration tool that leverages Nix Domain: github.com, Score: 27, Comments: 12 Original: [25] http://goo.gl/vPpXcn On Reddit: [26] http://goo.gl/MHj0Le * Ray Marching Distance Fields with Haskell and GLSL Domain: github.com, Score: 27, Comments: 13 Original: [27] http://goo.gl/HZSjFq On Reddit: [28] http://goo.gl/w0IZ0w * A Pretty-Printer that Says What It Means (or, Why Idris's Pretty-Printer is a Functor) Domain: davidchristiansen.dk, Score: 25, Comments: 14 Original: [29] http://goo.gl/vfdISz On Reddit: [30] http://goo.gl/mHU49x * The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell. Domain: ivorylang.org, Score: 23, Comments: 3 Original: [31] http://goo.gl/xJJ68c On Reddit: [32] http://goo.gl/RLljxg * Pre-published the slide "Writing NetBSD Sound Drivers in Haskell" for Haskell Symposium 2014. #icfp2014 Domain: slideshare.net, Score: 23, Comments: 4 Original: [33] http://goo.gl/gsENVq On Reddit: [34] http://goo.gl/mWH3zH * Haskell 2014 talk: Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection Domain: youtube.com, Score: 23, Comments: 8 Original: [35] http://goo.gl/Dffhnx On Reddit: [36] http://goo.gl/UFPUu3 * Wadler's Blog: Howard on Curry-Howard Domain: wadler.blogspot.com, Score: 21, Comments: 0 Original: [37] http://goo.gl/Fz90FG On Reddit: [38] http://goo.gl/P5kemv Top StackOverflow Questions * Infinite lazy bitmap votes: 11, answers: 2 Read on SO: [39] http://goo.gl/4zDwFX * Correct terminology for continuations votes: 11, answers: 4 Read on SO: [40] http://goo.gl/QHVRWI * How do I make MonadRandom a Functor? votes: 9, answers: 1 Read on SO: [41] http://goo.gl/vvD7bR * Why does Haskell's foldr NOT stackoverflow while the same Scala implementation does? votes: 9, answers: 4 Read on SO: [42] http://goo.gl/zdxgAM Until next time, [43]+Daniel Santa Cruz References 1. http://standardmarkdown.com/ 2. http://www.reddit.com/r/haskell/comments/2fgtuu/pandoc_author_working_with_… 3. https://www.youtube.com/playlist?list=PL4UWOFngo5DVBqifWX6ZlXJ7idxWaOP69 4. http://www.reddit.com/r/haskell/comments/2f8o3x/icfp_2014_talks/ 5. http://www.youtube.com/playlist?list=PL4UWOFngo5DXuUiMCNumrFhaDfMx54QgV 6. http://www.reddit.com/r/haskell/comments/2f60hd/icfp_2014_workshops_videos/ 7. http://hrothen.github.io/2014/09/05/lets-build-a-browser-engine-in-haskell/ 8. http://www.reddit.com/r/haskell/comments/2flosm/lets_build_a_browser_engine… 9. http://blog.ezyang.com/2014/09/open-type-families-are-not-modular/ 10. http://www.reddit.com/r/haskell/comments/2fi4zc/open_type_families_are_not_… 11. http://haskell-web.blogspot.com.es/2014/09/ide-for-haste-projects.html 12. http://www.reddit.com/r/haskell/comments/2fk91p/ide_for_haste_projects/ 13. https://github.com/sjoerdvisscher/blog/blob/master/2014/2014-09-03%20real%2… 14. http://www.reddit.com/r/haskell/comments/2feen3/real_world_oneliner_example… 15. http://www.yesodweb.com/blog/2014/09/planning-yesod-1-4 16. http://www.reddit.com/r/haskell/comments/2f4kym/planning_yesod_14/ 17. http://statusfailed.com/blog/2014/09/02/practical-machines-in-60-seconds.ht… 18. http://www.reddit.com/r/haskell/comments/2fao00/practical_machines_a_simple… 19. http://www.reddit.com/r/haskell/comments/2fj0v5/anecdotes_and_advice_on_hir… 20. http://www.reddit.com/r/haskell/comments/2fj0v5/anecdotes_and_advice_on_hir… 21. http://www.megacz.com/berkeley/coq-in-ghc/ 22. http://www.reddit.com/r/haskell/comments/2f8bu9/write_your_compiler_passes_… 23. http://www.reddit.com/r/haskell/comments/2fb1j5/intellij_idea_haskellideapl… 24. http://www.reddit.com/r/haskell/comments/2fb1j5/intellij_idea_haskellideapl… 25. https://github.com/zalora/upcast 26. http://www.reddit.com/r/haskell/comments/2f2meq/upcast_a_declarative_cloud_… 27. https://github.com/blitzcode/ray-marching-distance-fields 28. http://www.reddit.com/r/haskell/comments/2ffmys/ray_marching_distance_field… 29. http://www.davidchristiansen.dk/2014/09/06/pretty-printing-idris/ 30. http://www.reddit.com/r/haskell/comments/2fntec/a_prettyprinter_that_says_w… 31. http://ivorylang.org/ 32. http://www.reddit.com/r/haskell/comments/2f6p2h/the_ivory_language_is_an_ed… 33. http://www.slideshare.net/master_q/writing-netbsd-sound-drivers-in-haskell 34. http://www.reddit.com/r/haskell/comments/2fd02w/prepublished_the_slide_writ… 35. https://www.youtube.com/watch?v=_XoI65Rxmss&index=31&list=UUP9g4dLR7xt6KzCY… 36. http://www.reddit.com/r/haskell/comments/2fnj6p/haskell_2014_talk_reflectio… 37. http://wadler.blogspot.com/2014/08/howard-on-curry-howard.html 38. http://www.reddit.com/r/haskell/comments/2f9v8e/wadlers_blog_howard_on_curr… 39. http://stackoverflow.com/questions/25621889/infinite-lazy-bitmap 40. http://stackoverflow.com/questions/25648332/correct-terminology-for-continu… 41. http://stackoverflow.com/questions/25622571/how-do-i-make-monadrandom-a-fun… 42. http://stackoverflow.com/questions/25622959/why-does-haskells-foldr-not-sta… 43. https://plus.google.com/105107667630152149014/about

1 0

ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1
by Stephen Britton 09 Sep '14

09 Sep '14

Shalom Fellow Haskellers, I just uploaded my first documented Hackage release, the LargeCardinalHierarchy.hs package. I wrote this program four years ago during my junior year of university. It is a simple transfinite cardinal arithmetic library for all large cardinals listed on the following Wikipedia page: http://en.wikipedia.org/wiki/List_of_large_cardinal_properties The documentation was generated using Haddock 2.11.0 and the source code was written under GHC 6.8.2. http://hackage.haskell.org/package/LargeCardinalHierarchy-0.0.1/src/LargeCa… Best, Stephen E. A. Britton

2 1

ANNOUNCE: buildable-0.1.0.0
by Ivan Lazar Miljenovic 08 Sep '14

08 Sep '14

Have you ever wanted to deal with the builders for various data types in a polymorphic/overloaded fashion? I'm needing to do so and couldn't find any existing code that did so, so I decided to rectify this: http://hackage.haskell.org/package/buildable As a (very contrived) example: λ> build ((365 :: Dec Int) <| fromValue (Char7 ' ') |> (365 :: BigEndian Int16) |> (" omega=𝟂 " :: Utf8 String) |> Utf16 (LE ("hello" :: LT.Text))) :: SB.ByteString "365 \SOHm omega=\240\157\159\130 h\NULe\NULl\NULl\NULo\NUL" -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

ANN: Helium now available from Hackage
by Jurriaan Hage 06 Sep '14

06 Sep '14

Dear Haskellers, I am happy to inform you that the programmer-friendly Helium Haskell compiler, known for its focus on error messages and hints, domain specific type error diagnosis, and its compilation logging facility, is now available from Hackage. All you need to do is cabal install helium cabal install lvmrun and you should be ready to go. The system has been tested under various instances of Windows, Mac, and Linux. To use Helium, there is a texthint program that is much like ghci (but less powerful), and a runhelium program that behaves like runhaskell. NB. the Hint environment is not yet availalble in this way (and, being pure Java, I am not sure if we will make it available in this way), and the server for logging the compiled programs is also not made available in this way. If you have a need for either of these, please e-mail me. There is a website too: http://www.cs.uu.nl/foswiki/Helium/WebHome To dispell one of the frequent misunderstandings about Helium: Helium DOES support a form of overloading. But overloading is restricted to specific classes: Num, Eq, Ord, Show and Enum, with instances for Eq and Show being derived, and for the others the instances are fixed. In other words: you can't write your own classes and instances. If you want, you can turn overloading off entirely, and profit from better error messages. Any feedback is appreciated. Replying to this e-mail will do, or mail us at helium(a)cs.uu.nl . cheers, Jurriaan Hage writing for the Helium Team PS. no need to bother telling us about the warnings you get when compiling with GHC 7.8.x. We know about them, and they will be fixed in a future release. As it happens, we prepared this version of Helium with GHC 7.6.3.

1 0

APLAS 2014: Call for Participation
by Jacques Garrigue 06 Sep '14

06 Sep '14

======================================================================= 12th Asian Symposium on Programming Languages and Systems (APLAS) November 17-19, 2014, Singapore http://loris-7.ddns.comp.nus.edu.sg/~aplas14 ======================================================================= C A L L F O R P A R T I C I P A T I O N C A L L F O R P O S T E R S APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. The symposium is devoted to foundational and practical issues in programming languages and systems. Invited Speakers ---------------- Zhenjiang Hu NII, Japan Dexter Kozen Cornell University, USA Julien Verlaguet Facebook, USA Program Committee ----------------- General chair Wei-Ngan Chin National University of Singapore, Singapore Program chair Jacques Garrigue Nagoya University, Japan Program committee Xiaojuan Cai Shanghai Jiao Tong University, China James Chapman Institute of Cybernetics, Estonia Cristian Gherghina Singapore University of Technology and Design Eric Goubault CEA LIST and Ecole Polytechnique, France Fei He Tsinghua University, China Gerwin Klein NICTA and UNSW, Australia Raghavan Komondoor Indian Institute of Science, Bangalore Paddy Krishnan Oracle, Australia Daan Leijen Microsoft Research, USA Yasuhiko Minamide University of Tsukuba, Japan Shin-Cheng Mu Academia Sinica, Taiwan Sungwoo Park Pohang University of Science and Technology, Korea Julian Rathke University of Southampton, UK Sukyoung Ryu KAIST, Korea Alexandra Silva Radboud University Nijmegen, Netherlands Martin Sulzmann Karlsruhe University of Applied Sciences, Germany Munehiro Takimoto Tokyo University of Science, Japan Jan Vitek Purdue University, USA Hongwei Xi Boston University, USA Venue ----- The conference will be held at the Kent Ridge Guild House of the National University of Singapore. Local information and registration are available at the following web site: http://loris-7.ddns.comp.nus.edu.sg/~aplas14 Call for Poster (Deadline 15th Sept 2014) http://loris-7.ddns.comp.nus.edu.sg/~aplas14/cfposters.html Poster Chair: Cristian Gherghina ============================= Monday, November 17th ============================= 08:30-09:00 Registration 09:00-10:00 ** Invited Talk: What is the Essence of Bidirectional Programming? Zhenjiang Hu (NII, Japan) 10:00-10:30 Coffee break 10:30-12:00 Session 1 Optimized Compilation of Multiset Rewriting with Comprehensions Edmund Soon Lee Lam, Iliano Cervesato (CMU, Qatar) Logic Programming and Logarithmic Space Clément Aubert, Marc Bagnol, Paolo Pistone (Institut de Mathématiques de Marseille, France),Thomas Seiller (Institut des Hautes Études Mathématiques,France) Automatic Memory Management Based on Program Transformation using Ownerships Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto Univ., Japan) 12:00-13:30 Lunch and Posters 13:30-14:30 Session 2 The Essence of Ruby Katsuhiro Ueno, Yutaka Fukasawa (Tohoku University, Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi Ohori (Tohoku Univ., Japan) Types for Flexible Objects Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozenshteyn (The Johns Hopkins Univ., USA) 14:30-16:00 Posters and Tea 16:00-17:30 Session 3 A Translation of Intersection and Union Types for the lambda-mu Calculus Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sakurai (Chiba Univ., Japan) A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel (Gothenburg Univ., Sweden), Andrea Vezzosi (Chalmers Univ. of Technology, Sweden) Functional Pearl: Nearest Shelters in Manhattan Shin-Cheng Mu (Academia Sinica, Taiwan), Ting-Wei Chen (National Taiwan Univ., Taiwan) ============================= Tuesday, November 18th ============================= 08:30-09:30 ** Invited Talk: Incremental Adoption of Static-Typing Julien Verlaguet (Facebook, USA) 09:30-10:00 Session 4 SUPPL: A flexible language for policies Robert Dockins and Andrew Tolmach (Portland State Univ., USA) 10:00-10:30 Coffee break 10:30-12:00 Session 5 A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking Manuel Valdiviezo, Cristina Cifuentes and Padmanabhan Krishnan (Oracle Labs Brisbane, Australia) Model-checking for Android Malware Detection Fu Song (East China Normal Univ., China), Tayssir Touili (LIAFA, CNRS & Univ. Paris Diderot, France) Necessary and Sufficient Preconditions via Eager Abstraction Mohamed Nassim Seghir (Univ. of Edinburgh, UK), Peter Schrammel (Univ. of Oxford, UK) 12:00-13:30 Lunch 13:30-15:00 Session 6 Resource Protection using Atomics: Patterns and Verifications Afshin Amighi, Stefan Blom, Marieke Huisman (Univ. of Twente, Netherlands) Resource Analysis of Complex Programs with Cost Equations Antonio Flores Montoya, Reiner Hähnle (Technische Univ. Darmstadt, Germany) Simple and Efficient Algorithms for Octagons Aziem Chawdhary, Edward Robbins, Andy King (Univ. of Kent, UK) 15:00-15:30 Coffee break 15:30-17:00 Session 7 Compositional Entailment Checking for a Fragment of Separation Logic Constantin Enea (LIAFA, CNRS & Univ. of Paris, France), Ondrej Lengal (Brno Univ. of Technology, Czech Republic),Mihaela Sighireanu (LIAFA, CNRS & Univ. of Paris, France), Tomas Vojnar (Brno Univ. of Technology, Czech Republic) Automatic Constrained Rewriting Induction Towards Verifying Procedural Programs Cynthia Kop (Univ. of Innsbruck, Austria), Naoki Nishida (Nagoya Univ., Japan) A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao, Naoki Kobayashi (Univ. of Tokyo, Japan) 18:00- APLAS Banquet ============================ Wednesday, November 19th ============================ 08:30-10:00 Session 8 Inferring Grammatical Summaries of String Values Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu (KAIST, Korea) Syntax-Directed Divide-and-Conquer Data-Flow Analysis Shigeyuki Sato (The Univ. of Electro-Communications, Japan), Akimasa Morihata (Univ. of Tokyo, Japan) Address Chain: Profiling Java Objects without Overhead in Java Heaps Xiaohua Shi, Junru Xie, Hengyang Yu (Beihang Univ., China) 10:00-10:30 Coffee break 10:30-12:00 Session 9 Call-by-Value in a Basic Logic for Interaction Ulrich Schäpp (Ludwig-Maximilians-Univ. München, Germany) A precise and abstract memory model for C using symbolic values Frédéric Besson (Inria, France), Sandrine Blazy, Pierre Wilke (IRISA, France) Hereditary history-preserving bisimilarity: logics and automata Paolo Baldan, Silvia Crafa (Universita' di Padova, Italy) 12:00-13:00 Lunch 13:00-14:00 ** Invited Talk: NetKAT: A formal system for the verification of networks Dexter Kozen (Cornell Univ., USA)

1 0

Haskell Weekly News: Issue 304
by Daniel Santa Cruz 04 Sep '14

04 Sep '14

Welcome to issue 304 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from August 24 to 30, 2014 Quotes of the Week * pjdelport: Haskell: Lazy evaluation, eager debugging. * trap_exit: isn't hoogle awesome? the first time I used it, I was like "for the first time in my life, google sucks" Top Reddit Stories * Hython - a Haskell-powered Python 3 interpreter Domain: github.com, Score: 95, Comments: 22 Original: [1] http://goo.gl/aI16qA On Reddit: [2] http://goo.gl/N67fnX * Using Emacs for Haskell development Domain: github.com, Score: 89, Comments: 47 Original: [3] http://goo.gl/tuPL91 On Reddit: [4] http://goo.gl/RxVWFQ * Ivory Language Domain: ivorylang.org, Score: 70, Comments: 36 Original: [5] http://goo.gl/xJJ68c On Reddit: [6] http://goo.gl/Vz9cTX * A taste of Cabalized Backpack : Inside 206-105 Domain: blog.ezyang.com, Score: 61, Comments: 73 Original: [7] http://goo.gl/8MpD3U On Reddit: [8] http://goo.gl/3kVQOG * Introducing /r/haskellgamedev Domain: self.haskell, Score: 58, Comments: 20 Original: [9] http://goo.gl/B2nzhq On Reddit: [10] http://goo.gl/B2nzhq * Acme.StringlyTyped Domain: hackage.haskell.org, Score: 44, Comments: 11 Original: [11] http://goo.gl/IfK2Uf On Reddit: [12] http://goo.gl/Z0wT5E * A new version of Yampa is out (0.9.6) Domain: keera.co.uk, Score: 43, Comments: 16 Original: [13] http://goo.gl/EHxFdd On Reddit: [14] http://goo.gl/EXGLdX * On CodeWorld and Haskell Domain: cdsmith.wordpress.com, Score: 41, Comments: 23 Original: [15] http://goo.gl/C7tkHk On Reddit: [16] http://goo.gl/qu3l04 * Introduction to Dependent Types: Haskell on Steroids Domain: jozefg.bitbucket.org, Score: 37, Comments: 17 Original: [17] http://goo.gl/fg8Rfo On Reddit: [18] http://goo.gl/YLmHNQ * Evaluation order and state tokens - School of Haskell Domain: fpcomplete.com, Score: 35, Comments: 24 Original: [19] http://goo.gl/v0D1HQ On Reddit: [20] http://goo.gl/jiiLRl * IO Monad and Purity Domain: stackoverflow.com, Score: 34, Comments: 13 Original: [21] http://goo.gl/zkBxl1 On Reddit: [22] http://goo.gl/yVQY4F * [ANN] Haste 0.4, now with GHC 7.8 support and binary packages Domain: groups.google.com, Score: 33, Comments: 5 Original: [23] http://goo.gl/DU4QYT On Reddit: [24] http://goo.gl/xcqxU0 * darcs 2.8.5 released Domain: lists.osuosl.org, Score: 30, Comments: 0 Original: [25] http://goo.gl/FbjpuA On Reddit: [26] http://goo.gl/TM6D7E * Yarr - image processing library and partial Repa clone Domain: hackage.haskell.org, Score: 28, Comments: 8 Original: [27] http://goo.gl/cfHAH8 On Reddit: [28] http://goo.gl/oyK3xF * conduit stream fusion Domain: fpcomplete.com, Score: 28, Comments: 15 Original: [29] http://goo.gl/9e57M2 On Reddit: [30] http://goo.gl/kFL5Pu * New blog post: Dealing with Asynchronous Exceptions during Resource Acquisition Domain: well-typed.com, Score: 28, Comments: 34 Original: [31] http://goo.gl/WS05yN On Reddit: [32] http://goo.gl/5hp59d Top StackOverflow Questions * Zipper Comonads, Generically votes: 43, answers: 3 Read on SO: [33] http://goo.gl/NDzqR1 * Test if a value matches a constructor votes: 25, answers: 3 Read on SO: [34] http://goo.gl/3Sa7hX * What is the difference between a cyclic list and an infinite list in haskell? votes: 16, answers: 2 Read on SO: [35] http://goo.gl/q7f7pu * Powerset Function 1-Liner votes: 13, answers: 1 Read on SO: [36] http://goo.gl/cez03g * How to make a binary tree zipper an instance of Comonad? votes: 13, answers: 1 Read on SO: [37] http://goo.gl/Zc1wr4 * Is there a better performing alternative to read and show in Haskell? votes: 11, answers: 1 Read on SO: [38] http://goo.gl/Y0m0wX * QuickCheck: How to use exhaustiveness checker to prevent forgotten constructors of a sum type votes: 11, answers: 2 Read on SO: [39] http://goo.gl/b8YbtB * Why does FRP consider time as a factor for values? votes: 10, answers: 2 Read on SO: [40] http://goo.gl/Yo65J8 Until next time, [41]+Daniel Santa Cruz References 1. https://github.com/mattgreen/hython 2. http://www.reddit.com/r/haskell/comments/2ejlxm/hython_a_haskellpowered_pyt… 3. https://github.com/serras/emacs-haskell-tutorial/blob/master/tutorial.md 4. http://www.reddit.com/r/haskell/comments/2efpx4/using_emacs_for_haskell_dev… 5. http://ivorylang.org/ 6. http://www.reddit.com/r/haskell/comments/2epdwp/ivory_language/ 7. http://blog.ezyang.com/2014/08/a-taste-of-cabalized-backpack/ 8. http://www.reddit.com/r/haskell/comments/2eoett/a_taste_of_cabalized_backpa… 9. http://www.reddit.com/r/haskell/comments/2f0xm0/introducing_rhaskellgamedev/ 10. http://www.reddit.com/r/haskell/comments/2f0xm0/introducing_rhaskellgamedev/ 11. http://hackage.haskell.org/package/acme-stringly-typed-1.0.0.0/docs/Acme-St… 12. http://www.reddit.com/r/haskell/comments/2f01jl/acmestringlytyped/ 13. http://keera.co.uk/blog/2014/08/29/new-version-yampa-0-9-6/ 14. http://www.reddit.com/r/haskell/comments/2ex7c9/a_new_version_of_yampa_is_o… 15. http://cdsmith.wordpress.com/2014/08/26/on-codeworld-and-haskell/ 16. http://www.reddit.com/r/haskell/comments/2en20t/on_codeworld_and_haskell/ 17. http://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html 18. http://www.reddit.com/r/haskell/comments/2er003/introduction_to_dependent_t… 19. https://www.fpcomplete.com/user/snoyberg/general-haskell/advanced/evaluatio… 20. http://www.reddit.com/r/haskell/comments/2eiqwv/evaluation_order_and_state_… 21. http://stackoverflow.com/a/25576375/1651941 22. http://www.reddit.com/r/haskell/comments/2f191i/io_monad_and_purity/ 23. https://groups.google.com/forum/#!topic/haste-compiler/mel9aO9Jako 24. http://www.reddit.com/r/haskell/comments/2ev19m/ann_haste_04_now_with_ghc_7… 25. http://lists.osuosl.org/pipermail/darcs-users/2014-August/027041.html 26. http://www.reddit.com/r/haskell/comments/2ekjmx/darcs_285_released/ 27. http://hackage.haskell.org/package/yarr 28. http://www.reddit.com/r/haskell/comments/2eg1nk/yarr_image_processing_libra… 29. https://www.fpcomplete.com/blog/2014/08/conduit-stream-fusion 30. http://www.reddit.com/r/haskell/comments/2es8oj/conduit_stream_fusion/ 31. http://www.well-typed.com/blog/97/ 32. http://www.reddit.com/r/haskell/comments/2ety9f/new_blog_post_dealing_with_… 33. http://stackoverflow.com/questions/25554062/zipper-comonads-generically 34. http://stackoverflow.com/questions/25587501/test-if-a-value-matches-a-const… 35. http://stackoverflow.com/questions/25498431/what-is-the-difference-between-… 36. http://stackoverflow.com/questions/25476248/powerset-function-1-liner 37. http://stackoverflow.com/questions/25519767/how-to-make-a-binary-tree-zippe… 38. http://stackoverflow.com/questions/25496672/is-there-a-better-performing-al… 39. http://stackoverflow.com/questions/25535616/quickcheck-how-to-use-exhaustiv… 40. http://stackoverflow.com/questions/25568712/why-does-frp-consider-time-as-a… 41. https://plus.google.com/105107667630152149014/about

1 0

ETAPS 2015 2nd call for papers
by Tarmo Uustalu 02 Sep '14

02 Sep '14

****************************************************************** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction (PC chair Björn Franke, University of Edinburgh, UK) * ESOP: European Symposium on Programming (PC chair Jan Vitek, Northeastern University, USA) * FASE: Fundamental Approaches to Software Engineering (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria, and Ina Schaefer, Technische Universität Braunschweig, Germany) * FOSSACS: Foundations of Software Science and Computation Structures (PC chair Andrew Pitts, University of Cambridge, UK) * POST: Principles of Security and Trust (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia, Italy, and Andrew Myers, Cornell University, USA) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Christel Baier, Technische Univ Dresden, Germany, and Cesare Tinelli, The University of Iowa, USA) TACAS '15 will host the 4rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Robert Harper (Carnegie Mellon University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) * CC invited speaker: Keshav Pingali (University of Texas, USA) * FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) * TACAS invited speaker: Wang Yi (Uppsala Universitet, Sweden) -- IMPORTANT DATES -- * 10 October 2014: Submission deadline for abstracts * 17 October 2014: Submission deadline for full papers * 3-5 December 2014: Author response period (ESOP and FoSSaCS only) * 19 December 2014: Notification of acceptance * 16 January 2015: Camera-ready versions due -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. TACAS has more paper categories (see http://www.etaps.org/2015/tacas) A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference (HotCRP for ESOP). Submissions not adhering to the specified format and length may be rejected immediately. - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pages for research papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages. Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pages). Both TACAS and FASE solicit also regular tool papers (at most 15 pages). - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated.) ESOP and FOSSACS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (11-12 April, 18 April) -- Around 20 satellite workshops will take place before and after the main conferences. -- HOST CITY -- London, the capital city of England and the UK, is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It is one of the world's leading financial centers and a world cultural capital. It is the world's most-visited city as measured by international arrivals and has the world's largest city airport system measured by passenger traffic. In 2012, London became the first city to host the modern Summer Olympic Games three times. -- HOST INSTITUTION -- ETAPS 2015 is hosted by the School of Electrical Engineering and Computer Science of the Queen Mary University of London. The main campus is located in the Mile End area of the East End of London. -- ORGANIZERS * General chairs: Pasquale Malacaria, Nikos Tzevelekos * Workshops chair: Paulo Oliva -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at p.malacaria(a)qmul.ac.uk, nikos.tzevelekos(a)qmul.ac.uk.

1 0

Third call for papers, IFL 2014
by publicityifl＠gmail.com 02 Sep '14

02 Sep '14

Hello, Please, find below the third call for papers for IFL 2014. The submission page is now open. The submission date has been delayed to Sep. 8 2014 anywhere on the world. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage --- CALL FOR PAPERS 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014 NORTHEASTERN UNIVERSITY/BOSTON, USA OCTOBER 1-3, 2014 http://ifl2014.github.io We are pleased to announce that the 26th edition of the IFL series will be held at Northeastern University in Boston, USA. The symposium will be held from 1st to 3rd of October 2014. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2014 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2014 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Submission Details ------------------ Submission deadline draft papers: September 8 Notification of acceptance for presentation: September 10 Early registration deadline: September 11 Late registration deadline: September 17 Submission deadline for pre-symposium proceedings: September 24 26th IFL Symposium: October 1-3 Submission deadline for post-symposium proceedings: December 15 Notification of acceptance for post-symposium proceedings: January 31 2015 Camera-ready version for post-symposium proceedings: March 15 2015 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers should be submitted online at https://easychair.org/conferences/?conf=ifl2014 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2014, please contact the PC chair at samth(a)cs.indiana.edu. Topics of interest include, but are not limited to: • language concepts • type systems, type checking, type inferencing • compilation techniques • staged compilation • run-time function specialization • run-time code generation • partial evaluation • (abstract) interpretation • metaprogramming • generic programming • automatic program generation • array processing • concurrent/parallel programming • concurrent/parallel program execution • embedded systems • web applications • (embedded) domain specific languages • security • novel memory management techniques • run-time profiling performance measurements • debugging and tracing • virtual/abstract machine architectures • validation, verification of functional programs • tools and programming techniques • (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- Sam Tobin-Hochstadt, Indiana University (Chair) Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair) Atze Dijkstra, Utrecht University Colin Runciman, University of York Graham Hutton, University of Nottingham Mary Sheeran, Chalmers University of Technology Patricia Johann, Appalachian State University Matthew Fluet, Rochester Institute of Technology Josef Svenningsson, Chalmers University of Technology Małgorzata Biernacka, University of Wroclaw Peter Achten, Radboud Univerity Nijmegen Laura Castro, University of A Coruña Hai Paul Liu, Intel Labs Kathryn Gray, Cambridge University Lars Bergstrom, Mozilla Research Lindsey Kuper, Indiana University Nicolas Wu, Oxford T. Stephen Strickland, University of Maryland Xavier Clerc, INRIA Venue ----- The 26th IFL will be held in association with the College of Computer and Information Science at Northeastern University. It can be reached quickly and easily by public transport.

1 0

CFP: PRDC2014 Call for Participation
by liyuanfang＠gmail.com 02 Sep '14

02 Sep '14

PRDC 2014 Call for Participation School of Computing, National University of Singapore, Singapore Nov. 19-21,2014 http://prdc.dependability.org/PRDC2014/index.html --------------------------------- Call for Participation http://prdc.dependability.org/PRDC2014/program.html --------------------------------- PRDC 2014 is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. Topics of interest include (but not limited to): * Software and hardware reliability, testing, verification, and validation * Dependability measurement, modeling, evaluation, and tools * Self-healing, self-protecting, and fault-tolerant systems * Software aging and rejuvenation * Safety-critical systems and software * Architecture and system design for dependability * Fault-tolerant algorithms and protocols * Reliability in cloud computing, Internet, and web systems and applications * Cloud and Internet Information security * Dependability issues in computer networks and communications * Dependability issues in distributed and parallel systems * Dependability issues in real-time systems, database, and transaction processing systems * Dependability issues in autonomic computing * Dependability issues in aerospace and embedded systems The program of PRDC 2014 can be found at http://prdc.dependability.org/PRDC2014/program.html. Registration information can be found at http://prdc.dependability.org/PRDC2014/registration.html. ## National University of Singapore ## A leading global university centered in Asia, the National University of Singapore (NUS) offers a global approach to education and research, with a focus on Asian perspectives and expertise. Over 36,000 students from 100 countries further enrich the community with their diverse social and cultural perspectives, making campus life vibrant and exciting. NUS has a strong and growing reputation for impactful research with numerous productive collaborations with research organizations and industry in Singapore and around the world. The Department of Computer Science, with over 80 faculty members, had a long track record in grooming leaders for the digital economy and IT workforce. The Computer Science department has more than 350 PH.D students where strong teams of more than 20 students are doing research in Formal Method area. The departments' internationally recognized faculty members perform research in various areas. ## Singapore ## Singapore (also called the Lion City), is a Southeast Asian city-state off the southern tip of the Malay Peninsula, 137 kilometres (85 mi) north of the equator. An island country made up of 63 islands, it is separated from Malaysia by the Straits of Johor to its north and from Indonesia's Riau Islands by the Singapore Strait to its south. Singapore is highly urbanized but almost half of the country is covered by greenery. More land is being created for development through land reclamation. The Lion City is a modern metropolis with one of the world's busiest ports and a world-class airport. At the same time, the small tropical island has retained many elements of its colonial past.

1 0

SCSS 2014: Call for short and work-in-progress papers
by Temur Kutsia 01 Sep '14

01 Sep '14

[Please post - apologies for multiple copies.] CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS ================================================ SCSS 2014 Symbolic Computation in Software Science 6th International Symposium Gammarth, La Marsa, Tunisia, December 7-11, 2014 http://www.easychair.org/smart-program/SCSS2014/ ================================================ Scope -------- The purpose of SCSS 2014 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. The topics of the symposium include, but are not limited to the following: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network security - termination analysis and complexity analysis of algorithms (programs) - extraction of specifications from algorithms (programs) - theorem proving methods and techniques - proof carrying code - generation of inductive assertion for algorithm (programs) - algorithm (program) transformations - formalization and computerization of knowledge (maths, medicine, economy, etc.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Submission ---------- Researchers and practitioners are invited to submit short papers, reports on interesting work in progress or system descriptions. They need not be original. Concurrent submission to another conference or a journal is allowed. The papers are limited in length to 5 pages in the EasyChair format. Submission page: https://www.easychair.org/conferences/?conf=scss2014 Important Dates --------------- September 29, 2014: Submission deadline October 3, 2014: Notification December 7-11, 2014: SCSS 2014 in Gammarth Invited Speakers ---------------- Nikolaj Bjorner (Microsoft Research) William M. Farmer (McMaster University) Program Chairs -------------- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrei Voronkov (University of Manchester, UK) Program Committee ------------------ Elvira Albert (Complutense University of Madrid, Spain) Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) James H. Davenport (University of Bath, UK) Roberto Giacobazzi (University of Verona, Italy) Arie Gurfinkel (Carnegie Mellon University, USA) Nao Hirokawa (JAIST, Japan) Tetsuo Ida (University of Tsukuba, Japan) Florent Jacquemard (INRIA - IRCAM, France) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair Ali Mili (New Jersey Institute of Technology, USA) Joel Ouaknine (Oxford University, UK) Ruzica Piskac (Yale University, USA) Andrei Voronkov (University of Manchester, UK) - chair Dongming Wang (Beihang University, China and UPMC-CNRS, France) General Chairs --------------- Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) Tetsuo Ida (University of Tsukuba, Japan) Local Chair ----------- Mohamed Becha Kaaniche (University of Carthage, Tunisia)

1 0