September 2016 - Haskell

SPLASH'16 Amsterdam: Call For Participation
by Tijs van der Storm 12 Sep '16

12 Sep '16

################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ ** REGISTRATION ** 30 September 2016 (Early Deadline) Contact: info(a)splashcon.org http://2016.splashcon.org/attending/registration # What's happening at SPLASH? ## Keynotes - Benjamin Pierce (SPLASH) The Science of Deep Specification - Andy Ko (SPLASH) A Human View of Programming Languages - Martin Odersky (SPLASH) - Guy Steele Jr. (SPLASH-I) - Robby Findler (SLE) Redex: Lightweight Semantics Engineering - Tiark Rompf (GPCE) Lightweight Modular Staging: Generate all the things! - Simon Peyton Jones (SPLASH-I/E) The dream of a lifetime: shaping how our children learn computing - Laurence Tratt (Scala) ## Workshop Keynotes - Andrew Black (NOOL) - Alan Blackwell (PLATEAU) - Alastair Donald (WODA) - Sam Guyer (WODA) - Felienne Hermans (DSLDI) - Ben Liblit (WODA) - Benjamin Livshits (WODA) - Ivano Malavolta (Mobile!) - Yannis Smaragdakis (WODA) - Frank Tip (WODA) - Markus Voelter (ITSLE) ** Conference Program ** http://2016.splashcon.org/program/program-splash2015 ** SPLASH-I Track ** SPLASH-I is a series of invited and solicited talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the rest of SPLASH during the week days. Talks are open to all attendees. A selection of confirmed talks: - Edwin Brady Type-driven Development in Idris - Jürgen Cito Using Docker Containers to Improve Reproducibility in PL/SE Research - Yvonne Coady Exploratory Analysis in Virtual Reality: The New Frontier - Adam Chlipala Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web - Tudo Girba Software Environmentalism - Brian Harvey Snap! Scheme Disguised as Scratch - Lennart Kats Responsive Language Tooling For Cloud-based IDEs - Ralf Laemmel The basic skill set of software language engineering - Crista Lopes Simulating Cities: The Spacetime Framework - Heather Miller Language Support for Distributed Systems - Mark Miller & Bill Tulloh The elements of decision alignment: Large programs as complex organizations - Boaz Rosenan & David Lorenz Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes - Emmanuel Schanzer Bootstrap - Chris Seaton Truffle and Graal: Fast Programming Languages With Modest Effort - Emma Söderbergh From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration - Emma Tosch Designing and Debugging Surveys with SurveyMan - Todd Veldhuizen Fast Datalog - Markus Völter How Domain Requirements Shape Languages - Jos Warmer Making Mendix Meta Model Driven - Andy Zaidman Fact or fiction? What software analytics can do for us (developers and researchers) More information here: http://2016.splashcon.org/track/splash2016-splash-i ** Research tracks - OOPSLA http://2016.splashcon.org/track/splash-2016-oopsla#event-overview - Onward! http://2016.onward-conference.org/track/onward-2016-papers#event-overview - Onward! Essays http://2016.onward-conference.org/track/onward2016-essays#program - Software Language Engineering (SLE) http://conf.researchr.org/track/sle-2016/sle-2016-papers#event-overview - Generative Programming: Concepts & Experiences (GPCE) http://conf.researchr.org/track/gpce-2016/gpce-2016-papers#event-overview - Dynamic Languages Symposium (DLS) http://conf.researchr.org/track/dls-2016/dls-2016-papers#event-overview - Scala Symposium http://conf.researchr.org/track/scala-2016/scala-2016#event-overview ** Other Events - Doctoral Symposium http://2016.splashcon.org/track/splash-2016-ds#event-overview - Programming Language Mentoring Workshop (PLMW) http://2016.splashcon.org/track/splash-2016-plmw - Student Research Competition (SRC) http://2016.splashcon.org/track/splash-2016-src - Posters http://2016.splashcon.org/track/splash-2016-posters#event-overview ** Workshops SPLASH'16 is hosting a record number of 15 workshops: - AGERE! Programming based on Actors, Agents, and Decentralized Control http://2016.splashcon.org/track/agere2016 - DSLDI: Domain-Specific Language Design and Implementation http://2016.splashcon.org/track/dsldi2016 - DSM: Domain-Specific Modeling http://2016.splashcon.org/track/dsm2016 - FOSD: Feature-oriented Software Development http://www.fosd.net/workshop2016 - ITSLE: Industry Track Software Language Engineering http://2016.splashcon.org/track/itsle2016 - LWC@SLE: Language Workbench Challenge http://2016.splashcon.org/track/lwc2016 - META http://2016.splashcon.org/track/meta2016 - Mobile! http://2016.splashcon.org/track/mobile2016 - NOOL: New Object-Oriented Languages http://2016.splashcon.org/track/nool2016 - PLATEAU: Evaluation and Usability of Programming Languages and Tools http://2016.splashcon.org/track/plateau2016 - Parsing@SLE http://2016.splashcon.org/track/parsing2016 - REBLS: Reactive and Event-based Languages & Systems http://2016.splashcon.org/track/rebls2016 - SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster http://2016.splashcon.org/track/samde2016 - SEPS: Software Engineering for Parallel Systems http://2016.splashcon.org/track/seps2016 - VMIL: Virtual Machines and Intermediate Languages http://2016.splashcon.org/track/vmil2016 - WODA: Workshop on Dynamic Analysis http://2016.splashcon.org/track/woda2016 ## SPLASH'16 is kindly supported by the following organizations: - ACM: http://www.acm.org/ - SIGPLAN: http://www.sigplan.org/ - LogicBlox (Gold): http://www.logicblox.com/ - Oracle (Silver): http://www.oracle.com/index.html - TU Delft (Silver): http://tudelft.nl/ - Huawei (Bronze): http://www.huawei.com/en/ - Facebook (Bronze): https://research.facebook.com/ - IBM Research (Bronze): http://www.research.ibm.com/ - Google (Bronze): https://www.google.com - Itemis (Bronze): https://www.itemis.com/en/ - ING (Bronze): https://www.ing.nl Interested in supporting SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program.

1 0

Haskell eXchange and related events -- Call for Participation
by Andres Löh 09 Sep '16

09 Sep '16

Hi everyone. As Tom Ellis has correctly pointed out in another thread, I should have announced the Haskell eXchange on this list. Let me do that now: ===================================================================== Haskell eXchange 2016 London, 6-7 October 2016 ===================================================================== The Haskell eXchange is a general Haskell conference aimed at Haskell enthusiasts of all skill levels. The Haskell eXchange is organized annually, and 2016 is its fifth year. For the second year in a row, the venue will be Skills Matter’s CodeNode, where we have space for three parallel tracks. New this year: a large number of beginner-focused talks. At all times, at least one track will be available with a talk aimed at (relative) newcomers to Haskell. Of course, there are also plenty of talks on more advanced topics. Keynote speakers: Don Stewart, Conor McBride, Graham Hutton, Simon Peyton Jones Talks and workshops (some changes may still occur) by: Julian Arni, Christiaan Baaij, Thomas van Binsbergen, Mathieu Boespflug, Lars Brünjes, Ben Clifford, Philip Cunningham, Tom Ellis, Matthias Fischmann, Oleg Grenrus, Nickolay Kudasov, Robert Henderson, Csaba Hruska, Robin Kay, Csongor Kiss, Steven Kutsch, Kris Jenkins, David Luposchainsky, Neil Mitchell, Andrey Mokhov, Romeo Moura, Jann Müller, Boldizsár Németh, Andor Penzes, Ivan Perez, Michał Płachta, Nicolas Pouillard, Arian van Putten, Andrzej Rybczak, Jeremy Singer, Nicolas Wu Homepage and registration: https://skillsmatter.com/conferences/7276-haskell-exchange-2016 If you're interested in the Haskell eXchange, you might also be interested in the Haskell eXchange Haskell Hackathon and/or in the Haskell courses (2-day introductory, 1-day on types, 2-day on performance) offered by Well-Typed on the surrounding days. More info here: http://www.well-typed.com/blog/125/ Cheers, Andres -- Andres Löh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com Registered in England & Wales, OC335890 250 Ice Wharf, 17 New Wharf Road, London N1 9RF, England

1 0

[ANN] brittany - haskell source code formatting tool - experimental/alpha
by lennart spitzner 06 Sep '16

06 Sep '16

Greetings, I am happy to announce a first alpha release of brittany (0.7.0.0), a haskell source code formatting tool based on ghc-exactprint [2] (and thus ghc's parser). https://github.com/lspitzner/brittany Two small feature cases that brittany would produce/leave unmodified: > -- Newlines are used sparingly: Only after "do" and when the > -- `liftBaseOpDiscard` application would lead to overflowing 80 columns. > main :: IO () > main = do > pool <- createPostgresqlPool (toS databaseConnectionString) 10 > initiate $ \chan -> forever $ do > flip runDbConn pool $ do > makeSureQueueIsFull chan > void $ liftBaseOpDiscard (consumeMsgs chan responseQueue Ack) > (uncurry processMsg) > threadDelay 1000000 > -- Alignment of patterns > go [] "" = True > go [WildCard ] "" = True > go (WildCard :rest) (c:cs) = go rest (c : cs) || go (WildCard : rest) cs > go (Union globs:rest) cs = any (\glob -> go (glob ++ rest) cs) globs > go [] (_:_) = False > go (_:_) "" = False Yet this is an alpha release, for the following reasons: - Brittany currently only transforms top-level type signatures and (function) bindings. - Not all syntactical constructs (even of plain 2010 haskell) are understood. All common constructs should work, but "common" is purely subjective. - Not all (syntactic) extensions are supported, either. - Needs more testing. (And less than a hundred automated testcases is not very much to explore every syntactic corner of haskell.) On the other hand - I have started using the tool successfully, albeit selectively. - There are checks in place that detect 1) if output is not valid haskell or 2) if source comments are not transcribed to the output. That is, running into non-handled cases should lead to error messages that are harmless, not into any silent it-overwrote-my-code-with-garbage. *How to build?* Brittany requires ghc-8. See https://github.com/lspitzner/brittany#building A hackage release is not planned yet. *Brittany's formatting style* Currently brittany does _not_ give the user many choices. A few flags exist, most prominently to change the indentation (default 2) or the columns (default 80). I am open to suggestions of how to improve the style, but trying to make everyone happy is not a fulfilling goal for me. *Implementation/documentation/performance* The implementation and its core ideas are not documented. The core algorithm in theory has linear complexity in input size; the implementation probably is quadratic dues to some misuses of plain lists or other such implementation details. Providing at least a high-level overview is on my to-do list. [1] https://github.com/lspitzner/brittany [2] https://hackage.haskell.org/package/ghc-exactprint -- lennart

2 1

[ANN] lentil - frugal issue tracker
by Francesco Ariis 02 Sep '16

02 Sep '16

I am pleased to announce the release of lentil 1.0 [0]. [0] http://hackage.haskell.org/package/lentil-1.0.0.1 ============================= lentil - frugal issue tracker ============================= lentil is a minimum effort issue tracker; if you litter your code with: -- FIXME: does outPop work with b/w terminals? [ansi] lentil can help you listing, sorting, exporting, tagging slicing and dicing those `todo`s. To see it in action just type: cabal install lentil # or use stack cd ~/your-project-folder/ lentil . Any repo will do, not only Haskell ones! For further information, check the project homepage [1] and the user manual [2]. [1] http://ariis.it/static/articles/lentil/page.html [2] http://ariis.it/static/articles/lentil-manual/page.html Heartfelt "thank you!" to anyone who contributed [3] by providing valuable feedback, suggestions, patches! [3] http://ariis.it/link/repos/lentil/contributors.txt

1 0

New edition of "Programming in Haskell"
by Graham Hutton 01 Sep '16

01 Sep '16

Dear all, I'm delighted to announce that the new edition of "Programming in Haskell" is now available! Further details are provided below, and are also available from: http://tinyurl.com/hnfjdgc. Best wishes, Graham ================================================================= *** BOOK ANNOUNCEMENT *** Programming in Haskell - 2nd Edition Graham Hutton, University of Nottingham Cambridge University Press, 1st September 2016 320 pages, 120 exercises, ISBN 9781316626221 http://tinyurl.com/hnfjdgc ================================================================= DESCRIPTION: Haskell is a purely functional language that allows programmers to rapidly develop clear, concise, and correct software. The language has grown in popularity in recent years, both in teaching and in industry. This book is based on the author's experience of teaching Haskell for more than twenty years. All concepts are explained from first principles and no programming experience is required, making this book accessible to a broad spectrum of readers. While Part I focuses on basic concepts, Part II introduces the reader to more advanced topics. This new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. The presentation is clean and simple, while also being fully compliant with the latest version of the language, including recent changes concerning applicative, monadic, foldable, and traversable types. ================================================================= CONTENTS: Foreword Preface Part I. Basic Concepts: 1. Introduction 2. First steps 3. Types and classes 4. Defining functions 5. List comprehensions 6. Recursive functions 7. Higher-order functions 8. Declaring types and classes 9. The countdown problem Part II. Going Further: 10. Interactive programming 11. Unbeatable tic-tac-toe 12. Monads and more 13. Monadic parsing 14. Foldables and friends 15. Lazy evaluation 16. Reasoning about programs 17. Calculating compilers Appendix A. Selected solutions Appendix B. Standard prelude Bibliography Index ================================================================= AUTHOR: Graham Hutton is Professor of Computer Science at the University of Nottingham. He has taught Haskell to thousands of students and received numerous best lecturer awards. Hutton has served as an editor of the Journal of Functional Programming, Chair of the Haskell Symposium and the International Conference on Functional Programming, and Vice-Chair of the ACM Special Interest Group on Programming Languages, and he is an ACM Distinguished Scientist. ================================================================= 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