- Haskell - Haskell.org

ANN: New York Haskell Users Group -- First Meeting on Wed., Nov 14.
by Gershom B 09 Oct '12

09 Oct '12

The (arguably) greatest city in the U.S. now (finally) has a users group for (unarguably) the greatest programming language anywhere. We're very happy to announce the inaugural meeting of the New York Haskell Users Group. We intend this group to be welcoming to new developers, but with enough substance to keep old Haskell hands interested and amused. If you're in the area but can't make it, you can join the meetup regardless at http://www.meetup.com/NY-Haskell/ to stay informed of future events. We plan to have a mix of talks and experience reports at all levels, so if you will be passing through town and might have something to say, let us know! Two Haskell Talks: Practical Data Processing With Haskell _and_ Putting Cloud Haskell to Work Wednesday, November 14, 2012 7:00 PM To 9:00 PM Pivotal Labs, 841 Broadway New York, NY RSVP: http://www.meetup.com/NY-Haskell/ We're kicking off the New York Haskell Users Group with two great talks, one for people just getting started and one for those with some experience already. Both should be accessible and enjoyable no matter how much (or little) you already know. Food and refreshments will be provided, courtesy of the generosity of Pivotal Labs, and after the talks, we're planning to keep the discussion going over food and drink at a nearby establishment. 7pm - Practical Data Processing With Haskell: Ozgun Ataman will give an introductory talk on Haskell, diving right in with how you can start using Haskell for practical data manipulation tasks today. You'll be introduced to a typical setup for Haskell development and given a demonstration of how a common data format (CSV, JSON, etc.) can be parsed, processed and finally output using Haskell. The talk will include a small actual Haskell program to be modified live and some commentary around using Haskell in practical applications. 8pm - Putting Cloud Haskell to Work for Distributed Computing: Gershom Bazerman will give an overview of the new distributed-process library that implements Cloud Haskell, providing computation across heterogeneous nodes through a message passing interface. He will discuss what this new tool provides out of the box, and what you'll have to bring to the table. The talk will include some code samples using the new library, as well as some experience about what it's like to use Haskell for distributed computing in the real world. Speaker Biographies: Ozgun Ataman is the founder of Soostone, a managment consulting and analytics company built on Haskell. He is the author of many open-source Haskell libraries, and is a contributor to the Snap web framework. Gershom Bazerman is a developer at S&P Capital IQ. He is most well known in the Haskell community as the author of the JMacro library for programmatic generation of JavaScript, and for one well-received April fools joke.

1 0

Deadline Extension for DDFP 2013 (co-located with POPL 2013)
by George Giorgidze 09 Oct '12

09 Oct '12

------------------------------------------------ Data-Driven Functional Programming Workshop 2013 ------------------------------------------------ Co-Located with POPL 2013 January 22, 2013 | Rome, Italy http://research.microsoft.com/DDFP2013 NEW: Submission Date: October 15, 2012 We are very pleased to announce DDFP 2013, an exciting new workshop at POPL. This workshop is for anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to the workshop. Whatever your flavor of data, whatever your flavor of functional programming. We want this to be a great event that opens up opportunities at the intersection of data and programming. Functional programming techniques are becoming increasingly important in data-centric programming: languages like Haskell, Scala, and C# draw heavily on a range of functional techniques and find application in numerous data-driven domains; functional paradigms like map/reduce and its extensions lie at the core of modern scalable data processing; and “information-rich” languages like Ur, F#, and Gosu use meta-programming to integrate type-safe queries, web-based APIs, and scalable data sources—along with associated semantically-rich metadata—into the programming language. In principle, the expressiveness, strong typing, and core functional paradigm of these languages make them an ideal choice for expressing robust and scalable data-centric programming. However, many challenges remain. -------------- Workshop Goals -------------- The first Data Driven Functional Programming Workshop will examine data-centric programming in the light of today’s data challenges, with a particular focus on the application of functional programming and meta-programming techniques. In this forum, we will discuss, promote, and advance the use of functional programming in information-rich data spaces—including the development of new programming and data-manipulation systems and the extension of existing ones By devising methods for handling data from the programming level, we can promote the research and development of better functional programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing. ----------------- Paper Submissions ----------------- We invite submissions in any area related to the connection between programming and data, including, but not limited to: * Formal systems that capture the essential theoretical elements of data-centric programming * Experimental systems that demonstrate novel data-centric programming techniques * Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs * Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data * Programming-related aspects of knowledge representation techniques including the database theory, ontology techniques, and linked data. --------------- Important Dates --------------- * New! Paper submissions due: Oct. 15, 2012 * Author notification: Oct. 30, 2012 * Camera ready: Nov. 10, 2012 * Workshop: Jan. 22, 2013 ------------- General Chair ------------- Evelyne Viegas, Microsoft Research, Redmond -------------- Program Chairs -------------- * Karin Breitman, EMC Labs, Brazil * Judith Bishop, Microsoft Research, United States ----------------- Program Committee ----------------- * Soren Auer, University of Leipzig, Germany * Guy Blelloch, Carnegie Mellon University, United States * Adam Chlipala, Massachusetts Institute of Technology, United States * Sophia Drossopolou, Imperial College, United Kingdom * Tim Finin, University of Maryland, United States * Kathleen Fisher, Tufts University, United States * Nate Foster, Cornell University, United States * George Giorgidze, University of Tübingen, Germany * Jim Hendler, Rensselaer Polytechnic Institute, United States * Steffen Staab, University of Koblenz, Germany * Don Syme, Microsoft Research Cambridge, United Kingdom * Jan Vitek, Purdue University, United States

1 0

Invitation to HASE 2012
by Sanjukta Bhowmick 04 Oct '12

04 Oct '12

Dear Colleague The 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), will be held at Omaha NE. October 25-27. HASE 2012 is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe, secure, and reliable. This years' keynote speakers include Kerry Kelly from the United States Strategic Command, Brad Masterson from First Data and Jeff Young from Union Pacific. We invite you to join us for an exciting conference on security and high assurance software. Details of the conference program as well as information about registration and accommodation are available at http://hase2012.ist.unomaha.edu/. Sincerely, HASE 2012 Organizing Committee.

1 0

Haskell Weekly News: Issue 246
by Daniel Santa Cruz 04 Oct '12

04 Oct '12

Welcome to issue 246 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 23 to September 23, 2012. Want to contribute quotes for HWN? Until today the only way to help with those was to use @remember in the IRC channel. Now you can also use @HWNQuotes in twitter to submit quotes for the weekly newsletter. Quotes of the Week * carpi: all said ... the brain of someone of who writes compilers for haskell scares me nuts. I wouldn't want them concentrating on me, lest I catch fire. * Igloo: The major problem, as far as I can see, is how to construct the mumble'. * edwardk: i want to be able to know if the compiler is being stupid or if its just me, and without any sort of model to reason about it with, i always have to assume it could be the compiler; i already have to deal with that problem, its called 'scala' * ddarius: Now I can just point people at a readable and relevant paper instead of having to Cale it. * rwbarton: also, a generally safe answer to "was there an update to lambdabot recently" is "no" * camccann: you want a debugger? GHC has one. Except that stepping through lazy evaluation is like listening to a stream of consciousness narrative told by a 5-year-old with ADHD. Top Reddit Stories * My Haskell book is not dead! I'd love some feedback now that it's six chapters long and growing. Domain: sthaskell.com, Score: 61, Comments: 18 On Reddit: [1] http://goo.gl/AfLwS Original: [2] http://goo.gl/oB0e8 * What commercial users say they want from Haskell Domain: fpcomplete.com, Score: 46, Comments: 54 On Reddit: [3] http://goo.gl/JTtMG Original: [4] http://goo.gl/ZoHrh * Haskell rewarding moments: Orc Battle translation Domain: self.haskell, Score: 41, Comments: 22 On Reddit: [5] http://goo.gl/5xjJJ Original: [6] http://goo.gl/5xjJJ * Does Stroustroup have some FP envy? This is a pretty neat library implementation of pattern matching in C++. Domain: open-std.org, Score: 40, Comments: 44 On Reddit: [7] http://goo.gl/PH7ZU Original: [8] http://goo.gl/KuGrw * Functional TDD: a clash of cultures? Domain: facebook.com, Score: 34, Comments: 34 On Reddit: [9] http://goo.gl/9xBLo Original: [10] http://goo.gl/kOi2G * Dovetailing Domain: self.haskell, Score: 33, Comments: 21 On Reddit: [11] http://goo.gl/GdlMi Original: [12] http://goo.gl/GdlMi * Oh the fun of trying to install wxhaskell Domain: self.haskell, Score: 33, Comments: 33 On Reddit: [13] http://goo.gl/4F3Fu Original: [14] http://goo.gl/4F3Fu * Lazy v. Yield: Incremental, Linear Pretty-printing (Kiselyov, Peyton-Jones, Sabry) [pdf] Domain: cs.indiana.edu, Score: 31, Comments: 54 On Reddit: [15] http://goo.gl/PfVHl Original: [16] http://goo.gl/ub46l * Call for discussion: OverloadedLists extension Domain: gist.github.com, Score: 24, Comments: 52 On Reddit: [17] http://goo.gl/0O1G8 Original: [18] http://goo.gl/xYyTq * Real World Haskell: is there a second edition coming? Domain: self.haskell, Score: 24, Comments: 9 On Reddit: [19] http://goo.gl/rjjQb Original: [20] http://goo.gl/rjjQb * Introduction to Functional Reactive Programming [video] Domain: blog.edwardamsden.com, Score: 23, Comments: 3 On Reddit: [21] http://goo.gl/vSVKP Original: [22] http://goo.gl/IH3MF Top StackOverflow Questions * What optimizations can GHC be expected to perform reliably? votes: 27, answers: 2 Read on SO: [23] http://goo.gl/E6bH4 * A simple example showing that IO doesn't satisfy the monad laws? votes: 22, answers: 4 Read on SO: [24] http://goo.gl/YptHT * Are there any good use cases for OverlappingInstances? votes: 12, answers: 3 Read on SO: [25] http://goo.gl/FLChO * Why is ListT monad transformer considered buggy - what monad laws it breaks? votes: 11, answers: 1 Read on SO: [26] http://goo.gl/HX7Oa * How to build and use a bootstrap executable in a Cabal package votes: 10, answers: 1 Read on SO: [27] http://goo.gl/tvA03 * Continuation passing style representation of types votes: 10, answers: 1 Read on SO: [28] http://goo.gl/6R60n * GHC code generation for type class function calls votes: 10, answers: 3 Read on SO: [29] http://goo.gl/3ggvE * Why inductive datatypes forbid types like `data Bad a = C (Bad a -> a)` where the type recursion occurs in front of ->? votes: 10, answers: 2 Read on SO: [30] http://goo.gl/jtG6d * Are functions of arity-n really just an n-category due to currying? Can they be made into a 1-category? votes: 9, answers: 2 Read on SO: [31] http://goo.gl/JfJLF * Setting socket options on OSX votes: 9, answers: 0 Read on SO: [32] http://goo.gl/aybHY Until next time, Daniel Santa Cruz References 1. http://www.sthaskell.com/ 2. http://www.reddit.com/r/haskell/comments/10fx9w/my_haskell_book_is_not_dead… 3. http://fpcomplete.com/commercialuserneeds/ 4. http://www.reddit.com/r/haskell/comments/10me87/what_commercial_users_say_t… 5. http://www.reddit.com/r/haskell/comments/10c7n5/haskell_rewarding_moments_o… 6. http://www.reddit.com/r/haskell/comments/10c7n5/haskell_rewarding_moments_o… 7. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3449.pdf 8. http://www.reddit.com/r/haskell/comments/10i859/does_stroustroup_have_some_… 9. https://www.facebook.com/notes/kent-beck/functional-tdd-a-clash-of-cultures… 10. http://www.reddit.com/r/haskell/comments/10jk06/functional_tdd_a_clash_of_c… 11. http://www.reddit.com/r/haskell/comments/10d7gx/dovetailing/ 12. http://www.reddit.com/r/haskell/comments/10d7gx/dovetailing/ 13. http://www.reddit.com/r/haskell/comments/10lyaw/oh_the_fun_of_trying_to_ins… 14. http://www.reddit.com/r/haskell/comments/10lyaw/oh_the_fun_of_trying_to_ins… 15. http://www.cs.indiana.edu/~sabry/papers/yield-pp.pdf 16. http://www.reddit.com/r/haskell/comments/10nsmw/lazy_v_yield_incremental_li… 17. https://gist.github.com/3761252 18. http://www.reddit.com/r/haskell/comments/10c8ld/call_for_discussion_overloa… 19. http://www.reddit.com/r/haskell/comments/10gcpp/real_world_haskell_is_there… 20. http://www.reddit.com/r/haskell/comments/10gcpp/real_world_haskell_is_there… 21. http://blog.edwardamsden.com/2012/09/video-introduction-to-functional.html 22. http://www.reddit.com/r/haskell/comments/10nho4/introduction_to_functional_… 23. http://stackoverflow.com/questions/12653787/what-optimizations-can-ghc-be-e… 24. http://stackoverflow.com/questions/12617664/a-simple-example-showing-that-i… 25. http://stackoverflow.com/questions/12628700/are-there-any-good-use-cases-fo… 26. http://stackoverflow.com/questions/12617916/why-is-listt-monad-transformer-… 27. http://stackoverflow.com/questions/12571205/how-to-build-and-use-a-bootstra… 28. http://stackoverflow.com/questions/12589765/continuation-passing-style-repr… 29. http://stackoverflow.com/questions/12645254/ghc-code-generation-for-type-cl… 30. http://stackoverflow.com/questions/12651146/why-inductive-datatypes-forbid-… 31. http://stackoverflow.com/questions/12571161/are-functions-of-arity-n-really… 32. http://stackoverflow.com/questions/12590202/setting-socket-options-on-osx

1 0

ANN: cabal-install-1.16.0 (and Cabal-1.16.0.1)
by Johan Tibell 03 Oct '12

03 Oct '12

(Please redirect follow-ups to haskell-cafe(a)haskell.org or cabal-devel(a)haskell.org) On the behalf of the many contributors to cabal, I'm proud to present cabal-install-1.16.0. This release contains almost a year worth of patches. Highlights include: * Parallel installs (cabal install -j) * Several improvements to the dependency solver. * Lots of bugfixes We're also simultaneously releasing Cabal-1.16.0.1, which address a few bugs. To install: cabal update cabal install cabal-install-1.16.0 Cabal-1.16.0.1 Complete list of changes in cabal-install-1.16.0: * Bump cabal-install version number to 1.16.0 * Extend the unpack command for the .cabal file updating * On install, update the .cabal file with the one from the index * Make compatible with `network-2.4` API * Update ZLIB_VER in bootstrap.sh for ghc-7.6 compatibility * cabal-install.cabal: add Distribution.Client.JobControl and Distribution.Compat.Time * Adapt bootstrap.sh to ghc-7.6 changes * Move comment that was missed in a refactoring * cabal-install: Adapt for GHC 7.6 * Ensure that the cabal-install logfile gets closed * Make cabal-install build with Cabal-1.16. * Initialise the 'jobs' config file setting with the current number of CPU cores. * Update version bounds for directory. * Update bootstrap.sh to match platform 2012.2.0.0 * Relax dependency on containers. * Bump versions. * Better output for parallel install. * Fix warnings. * Remove 'tryCachedSetupExecutable'. * Redundant import. * Use a lock instead of 'JobControl 1'. * Comments, cosmetic changes. * Implement the setup executable cache. * Add the missing JobControl module * Fix missing import after merge of par build patches * Fix impl of PackageIndex.allPackagesByName * Drop the "ghc-options: -rtsopts" on cabal-install. We do not need it. * Parallelise the install command This is based on Mikhail Glushenkov's patches. * InstallPlan: Add a Processing package state. * Add a '-j' flag for the 'install' command. * Add -threaded and -rtsopts to cabal-install's ghc-options. * Fix typos. * Fix warnings. * 80-col violation. * Spelling. * Fix warnings. * Extended a comment. * Force the log for the error to be printed in parallel with the complete trace. * Remove goal choice nodes after reordering is completed. * Make modular solver handle manual flags properly. * Store manual flag info in search tree. * Maintain info about manual flags in modular solver. * Fix cabal-install build. * Merge pull request #6 from pcapriotti/master * Adapt to change in GHC package db flags. * Merge pull request #1 from iustin/master * Add support for Apache 2.0 license to cabal-install * Handle test and bench stanzas without dependencies properly in modular solver. * Updated repo location in cabal files. * last-minute README changes * updated copyright year for Duncan * updated changelog * added deepseq to bootstrap.sh * handling the solver options properly in config file * handling the "optimization" option properly in config file * Update cabal-install bootstrap.sh * treat packages that are unknown no longer as an "internal error" in modular solver * minor wording change when printing install plans * no longer pre-filter broken packages for modular solver * for empty install plans, print the packages that are installed * make the reinstall check less noisy * disable line-wrapping for solver debug output * adding a solver flag for shadowing of installed packages * adding the possibility for index-disabled packages * choose default solver based on compiler version * Added a comment * Use the new --package-db flag stuff in cabal-install * head cabal-install requires head Cabal * Fix ticket #731 * Add brief description of PVP to cabal init generated .cabal files * Bump versions to 1.15 and 0.15 This is the head branch, the 1.14.x and 0.14.x are in the 1.14 branch. * init: guess at filling in deps in the build-depends: field * init: see whether source directory 'src' exists. * init: improve prompt: enclose y/n in parens * init: improve prompt: 'homepage' field is not for repos. * bootstrap with --global should still respect $PREFIX * Update cabal-install boostrap.sh package versions * Fix 'cabal configure --enable-{tests,benchmarks}'. 'cabal configure' was not adding optional stanza constraints when checking dependencies, causing '--enable-{tests,benchmarks}' to be silently ignored. * added missing error message * Don't try to run test suites where none exist. * Fixed non-exhaustive pattern matches with new InstallOutcome. * Automatically run test suites when invoked with 'cabal install --enable-tests'. Do not install if tests fail. * make test and bench available as user constraints * let --reinstall imply --force-reinstalls for targets * stanza support in modular solver * show optional stanzas when printing install plans * Added a missing case. * Enable tests and benchmarks in cabal-install without modifications to the Cabal library. * Don't build benchmarks, even if installing benchmark dependencies. * Update types in modular dependency solver to compile with new test/benchmark dependency constraints. * Handle test and benchmark dependencies through the resolver properly. * updating dependencies in bootstrap.sh * fix compilation with ghc-7.4 * Added a comment. * removing trailing whitespace * removing datatype contexts * Now require mtl-2 Complete list of changes in Cabal-1.16.0.1: * Bump Cabal version number to 1.16.0.1 * Fix failing test * Do not pass -XHaskell98 to older compilers (fixes #1016) * don't test --disable-library-vanilla for now * Fix logic for building dynamic executables with TemplateHaskell * Fix the logic for building profiled executables with TemplateHaskell. * add test for non-vanilla profiling and dynamic builds with Template Haskell * Build Setup executables without HPC. Fixes #1012. * Make 'viewAsFieldDescr' a total function. Cheers, Johan & Bryan

1 0

ANN: monadLib-3.7.1 on Hackage
by Iavor Diatchki 01 Oct '12

01 Oct '12

Hello, I am pleased to announce the availability of monadLib-3.7.1 on Hackage. MonadLib is a library intended to help programmers to quickly and easily construct various monads. The library has support for a wide range of effects: threading state, read-only variables, collecting output, exception handling, back-tracking computation, and working with explicit continuations. It provides similar functionality to libraries such as MTL, but it has a simpler interface and improved functionality for a number of the transformers. The main change in this version is improved support for working with continuations: now we support invoking the same continuation in contexts that have different types. Happy hacking! -Iavor

1 0

PLPV 2013 Last Call for Papers
by Andreas Abel 01 Oct '12

01 Oct '12

The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge François Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel(a)ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/

1 0

ANNOUNCE: sqlite-simple 0.2.0.0: mid-level API to the sqlite database
by Janne Hellsten 30 Sep '12

30 Sep '12

sqlite-simple provides a convenient API to sqlite that performs automatic data conversion between the database and Haskell types. The API has been modeled directly after postgresql-simple which in turn borrows from mysql-simple. The library is available on hackage at http://hackage.haskell.org/package/sqlite-simple * * Notable changes since the previous announcement: - Better thought out module exports - this release makes it possible to add user-defined FromField instances (see https://github.com/nurpax/sqlite-simple/blob/master/test/UserInstances.hs) - sqlite-simple was upgraded to use the latest direct-sqlite 2.2 - As part of the release, the Snap sqlite-simple plugin snaplet-sqlite-simple was upgraded to the latest sqlite-simple. See http://hackage.haskell.org/package/snaplet-sqlite-simple * * Example usage First create a test database.. --------------- sqlite3 test.db "CREATE TABLE test (id INTEGER PRIMARY KEY, str text);\ INSERT INTO test (str) VALUES ('test string');" --------------- ..and access it in Haskell: --------------- import Control.Applicative import Database.SQLite.Simple import Database.SQLite.Simple.FromRow data TestField = TestField Int String deriving (Show) instance FromRow TestField where fromRow = TestField <$> field <*> field main :: IO () main = do conn <- open "test.db" execute conn "INSERT INTO test (str) VALUES (?)" (Only ("test string 2" :: String)) r <- query_ conn "SELECT * from test" :: IO [TestField] mapM_ print r close conn --------------- * * A lot of the code is directly borrowed from mysql-simple by Bryan O'Sullivan and from postgresql-simple by Leon P. Smith. Like Leon in postgresql-simple, I've borrowed code and documentation directly from both of these ancestor libraries. This package builds on top of the direct-sqlite package by Irene Knapp. Thanks to all of the above for helpful comments, features and code review. * * Bugs, feature requests? I'm happy to receive bug reports via github on: https://github.com/nurpax/sqlite-simple/issues For discussion, I recommend the database-devel mailing list: http://www.haskell.org/mailman/listinfo/database-devel Enjoy!

1 0

PEPM 2013: Deadline Extension
by Shin-Cheng Mu 28 Sep '12

28 Sep '12

F I N A L C A L L F O R P A P E R S === P E P M 2013 === ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM13 January 20-21, 2013 Rome, Italy (Affiliated with POPL 2013) ==================================================================== DEADLINE EXTENSION - Important Dates: Abstract submission: October 2, 2012 Paper submission: October 7, 2012 Notification: November 6, 2012 - Selected papers will be invited to a Special issue of Science of Computer Programming (SCP) (5-Year Impact Factor of SCP: 1.304) ==================================================================== SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2013 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue recent years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'13 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of 'short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers will be invited for a journal special issue of Science of Computer Programming dedicated to PEPM'13. PEPM has established a Best Paper award. The winner will be announced at the workshop. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. IMPORTANT DATES Abstract submission: October 2, 2012 Paper submission: October 7, 2012 Notification: November 6, 2012 Camera ready: November 14, 2012 SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers and short papers must not exceed 4 pages in ACM Proceedings style. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research and tool demonstration papers will be made available on the PEPM'13 Web-site. Papers should be submitted electronically via the workshop web site. INVITED SPEAKERS We are proud to present the following two invited talks: * Zhenjiang Hu (National Institute of Informatics, Japan): Practical Aspects of Bidirectional Graph Transformations * Peter Thiemann (Institut fur Informatik, Technische Fakultat, Universitat Freiburg, Germany): Partially Static Operations See the workshop web site homepage for abstracts. PROGRAM CO-CHAIRS Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) PEPM 2013 PROGRAM COMMITTEE * Maria Alpuente (Technical University of Valencia, Spain) * Kenichi Asai (Ochanomizu University, Japan) * Maria Garcia de la Banda (Monash University, Australia) * James R. Cordy (Queen's University, Canada) * R. Kent Dybvig (Cisco and Indiana University, USA) * Joao Fernandes (University of Minho, Portugal) * Samir Genaim (Complutense University of Madrid, Spain) * Roberto Giacobazzi (Verona University, Italy) * Andy Gill (University of Kansas, USA) * Jurriaan Hage (Utrecht University, Netherlands) * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany) * Julia Lawall (INRIA, France) * Yanhong Annie Liu (Stony Brook University, USA) * Kazutaka Matsuda (University of Tokyo, Japan) * Keisuke Nakano (University of Electro-Communications, Japan) * Klaus Ostermann (University of Marburg, Germany) * Sergei A. Romanenko (Russian Academy of Sciences, Russia) * Jeremy Siek (University of Colorado at Boulder, USA) * Walid Mohamed Taha (Halmstad University, Sweden) * Tarmo Uustalu (Tallinn University of Technology, Estonia) * Janis Voigtlaender (University of Bonn, Germany) * Dana N. Xu (INRIA, France)

1 0

Haskell Weekly News: Issue 245
by Daniel Santa Cruz 27 Sep '12

27 Sep '12

Welcome to issue 245 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 16 to September 22, 2012. Quotes of the Week * dmwit: You have your intuition correct, despite all the pedantry in the room. * Cale: THIS CODE IS EXCELLENT CODE, I AM AN EXCELLENT ENTERPRISE PROGRAMMER ACCOMPLISHING REAL WORLD TASKS USING PATTERNS LIKE I READ ABOUT IN ALL THE JAVA BLOGS * byorgey: HASKELL is a pure, functional, strongly typed language featuring a name with all capitals, so it is suitable for beginners * ciaranm: a comonad is just a comonoid in the category of endofunctors. what's the coproblem? * dmwit: ISAAC -- ignore success at all costs * merijn: If you're not gonna use the types [by writing them] you might as well just write python * Cale: The real reason for the installed size of GHC being so large is that in the background it secretly downloads a video of SPJ riding a unicycle. Top Reddit Stories * First commercial Haskell-powered (game logic) computer game? (Nikki and the Robots Story Episodes) Domain: buy.joyridelabs.de, Score: 57, Comments: 27 On Reddit: [1] http://goo.gl/hngXz Original: [2] http://goo.gl/Y5Oax * Common misconceptions about Safe Haskell Domain: blog.ezyang.com, Score: 49, Comments: 23 On Reddit: [3] http://goo.gl/NBSx7 Original: [4] http://goo.gl/43i6n * The MonadTrans class is missing a method Domain: haskellforall.com, Score: 44, Comments: 32 On Reddit: [5] http://goo.gl/okxAX Original: [6] http://goo.gl/GnvzB * The Haskell Implementors' Workshop videos and slides available online Domain: haskell.org, Score: 43, Comments: 4 On Reddit: [7] http://goo.gl/LuORg Original: [8] http://goo.gl/pEvww * Writing javascript games in haskell : breakout Domain: jshaskell.blogspot.com, Score: 39, Comments: 10 On Reddit: [9] http://goo.gl/Dv8QK Original: [10] http://goo.gl/lXxsS * HIW 2012. Simon Peyton Jones: GHC Status Update. - YouTube Domain: youtube.com, Score: 37, Comments: 12 On Reddit: [11] http://goo.gl/3GEZK Original: [12] http://goo.gl/j7al9 * Comparing Snap's and Yesod's Template Languages Heist and Hamlet Domain: gist.github.com, Score: 36, Comments: 33 On Reddit: [13] http://goo.gl/AzaVV Original: [14] http://goo.gl/StRaF * Request: Tutorial on debugging using stack trace features of GHC 7.4 Domain: self.haskell, Score: 31, Comments: 6 On Reddit: [15] http://goo.gl/DcR1C Original: [16] http://goo.gl/DcR1C * A kind for regions Domain: monoidal.blogspot.com, Score: 29, Comments: 27 On Reddit: [17] http://goo.gl/4aBe7 Original: [18] http://goo.gl/tBDDW * [screencast] Quick introduction to Haskell using Gtk and the web Domain: vimeo.com, Score: 28, Comments: 4 On Reddit: [19] http://goo.gl/oi2IB Original: [20] http://goo.gl/LOkcf * Warp optimization - Sending header and body at once Domain: yesodweb.com, Score: 27, Comments: 17 On Reddit: [21] http://goo.gl/wstwx Original: [22] http://goo.gl/opsHb * Runtime Codegeneration in Haskell: Harpy vs. LLVM Domain: blog.wien.tomnetworks.com, Score: 24, Comments: 10 On Reddit: [23] http://goo.gl/aD0hE Original: [24] http://goo.gl/jU3nf * Show off your Vim/Emacs config! Domain: self.haskell, Score: 24, Comments: 7 On Reddit: [25] http://goo.gl/jV6Sa Original: [26] http://goo.gl/jV6Sa * Elm 0.4: Graphics Upgrade! Markdown, better for games, new optimizations, minification, ... Domain: elm-lang.org, Score: 22, Comments: 1 On Reddit: [27] http://goo.gl/SJW29 Original: [28] http://goo.gl/2Q5Fg * Making your zipper disappear with Zippo Domain: brandon.si, Score: 22, Comments: 6 On Reddit: [29] http://goo.gl/MQg77 Original: [30] http://goo.gl/Ua8a9 * [ANNOUNCE] Juicy.Pixels 2.0 - With Gif file decoding Domain: hackage.haskell.org, Score: 20, Comments: 12 On Reddit: [31] http://goo.gl/kEKrE Original: [32] http://goo.gl/EVvBh * Videos from this the CUFP 2012 in Copenhagen are now up Domain: cufp.org, Score: 17, Comments: 2 On Reddit: [33] http://goo.gl/mpe8Z Original: [34] http://goo.gl/aCB9I * Haskell developer jobs at StanChart - London, Singapore and Tianjin Domain: haskellers.com, Score: 17, Comments: 6 On Reddit: [35] http://goo.gl/t7axk Original: [36] http://goo.gl/wZrV5 * New GHCJS Hello World (can you find the hidden game?) Domain: ghcjs.github.com, Score: 17, Comments: 10 On Reddit: [37] http://goo.gl/c4BeA Original: [38] http://goo.gl/Aqh1i Top StackOverflow Questions * “What part of Milner-Hindley do you not understand?” votes: 73, answers: 4 Read on SO: [39] http://goo.gl/Nossl * Matching on type level Nat in GHC 7.6 votes: 17, answers: 1 Read on SO: [40] http://goo.gl/YijoA * Threading extra state through a parser in Scala votes: 16, answers: 1 Read on SO: [41] http://goo.gl/8cYMQ * find all types that are instances of a typeclass votes: 13, answers: 1 Read on SO: [42] http://goo.gl/ywHUN * When to use various language pragmas and optimisations? votes: 13, answers: 2 Read on SO: [43] http://goo.gl/qqtID * What are these explicit “forall”s doing? votes: 12, answers: 1 Read on SO: [44] http://goo.gl/fO0kf * How does the ST monad work? votes: 11, answers: 2 Read on SO: [45] http://goo.gl/xxntD * What are the pros and cons of adding additional functions/combinators to a typeclass definition? votes: 10, answers: 2 Read on SO: [46] http://goo.gl/HhDgT * Type parameters constraints for instances of typeclasses with kind * -> * votes: 9, answers: 2 Read on SO: [47] http://goo.gl/bGEQW * Theoretically, is this a valid comonad instance for a list? votes: 9, answers: 2 Read on SO: [48] http://goo.gl/z4DI4 * In haskell how can I uppercase a unicode character with respect to current locale votes: 9, answers: 1 Read on SO: [49] http://goo.gl/enNwK * Does haskell erase types? votes: 8, answers: 2 Read on SO: [50] http://goo.gl/YP8Nn * Is there an Iteratee-like concept which pulls data from multiple sources? votes: 8, answers: 4 Read on SO: [51] http://goo.gl/AOV0Y Until next time, Daniel Santa Cruz References 1. http://buy.joyridelabs.de/ 2. http://www.reddit.com/r/haskell/comments/106ocf/first_commercial_haskellpow… 3. http://blog.ezyang.com/2012/09/common-misconceptions-about-safe-haskell/ 4. http://www.reddit.com/r/haskell/comments/10242c/common_misconceptions_about… 5. http://www.haskellforall.com/2012/09/the-monadtrans-class-is-missing-method… 6. http://www.reddit.com/r/haskell/comments/106xwf/the_monadtrans_class_is_mis… 7. http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012#Program… 8. http://www.reddit.com/r/haskell/comments/102x4p/the_haskell_implementors_wo… 9. http://jshaskell.blogspot.com/2012/09/breakout.html 10. http://www.reddit.com/r/haskell/comments/109hsb/writing_javascript_games_in… 11. http://www.youtube.com/watch?v=2Pucbf8_hGQ&feature=plcp 12. http://www.reddit.com/r/haskell/comments/102t49/hiw_2012_simon_peyton_jones… 13. https://gist.github.com/3757918 14. http://www.reddit.com/r/haskell/comments/107v79/comparing_snaps_and_yesods_… 15. http://www.reddit.com/r/haskell/comments/104xa2/request_tutorial_on_debuggi… 16. http://www.reddit.com/r/haskell/comments/104xa2/request_tutorial_on_debuggi… 17. http://monoidal.blogspot.com/2012/09/a-kind-for-regions.html 18. http://www.reddit.com/r/haskell/comments/102v1x/a_kind_for_regions/ 19. https://vimeo.com/49918847 20. http://www.reddit.com/r/haskell/comments/10az3o/screencast_quick_introducti… 21. http://www.yesodweb.com/blog/2012/09/header-body 22. http://www.reddit.com/r/haskell/comments/104sx0/warp_optimization_sending_h… 23. http://blog.wien.tomnetworks.com/2012/09/17/runtime-codegeneration-in-haske… 24. http://www.reddit.com/r/haskell/comments/1014ct/runtime_codegeneration_in_h… 25. http://www.reddit.com/r/haskell/comments/10b20f/show_off_your_vimemacs_conf… 26. http://www.reddit.com/r/haskell/comments/10b20f/show_off_your_vimemacs_conf… 27. http://elm-lang.org/blog/announce/version-0.4.0.elm 28. http://www.reddit.com/r/haskell/comments/102zqr/elm_04_graphics_upgrade_mar… 29. http://brandon.si/code/making-your-zipper-disappear-with-zippo/ 30. http://www.reddit.com/r/haskell/comments/103rhu/making_your_zipper_disappea… 31. http://hackage.haskell.org/package/JuicyPixels-2.0 32. http://www.reddit.com/r/haskell/comments/zziwm/announce_juicypixels_20_with… 33. http://cufp.org/videos 34. http://www.reddit.com/r/haskell/comments/102rer/videos_from_this_the_cufp_2… 35. http://www.haskellers.com/jobs/19 36. http://www.reddit.com/r/haskell/comments/106wat/haskell_developer_jobs_at_s… 37. http://ghcjs.github.com/bin/ghcjs-hello.jsexe 38. http://www.reddit.com/r/haskell/comments/10b6h3/new_ghcjs_hello_world_can_y… 39. http://stackoverflow.com/questions/12532552/what-part-of-milner-hindley-do-… 40. http://stackoverflow.com/questions/12463474/matching-on-type-level-nat-in-g… 41. http://stackoverflow.com/questions/12487827/threading-extra-state-through-a… 42. http://stackoverflow.com/questions/12524034/find-all-types-that-are-instanc… 43. http://stackoverflow.com/questions/12534145/when-to-use-various-language-pr… 44. http://stackoverflow.com/questions/12519878/what-are-these-explicit-foralls… 45. http://stackoverflow.com/questions/12468622/how-does-the-st-monad-work 46. http://stackoverflow.com/questions/12515655/what-are-the-pros-and-cons-of-a… 47. http://stackoverflow.com/questions/12497542/type-parameters-constraints-for… 48. http://stackoverflow.com/questions/12537149/theoretically-is-this-a-valid-c… 49. http://stackoverflow.com/questions/12537377/in-haskell-how-can-i-uppercase-… 50. http://stackoverflow.com/questions/12468722/does-haskell-erase-types 51. http://stackoverflow.com/questions/12496654/is-there-an-iteratee-like-conce…

1 0