September 2014 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

ETAPS 2015 final call for papers
by Tarmo Uustalu 29 Sep '14

29 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

Re: [Haskell] Haskell Digest, Vol 133, Issue 16
by John Tromp 26 Sep '14

26 Sep '14

> In the heart of Free Glasgow, in the soon to be People's Republic of Scotland Correction: the formerly-soon-to-be People's Republic of Scotland. -John

2 1

5Yr Research Fellowships
by Neil Ghani 25 Sep '14

25 Sep '14

In the heart of Free Glasgow, in the soon to be People's Republic of Scotland, there is a chance to join the University of Strathclyde with a 5 year research fellowship leading to a permanent full time position. All you need is a 5-page research plan … a lot less than many Fellowship avenues. The area is data science and/or security but we intend to interpret this broadly. Very broadly. More details can be found here. strathvacancies.co.uk All the best Neil

1 0

Haskell Weekly News: Issue 307
by Daniel Santa Cruz 25 Sep '14

25 Sep '14

Welcome to issue 307 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from September 14 to 20, 2014 Quotes of the Week * Qfwfq: I seq what you mean. * trap_exit_: if haskell makes programmers 10x more productive, then why are there not better haskell ides? :-) Fuuzetsu: trap_exit_: because you don't need one when you're 10x more productive already ;P * joshcough: im just surprised when im looking for something and i dont find a package by ed kmett. Top Reddit Stories * Wayward Tide is Being Written in Haskell Domain: blog.chucklefish.org, Score: 131, Comments: 30 Original: [1] http://goo.gl/00xr22 On Reddit: [2] http://goo.gl/kJBqTe * Hython: The simplest possible language Domain: callcc.io, Score: 82, Comments: 16 Original: [3] http://goo.gl/T95xQ3 On Reddit: [4] http://goo.gl/LBKTks * Hey /r/haskell, we're hiring! Domain: blog.chucklefish.org, Score: 79, Comments: 49 Original: [5] http://goo.gl/93gW3N On Reddit: [6] http://goo.gl/zULSci * hindent: A Haskell indenter Domain: chrisdone.com, Score: 58, Comments: 18 Original: [7] http://goo.gl/4XlJpL On Reddit: [8] http://goo.gl/SCXxOS * Reflecting strictness in Haskell types Domain: h2.jaguarpaw.co.uk, Score: 51, Comments: 27 Original: [9] http://goo.gl/lfPkYD On Reddit: [10] http://goo.gl/hx6XtM * Towards Shake 1.0 Domain: neilmitchell.blogspot.com, Score: 49, Comments: 7 Original: [11] http://goo.gl/RPlddo On Reddit: [12] http://goo.gl/ckKD2m * Formatting in Haskell (Chris Done) Domain: chrisdone.com, Score: 49, Comments: 11 Original: [13] http://goo.gl/eq7hAF On Reddit: [14] http://goo.gl/f1Amec * Haskell Dice of Doom - Part 1 Domain: derekmcloughlin.github.io, Score: 39, Comments: 6 Original: [15] http://goo.gl/oF3ot3 On Reddit: [16] http://goo.gl/oLz2Fv * Beginner error messages in C++ vs Haskell Domain: izbicki.me, Score: 39, Comments: 65 Original: [17] http://goo.gl/j05AXH On Reddit: [18] http://goo.gl/ZOLvZW * Blog: GHC Weekly News - 2014/09/15 Domain: ghc.haskell.org, Score: 28, Comments: 0 Original: [19] http://goo.gl/8Dt0e8 On Reddit: [20] http://goo.gl/P4uz3y * Let's Build a Browser Engine in Haskell: part 3 Domain: hrothen.github.io, Score: 27, Comments: 8 Original: [21] http://goo.gl/0ckGRH On Reddit: [22] http://goo.gl/vZXZOy * ANN: best-haskell - haskell download ranking Domain: best-haskell.herokuapp.com, Score: 24, Comments: 11 Original: [23] http://goo.gl/9RtgrI On Reddit: [24] http://goo.gl/3zO7SN * ICFP "The Ghost of Church" - writeup by Olle Fredriksson who was the first to solve it! Domain: reddit.com, Score: 23, Comments: 3 Original: [25] http://goo.gl/9j7hG3 On Reddit: [26] http://goo.gl/nDxc4T * What is wrong with the Monoid instance for Maybe? Domain: self.haskell, Score: 21, Comments: 21 Original: [27] http://goo.gl/kgVlFf On Reddit: [28] http://goo.gl/kgVlFf * Inferring Algebraic Effects Domain: lmcs-online.org, Score: 20, Comments: 0 Original: [29] http://goo.gl/Wjklhq On Reddit: [30] http://goo.gl/PBJY7N * Are typeclasses essential? (includes Luke Palmer's view on it) Domain: stackoverflow.com, Score: 19, Comments: 30 Original: [31] http://goo.gl/5rh2dq On Reddit: [32] http://goo.gl/RuX5i7 * Built on Haskell: Findmelike - visual search for art Domain: findmelike.com, Score: 19, Comments: 1 Original: [33] http://goo.gl/MgM69t On Reddit: [34] http://goo.gl/Vzrc6R * Let's Build a Browser Engine in Haskell: setting up tests Domain: hrothen.github.io, Score: 17, Comments: 9 Original: [35] http://goo.gl/qwLXRq On Reddit: [36] http://goo.gl/mUqX6w Top StackOverflow Questions * Are typeclasses essential? votes: 20, answers: 4 Read on SO: [37] http://goo.gl/5rh2dq * Ambigous instance resolution in Haskell votes: 14, answers: 2 Read on SO: [38] http://goo.gl/KzV5jC * Understanding the casts involved in patterns matching a datatype that is indexed over a user defined kind votes: 11, answers: 1 Read on SO: [39] http://goo.gl/TppaAg * What does fixIO do? votes: 10, answers: 2 Read on SO: [40] http://goo.gl/yECrrk Until next time, [41]+Daniel Santa Cruz References 1. http://blog.chucklefish.org/?p=154 2. http://www.reddit.com/r/haskell/comments/2glk10/wayward_tide_is_being_writt… 3. http://callcc.io/hython-the-simplest-possible-language/ 4. http://www.reddit.com/r/haskell/comments/2go4v6/hython_the_simplest_possibl… 5. http://blog.chucklefish.org/?p=322 6. http://www.reddit.com/r/haskell/comments/2gyn1w/hey_rhaskell_were_hiring/ 7. http://chrisdone.com/posts/hindent 8. http://www.reddit.com/r/haskell/comments/2gyaw7/hindent_a_haskell_indenter/ 9. http://h2.jaguarpaw.co.uk/posts/strictness-in-types/ 10. http://www.reddit.com/r/haskell/comments/2gk51p/reflecting_strictness_in_ha… 11. http://neilmitchell.blogspot.com/2014/09/towards-shake-10.html 12. http://www.reddit.com/r/haskell/comments/2gnat7/towards_shake_10/ 13. http://chrisdone.com/posts/formatting 14. http://www.reddit.com/r/haskell/comments/2gyrvp/formatting_in_haskell_chris… 15. http://derekmcloughlin.github.io/2014/09/13/Haskell-Dice-Of-Doom-Part-1/ 16. http://www.reddit.com/r/haskell/comments/2gg3um/haskell_dice_of_doom_part_1/ 17. https://izbicki.me/blog/error-messages-in-ghc-vs-g++.html 18. http://www.reddit.com/r/haskell/comments/2go92u/beginner_error_messages_in_… 19. https://ghc.haskell.org/trac/ghc/blog/weekly20140915 20. http://www.reddit.com/r/haskell/comments/2gia13/blog_ghc_weekly_news_201409… 21. http://hrothen.github.io/2014/09/19/lets-build-a-browser-engine-in-haskell-… 22. http://www.reddit.com/r/haskell/comments/2gw2bw/lets_build_a_browser_engine… 23. http://best-haskell.herokuapp.com/ 24. http://www.reddit.com/r/haskell/comments/2gsjk0/ann_besthaskell_haskell_dow… 25. http://www.reddit.com/r/theghostofchurch/comments/2fccjw/i_found_this_trink… 26. http://www.reddit.com/r/haskell/comments/2gkjij/icfp_the_ghost_of_church_wr… 27. http://www.reddit.com/r/haskell/comments/2guo44/what_is_wrong_with_the_mono… 28. http://www.reddit.com/r/haskell/comments/2guo44/what_is_wrong_with_the_mono… 29. http://www.lmcs-online.org/ojs/viewarticle.php?id=1469 30. http://www.reddit.com/r/haskell/comments/2gdl31/inferring_algebraic_effects/ 31. http://stackoverflow.com/questions/25855507/are-typeclasses-essential 32. http://www.reddit.com/r/haskell/comments/2gjqop/are_typeclasses_essential_i… 33. http://findmelike.com/ 34. http://www.reddit.com/r/haskell/comments/2gn81y/built_on_haskell_findmelike… 35. http://hrothen.github.io/2014/09/14/lets-build-a-browser-engine-in-haskell-… 36. http://www.reddit.com/r/haskell/comments/2ge7om/lets_build_a_browser_engine… 37. http://stackoverflow.com/questions/25855507/are-typeclasses-essential 38. http://stackoverflow.com/questions/25854072/ambigous-instance-resolution-in… 39. http://stackoverflow.com/questions/25934209/understanding-the-casts-involve… 40. http://stackoverflow.com/questions/25876042/what-does-fixio-do 41. https://plus.google.com/105107667630152149014/about

1 0

[ANN] cabal-dev officially deprecated in favor of cabal sandboxes
by Jonathan Daugherty 24 Sep '14

24 Sep '14

Greetings, I'm pleased to announce (really!) that cabal-dev is being deprecated in favor of cabal sandboxes. Cabal sandboxes have been around long enough that it's clear that cabal-dev has served its purpose and we are left in good hands with the newer Cabal features. As a result: * No further cabal-dev releases will be pushed to Hackage. * For the sake of at least keeping the codebase buildable for those depending on it, we will accept pull requests adjusting version bounds in the cabal file on the cabal-dev repository at https://github.com/creswick/cabal-dev * If you are still using cabal-dev, we strongly encourage you to migrate to sandboxes. 'cabal sandbox' is a fantastic alternative; migrating to it is just about as simple as rm -r cabal-dev && cabal sandbox init && cabal install * If you need assistance using 'cabal sandbox', a very good introduction (and cabal-dev migration guide!) can be found at http://coldwa.st/e/blog/2013-08-20-Cabal-sandbox.html Huge thanks are due to the Cabal contributors who worked to implement sandboxing support. We are all better off with having these features moved into Cabal proper. I would also like to thank Rogan Creswick (of Galois) and Josh Hoyt (of Twitter) who implemented cabal-dev, and of course we received many community contributions to improve the project; thanks to everyone! If you depend heavily on cabal-dev and are interested in maintaining it on your own, please don't hesitate to get in touch. Thanks! -- Jonathan Daugherty Software Engineer Galois, Inc.

2 2

Nottingham Research Fellowships (deadline 20th October)
by Graham Hutton 24 Sep '14

24 Sep '14

Dear all, The University of Nottingham is seeking applications for a number of Nottingham Research Fellowships: http://tinyurl.com/notts-fellows These are highly prestigious three-year fellowships, which are normally expected to lead into permenant academic positions. Candidates should have no more than 8 years postdoctoral experience, and fellowships normally start in October 2015. The deadline for submission of initial Expressions of Interest is ** 20th October 2014 **. Applicants in the area of the Functional Programming (FP) lab would be most welcome. The FP lab is keen to receive applications from outstanding candidates with an excellent publication record, experience in combining theory with practice, and the ability to secure external funding to support their research. Further information about the FP lab is available from http://fp.cs.nott.ac.uk As an approximate guideline, candidates in the area of the FP lab would normally be expected to have at least 3 years postdoc experience, and a number of strong publications in leading international venues such as ICFP, POPL, LICS, JFP, Haskell Symposium, etc. Best wishes, Graham Hutton -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

JFP special issue on parallel and concurrent FP
by Gabriele Keller 24 Sep '14

24 Sep '14

Hi, If you’re working on parallel or concurrent FP, please consider submitting an article to this special issue of JFP, Cheers, Gabriele ------------------------------------------------------------------------------ CALL FOR PAPERS JFP Special Issue on Parallel and Concurrent Programming Submission Deadline: 22 December 2014 Expected Publication Date: November/December issue 2015 * Scope Functional languages are uniquely suited to provide programmers with a programming model for parallel and concurrent computing. This is reflected in the wide range of work that is currently underway, both on parallel and concurrent functional languages, but also on bringing functional language features to other programming languages. This has resulted in a rapidly growing number of practical applications. The Journal of Functional Programming will devote a special issue to functional programming for concurrent and parallel computing. The purpose of this special issue is to showcase the state of the art on how functional languages and functional concepts currently assist programmers with the task of managing the challenges of creating parallel and concurrent systems. Language designers as well as systems builders and application programmers are invited to submit papers describing the current state of the art of language support and experiences with functional programming in building real-world systems. We encourage the submission of consolidated, condensed and extended work based on prior conference and workshop publications. * Submission Details Manuscripts should be submitted in PDF format by email to one of the guest editors (see addresses below). For other submission and formatting details, please consult the Journal of Functional Programming website. Guest Editors --------------------------------------------------------------------------------- Gabriele Keller Fritz Henglein keller @cse.unsw.edu.au henglein(a)diku.dk School of Computer Science & Engineering Department of Computer Science (DIKU) UNSW Sydney NSW 2052 University of Copenhagen and Universitetsparken 5 The Software Systems Research Group@ NICTA DK-2100 Copenhagen Australia Denmark ---------------------------------------------------------------------------------

1 0

Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track
by Ylies Falcone 23 Sep '14

23 Sep '14

================================================== 30th Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 13 - 17, 2015, Salamanca, Spain More information: http://fmt.cs.utwente.nl/conferences/sac-svt2015/ and http://www.acm.org/conferences/sac/sac2015/ =================================================== Important dates --------------- * September 26, 2014: Submission of regular papers -- EXTENDED * November 17, 2014: Notification of paper acceptance/rejection * December 8, 2014: Camera-ready copies of accepted papers ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-nine years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world heritage city of Salamanca in Spain. Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: http://www.acm.org/conferences/sac/sac2015/Paper-SubmissionUploadPage.htm Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2015 proceedings. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. A special issue of Science of Computer Programming has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Science of Computer Programming. Student Research Competition ---------------------------- As before, SAC 2015 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2015/. Submission to the SRC program should be in electronic form via the following website http://www.acm.org/conferences/sac/sac2015/SRC-SubmissionUploadPage.htm Program Committee ----------------- Laura Brandan Briones, National University of Cordoba, Argentina Maximiliano Cristi·, Universidad Nacional de Rosario, Argentina Marco Faella, University of Naples, Italy Ylies Falcone, University of Grenoble Alpes, France Tingting Han, University of London, UK Fabrice Kordon, University Pierre et Marie Curie, France Stefan Leue, University of Konstanz, Germany Shaoying Liu, Hosei University, Japan Malte Lochau, Darmstadt University, Germany Annabelle McIver, Macquarie University, Australia Mercedes Merayo, Universidad Complutense de Madrid, Spain Dominique Mery, University of Lorraine, France Mohammad Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Wishnu Prasetya, Utrecht University, The Netherlands Marjan Sirjani, Reykjavik University, Iceland Hasan Sˆzer, ÷zyegin University, Turkey Tanja Vos, Valencia University, Spain Anton Wijs, Eindhoven University of Technology, The Netherlands Liu Yang, Nanyang Technological University, Singapore Gianluigi Zavattaro, University of Bologna, Italy Lijun Zhang, Chinese Academy of Sciences, China Program Committee Chairs ----------------- Gwen Salaun, University of Grenoble Alpes, France Marielle Stoelinga, University of Twente, Netherlands

1 0

ANNOUNCE: bv-0.3.0
by Iago Abal 23 Sep '14

23 Sep '14

I am pleased to announce a new release of the bv package, a library for bit-vector arithmetic. http://hackage.haskell.org/package/bv This is essentially a maintenance release to support newest versions of GHC and base. Yet, I took the opportunity to do some code and documentation clean up. A changelog is available at https://bitbucket.org/iago/bv-haskell/src/v0.3.0/CHANGES.md. Iago

1 0