December 2013 - Haskell

Re: [Haskell] ANN: hledger 0.22
by Simon Michael 15 Dec '13

15 Dec '13

That's odd. Here I have ubuntu raring, ghc 7.6.3, cabal-dev 0.9.2 using Cabal 1.16.0, cabal-install 1.18.0.2 using Cabal 1.18.1. Do you see the same problem with cabal sandbox init; cabal install ./hledger-lib ./hledger ./hledger-web ? On Sun, Dec 15, 2013, at 03:36 AM, Marko Kocić wrote: I also had fresh cabal-dev repo, and it didn't work. However, I was able to build when I added --max-backjumps=10000 to the build line. Regards, Marko On Sunday, December 15, 2013 4:50:30 AM UTC+1, Simon Michael (sm) wrote: It works for me in a fresh cabal-dev package db, which I think yours is not, right ? Installs into an already-populated package db are more troublesome than usual right now because of the recent major version bumps to text, wai, warp, http-conduit etc. On Sat, Dec 14, 2013, at 10:27 AM, Marko Kocić wrote: I have build problems again after pulling from git. ~/src/hledger$ cabal-dev install ./hledger ./hledger-lib/ ./hledger-web/ Resolving dependencies... cabal: Could not resolve dependencies: trying: hledger-0.22 (user goal) trying: utf8-string-0.3.7 (dependency of hledger-0.22) rejecting: utf8-string-0.3.7:+bytestring-in-base (conflict: base==[1]4.6.0.1/installed-ced..., utf8-string-0.3.7:bytestring-in-base => base>=2.0 && <2.2) trying: utf8-string-0.3.7:-bytestring-in-base trying: bytestring-0.10.0.2/installed-0b6... (dependency of utf8-string-0.3.7:-bytestring-in-base) trying: text-1.0.0.0 (dependency of hledger-0.22) trying: shakespeare-text-1.0.0.10 (dependency of hledger-0.22) trying: shakespeare-1.2.0.3 (dependency of shakespeare-text-1.0.0.10) next goal: system-fileio (dependency of shakespeare-1.2.0.3) rejecting: system-fileio-0.3.11, 0.3.10 (conflict: text==1.0.0.0, system-fileio => text>=0.7.1 && <0.12) rejecting: system-fileio-0.3.9, 0.3.8, 0.3.7, 0.3.6, 0.3.5, 0.3.4, 0.3.3, 0.3.2.1, 0.3.2, 0.3.1, 0.3 (conflict: bytestring==[2]0.10.0.2/installed-0b6..., system-fileio => bytestring>=0.9 && <0.10) rejecting: system-fileio-0.2.7, 0.2.6, 0.2.5, 0.2.4, 0.2.3, 0.2.2.1, 0.2.2, 0.2.1, 0.2, 0.1.1, 0.1 (conflict: shakespeare => system-fileio>=0.3) Backjump limit reached (change with --max-backjumps). marko@monet:~/src/hledger$ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.6.3 -- -- You received this message because you are subscribed to the Google Groups hledger group. To post to this group, send email to hle...@googlegroups.com. To unsubscribe from this group, send email to hledger+u...@googlegroups.com. For more options, visit this group at [3]https://groups.google.com/d/forum/hledger?hl=en --- You received this message because you are subscribed to the Google Groups "hledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to hledger+u...@googlegroups.com. For more options, visit [4]https://groups.google.com/groups/opt_out. -- -- You received this message because you are subscribed to the Google Groups hledger group. To post to this group, send email to hledger(a)googlegroups.com. To unsubscribe from this group, send email to hledger%2Bunsubscribe(a)googlegroups.com. For more options, visit this group at [5]https://groups.google.com/d/forum/hledger?hl=en --- You received this message because you are subscribed to the Google Groups "hledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to hledger%2Bunsubscribe(a)googlegroups.com. For more options, visit [6]https://groups.google.com/groups/opt_out. References 1. http://4.6.0.1/installed-ced.. 2. http://0.10.0.2/installed-0b6.. 3. https://groups.google.com/d/forum/hledger?hl=en 4. https://groups.google.com/groups/opt_out 5. https://groups.google.com/d/forum/hledger?hl=en 6. https://groups.google.com/groups/opt_out

1 0

Re: [Haskell] ANN: hledger 0.22
by Simon Michael 15 Dec '13

15 Dec '13

It works for me in a fresh cabal-dev package db, which I think yours is not, right ? Installs into an already-populated package db are more troublesome than usual right now because of the recent major version bumps to text, wai, warp, http-conduit etc. On Sat, Dec 14, 2013, at 10:27 AM, Marko Kocić wrote: I have build problems again after pulling from git. ~/src/hledger$ cabal-dev install ./hledger ./hledger-lib/ ./hledger-web/ Resolving dependencies... cabal: Could not resolve dependencies: trying: hledger-0.22 (user goal) trying: utf8-string-0.3.7 (dependency of hledger-0.22) rejecting: utf8-string-0.3.7:+bytestring-in-base (conflict: base==4.6.0.1/installed-ced..., utf8-string-0.3.7:bytestring-in-base => base>=2.0 && <2.2) trying: utf8-string-0.3.7:-bytestring-in-base trying: bytestring-0.10.0.2/installed-0b6... (dependency of utf8-string-0.3.7:-bytestring-in-base) trying: text-1.0.0.0 (dependency of hledger-0.22) trying: shakespeare-text-1.0.0.10 (dependency of hledger-0.22) trying: shakespeare-1.2.0.3 (dependency of shakespeare-text-1.0.0.10) next goal: system-fileio (dependency of shakespeare-1.2.0.3) rejecting: system-fileio-0.3.11, 0.3.10 (conflict: text==1.0.0.0, system-fileio => text>=0.7.1 && <0.12) rejecting: system-fileio-0.3.9, 0.3.8, 0.3.7, 0.3.6, 0.3.5, 0.3.4, 0.3.3, 0.3.2.1, 0.3.2, 0.3.1, 0.3 (conflict: bytestring==0.10.0.2/installed-0b6..., system-fileio => bytestring>=0.9 && <0.10) rejecting: system-fileio-0.2.7, 0.2.6, 0.2.5, 0.2.4, 0.2.3, 0.2.2.1, 0.2.2, 0.2.1, 0.2, 0.1.1, 0.1 (conflict: shakespeare => system-fileio>=0.3) Backjump limit reached (change with --max-backjumps). marko@monet:~/src/hledger$ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.6.3 -- -- You received this message because you are subscribed to the Google Groups hledger group. To post to this group, send email to hledger(a)googlegroups.com. To unsubscribe from this group, send email to hledger%2Bunsubscribe(a)googlegroups.com. For more options, visit this group at [1]https://groups.google.com/d/forum/hledger?hl=en --- You received this message because you are subscribed to the Google Groups "hledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to hledger%2Bunsubscribe(a)googlegroups.com. For more options, visit [2]https://groups.google.com/groups/opt_out. References 1. https://groups.google.com/d/forum/hledger?hl=en 2. https://groups.google.com/groups/opt_out

1 0

Full Professorship (U Tübingen, Germany)
by Torsten Grust 14 Dec '13

14 Dec '13

Dear colleagues, you may be interested in the following position of a Full Professor (tenure) at the University of Tübingen, Germany. Closing date: Jan 5, 2014. (Announcement, in German, below.) ----------------------------------------------------------------------- An der Mathematisch-Naturwissenschaftlichen Fakultät der Eberhard Karls Universität Tübingen ist im Fachbereich Informatik eine W3-Professur für Praktische Informatik zum 1. Oktober 2014 zu besetzen. Der/Die künftige Stelleninhaber/in sollte in Forschung und Lehre primär das Fach "Praktische Informatik" vertreten und sich im vollen Umfang an der Grundausbildung in Praktischer Informatik beteiligen. Der Forschungsschwerpunkt soll in dem Bereich Software Engineering, insbesondere moderne Programmierkonzepte (Deklarativität, Verteilung, Nebenläufigkeit und Parallelität) und deren Anwendungen, liegen. Einstellungsvoraussetzung ist die Habilitation oder eine gleichwertige Qualifikation sowie nachgewiesene didaktische Eignung. Die Universität strebt eine Erhöhung des Frauenanteils in Forschung und Lehre an und bittet deshalb entsprechend qualifizierte Wissenschaftlerinnen nachdrücklich um Ihre Bewerbung. Schwerbehinderte werden bei gleicher Eignung bevorzugt berücksichtigt. Bewerbungen mit den üblichen Unterlagen und einem Forschungs- und Lehrkonzept sowie dem ausgefüllten Formular "Bewerbungsbogen" (unter http://www.mnf.uni-tuebingen.de/fakultaet/service.html) werden bis zum 5. Januar 2014 in elektronischer Form erbeten an den Dekan der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Tübingen (dekanat(a)mnf.uni-tuebingen.de) -- | Prof. Dr. Torsten Grust | Database Systems — Universität Tübingen (Germany) | torsten.grust(a)uni-tuebingen.de | db.inf.uni-tuebingen.de

1 0

ANN: hledger 0.22
by Simon Michael 14 Dec '13

14 Dec '13

Hi all. I have released hledger and hledger-web 0.22. hledger is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. In addition to reporting, it can also help you record new transactions, or convert CSV data from your bank. Add-on packages include hledger-web (providing a web interface), hledger-irr and hledger-interest. hledger is inspired by and compatible with John Wiegley's Ledger. For more, see http://hledger.org . Install it: cabal update; cabal install hledger [hledger-web] For more installation help, see http://hledger.org/MANUAL.html#installing . Or, sponsor a ready-to-run binary for your platform: http://hledger.org/DOWNLOAD.html . Release notes (http://hledger.org/NEWS.html#hledger-0.22) **New:** - balance: with a reporting interval (monthly, yearly etc.), the [balance command](MANUAL.html#balance) will now show a multi-column report, showing either the per-period changes in balance (by default), the period ending balances starting from zero (`--cumulative`), or the actual period ending balances (`--historical`). A more detailed specification of the balance command's behaviour has been added to Hledger.Cli.Balance. - csv: rules files can now include other rules files, useful for factoring out common rules - queries: `sym:REGEXP` matches commodity symbols - register: `--average/-A` shows a running average, like ledger - in period expressions, `-` (hyphen) can be used as a more compact synonym for `from` and `to`. Eg: `-p 2012/12/1-2013/2/1` or `date:aug-`. - the add-on script examples in extra/ have been updated; get the hledger source and add .../hledger/extra/ to your PATH to make them available. They include: hledger-accountnames.hs - print account names hledger-balance-csv.hs - print a balance report as CSV hledger-equity.hs - print an entry matching all account balances hledger-print-unique.hs - print only journal entries unique descriptions hledger-register-csv.hs - print a register report as CSV **Improved:** - balancesheet: now shows just assets and liabilities, not equity - print: comment positions (same line or next line) are now preserved - queries: `amt` now uses the = operator by default, eg `amt:50` is equivalent to `amt:=50` - command line processing has been overhauled and made more consistent, and now has tests and debug output. More flags now work both before and after COMMAND: `-f`, `--rule-file`, `--alias`, `--help`, `--debug`, `--version`. Command line help, command aliases, API docs and code have been improved. - `--debug` now takes an optional numeric argument to set the debug level higher than 1, for more verbose debug output in a few cases. **Fixed:** - csv: CSV data containing non-ascii characters is now supported - build with latest versions of dependencies (text, warp, http-conduit etc.) **Release contributors:** Marko Kocić, Max Bolingbroke, and a big welcome to first-time committer John Wiegley! :) There's a rumour that a 1.0 release could be next, depending on how this one fares. All feedback welcome. Best! - Simon

1 0

2nd Call for participation: Dutch Functional Programming Day 2014
by Clemens Grelck 13 Dec '13

13 Dec '13

Dear all, The next Netherlands Functional Programming day (NL-FP 2014) will take place on Friday, January 10, 2014 at the University of Amsterdam at Amsterdam Science Park. You are all cordially invited to participate, and we still have a few open slots for presentations. The day will largely follow the pattern of the previous NL-FP days with a moderately timed start, a day of enjoyable talks in between lunch and coffee breaks and ending with a joint dinner in a nearby restaurant. All further details can be found on the NL-FP 2014 site(s): http://staff.science.uva.nl/~grelck/nl-fp-day-2014.html http://staff.science.uva.nl/~grelck/nl-fp-dag-2014.html Hope to see you all in Amsterdam in January! Best regards, Clemens Grelck -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

Final Call for Papers WRLA 2014
by Santiago Escobar 12 Dec '13

12 Dec '13

10th International Workshop on Rewriting Logic and its Applications WRLA 2014 Grenoble, France, April 5th and 6th, 2014 http://www.dsic.upv.es/workshops/wrla2014/ The workshop will be held in conjunction with ETAPS 2014 17th European Joint Conferences on Theory and Practice of Software April 5-13, 2014 http://www.etaps.org/2014 IMPORTANT DATES Submission deadline December 30th 2013 Author notification February 2nd 2014 Version informal proceedings February 14th 2014 AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to, - foundations and models of RL; - languages based on RL, including implementation issues; - RL as a logical framework; - RL as a semantic framework, including applications of RL to - object-oriented systems, - concurrent and/or parallel systems, - interactive, distributed, open ended and mobile systems, - specification of languages and systems; - use of RL to provide rigorous support for model-based software engineering; - formalisms related to RL, including - real-time and probabilistic extensions of RL, - rewriting approaches to behavioral specifications, - tile logic; - verification techniques for RL specifications, including - equational and coherence methods, - verification of properties expressed in first-order, higher-order, modal and temporal logics, - narrowing-based analysis and verification; - comparisons of RL with existing formalisms having analogous aims; - application of RL to specification and analysis of - distributed systems, - physical systems. SUBMISSIONS The final program of the workshop will include regular papers, tool papers, and work-in-progress presentations. The program will also contain invited talks to be determined by the program committee. Papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasize the design and implementation, and give a clear account of the tool's functionality. The described tools must be publicly available via the web. All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair. Regular papers and work-in-progress should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration. PROCEEDINGS All submissions will be evaluated by the Program Committee. Regular papers, tool papers, and work-in-progress that are accepted will be presented at the workshop and included in the proceedings, which will be available during the workshop. Regular papers, tool papers, and invited presentations will also be published in a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. Depending on the number and the quality of the contributions, we will consider the preparation of a special issue in some scientific journal in the field with extended versions of a selection of the papers of the workshop. PROGRAM COMMITTEE Mark van den Brand, Eindhoven University of Technology, The Netherlands Roberto Bruni, University of Pisa, Italy Manuel Clavel, IMDEA Software & Universidad Complutense de Madrid, Spain Francisco Durán, Universidad de Málaga, Spain Santiago Escobar (chair), Universidad Politécnica de Valencia, Spain Kokichi Futatsugi, JAIST, Japan Alexander Knapp, Universitat Augsburg, Germany Alberto Lluch-Lafuente, IMT Institute for Advanced Studies Lucca, Italy Dorel Lucanu, Alexandru Ioan Cuza University, Rumania Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain José Meseguer, University of Illinois at Urbana-Champaign, USA Ugo Montanari, University of Pisa, Italy Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy, France Kazuhiro Ogata, JAIST, Japan Peter Ölveczky, University of Oslo, Norway Miguel Palomino, Universidad Complutense de Madrid, Spain Grigore Rosu, University of Illinois at Urbana-Champaign, USA Vlad Rusu, INRIA Lille Nord-Europe, France Mark-Oliver Stehr, SRI International, USA Carolyn Talcott, SRI International, USA Martin Wirsing, Ludwig Maximilians Universität München, Germany CONTACT INFORMATION For more information, please contact the organizers sescobar(a)dsic.upv.es or visit the workshop web page http://www.dsic.upv.es/workshops/wrla2014/

1 0

Haskell Weekly News: Issue 287
by Daniel Santa Cruz 12 Dec '13

12 Dec '13

Welcome to (the "I'm not dead yet") issue 287 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the very long span of time from November 10 to December 07, 2013. Quotes of the Week * chrisdone: monads are like a finger pointing away to the moon. *smack* don't look at the finger or you will miss all that heavenly glory * quchen: A group with an associative law is called a group. * chrisdone: i swim in a sea of parens and it warms me like rays of the sun * zomg: my client tells me weekly how I've saved his company. Then I goto haskell and I'm like "I have no idea what I'm doing lul" * pigworker: The usual style is to write as if everything is inductive, and if it still works on infinite data, to pat ourselves on the back for using Haskell rather than ML. Top Reddit Stories * Honorary Doctorate for Simon Peyton Jones - On December 3 2013 Simon Peyton Jones was honoured by the University of Glasgow with the honorary degree of Doctor of Science. Domain: dcs.gla.ac.uk, Score: 166, Comments: 18 On Reddit: [1] http://goo.gl/XLezZO Original: [2] http://goo.gl/WqC2EN * Hell: A Haskell shell Domain: github.com, Score: 114, Comments: 53 On Reddit: [3] http://goo.gl/6ogD6n Original: [4] http://goo.gl/YCzNT3 * Löb and möb: strange loops in Haskell Domain: github.com, Score: 95, Comments: 35 On Reddit: [5] http://goo.gl/8bF5Op Original: [6] http://goo.gl/GqzuP0 * Explanation of the new Haskell records extension Domain: well-typed.com, Score: 88, Comments: 70 On Reddit: [7] http://goo.gl/419sYv Original: [8] http://goo.gl/g24kLB * FP Complete IDE now free for community use. Give it a try! Domain: fpcomplete.com, Score: 86, Comments: 65 On Reddit: [9] http://goo.gl/OJh2Oz Original: [10] http://goo.gl/2FYHa * The Haskell Cast #4 - Simon Marlow on Parallelism and Concurrency Domain: haskellcast.com, Score: 82, Comments: 13 On Reddit: [11] http://goo.gl/kzNEz3 Original: [12] http://goo.gl/yrUDXL * 24 Days of Hackage: scotty Domain: ocharles.org.uk, Score: 74, Comments: 16 On Reddit: [13] http://goo.gl/CoUanr Original: [14] http://goo.gl/a83HZg * Idris 0.9.10 released Domain: idris-lang.org, Score: 73, Comments: 21 On Reddit: [15] http://goo.gl/0OnlPV Original: [16] http://goo.gl/MKtbxu * 24 Days of Hackage: threepenny-gui Domain: ocharles.org.uk, Score: 68, Comments: 4 On Reddit: [17] http://goo.gl/vSTpc0 Original: [18] http://goo.gl/Hmjqzq * 24 Days of Hackage: linear Domain: ocharles.org.uk, Score: 66, Comments: 43 On Reddit: [19] http://goo.gl/dcFHGg Original: [20] http://goo.gl/R9c0bh * 24 Days of Hackage: tasty Domain: ocharles.org.uk, Score: 65, Comments: 4 On Reddit: [21] http://goo.gl/xIwvgk Original: [22] http://goo.gl/aUJGLJ * 24 Days of Hackage: 2013 in Review Domain: ocharles.org.uk, Score: 64, Comments: 11 On Reddit: [23] http://goo.gl/ideT63 Original: [24] http://goo.gl/DQYDar * Hacking Haskell in nightclubs (x-post from /r/programming) Domain: vice.com, Score: 60, Comments: 30 On Reddit: [25] http://goo.gl/ezuhIJ Original: [26] http://goo.gl/bD3vnN * 24 Days of Hackage: extensible-effects Domain: ocharles.org.uk, Score: 60, Comments: 25 On Reddit: [27] http://goo.gl/5T2brL Original: [28] http://goo.gl/q2hVM0 * From Object Oriented Programming to Functional Programming - Inheritance and the Expression Problem Domain: github.com, Score: 58, Comments: 62 On Reddit: [29] http://goo.gl/fFldOR Original: [30] http://goo.gl/n5nHYo * I've been working on a small roguelike in Haskell Domain: github.com, Score: 56, Comments: 26 On Reddit: [31] http://goo.gl/mojdIu Original: [32] http://goo.gl/fT9DLB * Chordify: Get the chords to any song, using Haskell ! Domain: chordify.net, Score: 55, Comments: 19 On Reddit: [33] http://goo.gl/YfcHEu Original: [34] http://goo.gl/19apd * Merging, Folding, Monoids, and Foldable Domain: mtnviewmark.wordpress.com, Score: 53, Comments: 5 On Reddit: [35] http://goo.gl/GtoDKp Original: [36] http://goo.gl/QJsd7L * 24 Days of Hackage: persistent & esqueleto Domain: ocharles.org.uk, Score: 49, Comments: 14 On Reddit: [37] http://goo.gl/97eeUF Original: [38] http://goo.gl/TL8P7V * Haskell From Scratch - Series about making a non-trivial app from the ground up. Domain: youtube.com, Score: 46, Comments: 2 On Reddit: [39] http://goo.gl/sPV7rs Original: [40] http://goo.gl/KslDE4 Top StackOverflow Questions * What does (f .) . g mean in Haskell? votes: 17, answers: 2 Read on SO: [41] http://goo.gl/2i3GNc * LaTeX natural deduction proofs using Haskell votes: 13, answers: 0 Read on SO: [42] http://goo.gl/uH1K2u * Lazily Tying the Knot for 1 Dimensional Dynamic Programming votes: 13, answers: 4 Read on SO: [43] http://goo.gl/1kZQkK * What does Clojure borrow from Haskell? [on hold] votes: 12, answers: 0 Read on SO: [44] http://goo.gl/DsqKhp * Meaning of `<-` in do block in Haskell votes: 10, answers: 4 Read on SO: [45] http://goo.gl/JOJiFy * Why is function composition in Haskell right associative? votes: 10, answers: 1 Read on SO: [46] http://goo.gl/mURUDZ * Is there a library or typeclass for getting the transformer version of a monad? votes: 9, answers: 1 Read on SO: [47] http://goo.gl/k81E1h * How to implement B+ tree in Haskell? votes: 9, answers: 2 Read on SO: [48] http://goo.gl/lkwh8Z * Delimiting the IO monad votes: 9, answers: 2 Read on SO: [49] http://goo.gl/x3RlXO Until next time, [50]+Daniel Santa Cruz References 1. http://www.dcs.gla.ac.uk/~muffy/SPJ_oration.pdf 2. http://www.reddit.com/r/haskell/comments/1sbfmb/honorary_doctorate_for_simo… 3. https://github.com/chrisdone/hell 4. http://www.reddit.com/r/haskell/comments/1r755t/hell_a_haskell_shell/ 5. https://github.com/quchen/articles/blob/master/loeb-moeb.md 6. http://www.reddit.com/r/haskell/comments/1qwjk6/l%C3%B6b_and_m%C3%B6b_stran… 7. http://www.well-typed.com/blog/84 8. http://www.reddit.com/r/haskell/comments/1rpte3/explanation_of_the_new_hask… 9. https://www.fpcomplete.com/ 10. http://www.reddit.com/r/haskell/comments/1qzioh/fp_complete_ide_now_free_fo… 11. http://www.haskellcast.com/episode/004-simon-marlow-on-parallelism-and-conc… 12. http://www.reddit.com/r/haskell/comments/1rexqq/the_haskell_cast_4_simon_ma… 13. http://ocharles.org.uk/blog/posts/2013-12-05-24-days-of-hackage-scotty.html 14. http://www.reddit.com/r/haskell/comments/1s65bl/24_days_of_hackage_scotty/ 15. http://www.idris-lang.org/idris-0-9-10-released/ 16. http://www.reddit.com/r/haskell/comments/1rn4d6/idris_0910_released/ 17. http://ocharles.org.uk/blog/posts/2013-12-07-24-days-of-hackage-threepenny-… 18. http://www.reddit.com/r/haskell/comments/1sc67q/24_days_of_hackage_threepen… 19. http://ocharles.org.uk/blog/posts/2013-12-02-24-days-of-hackage-linear.html 20. http://www.reddit.com/r/haskell/comments/1rximk/24_days_of_hackage_linear/ 21. http://ocharles.org.uk/blog/posts/2013-12-03-24-days-of-hackage-tasty.html 22. http://www.reddit.com/r/haskell/comments/1s0t1f/24_days_of_hackage_tasty/ 23. http://ocharles.org.uk/blog/posts/2013-12-01-24-days-of-hackage-intro.html 24. http://www.reddit.com/r/haskell/comments/1rv45n/24_days_of_hackage_2013_in_… 25. http://www.vice.com/read/algorave-is-the-future-of-dance-music-if-youre-an-… 26. http://www.reddit.com/r/haskell/comments/1riror/hacking_haskell_in_nightclu… 27. http://ocharles.org.uk/blog/posts/2013-12-04-24-days-of-hackage-extensible-… 28. http://www.reddit.com/r/haskell/comments/1s3oba/24_days_of_hackage_extensib… 29. https://github.com/Dobiasd/articles/blob/master/from_oop_to_fp_-_inheritanc… 30. http://www.reddit.com/r/haskell/comments/1quhrl/from_object_oriented_progra… 31. https://github.com/dvolk/hoodie 32. http://www.reddit.com/r/haskell/comments/1r248j/ive_been_working_on_a_small… 33. http://chordify.net/ 34. http://www.reddit.com/r/haskell/comments/1r7sh1/chordify_get_the_chords_to_… 35. https://mtnviewmark.wordpress.com/2013/12/02/mfmf/ 36. http://www.reddit.com/r/haskell/comments/1rz8cn/merging_folding_monoids_and… 37. http://ocharles.org.uk/blog/posts/2013-12-06-24-days-of-hackage-persistent-… 38. http://www.reddit.com/r/haskell/comments/1s9fyb/24_days_of_hackage_persiste… 39. https://www.youtube.com/playlist?list=PLxj9UAX4Em-Ij4TKwKvo-SLp-Zbv-hB4B 40. http://www.reddit.com/r/haskell/comments/1s48bm/haskell_from_scratch_series… 41. http://stackoverflow.com/questions/20279306/what-does-f-g-mean-in-haskell 42. http://stackoverflow.com/questions/19919431/latex-natural-deduction-proofs-… 43. http://stackoverflow.com/questions/20159269/lazily-tying-the-knot-for-1-dim… 44. http://stackoverflow.com/questions/20411148/what-does-clojure-borrow-from-h… 45. http://stackoverflow.com/questions/19961941/meaning-of-in-do-block-in-haske… 46. http://stackoverflow.com/questions/20342860/why-is-function-composition-in-… 47. http://stackoverflow.com/questions/20066858/is-there-a-library-or-typeclass… 48. http://stackoverflow.com/questions/20309501/how-to-implement-b-tree-in-hask… 49. http://stackoverflow.com/questions/20318936/delimiting-the-io-monad 50. https://plus.google.com/105107667630152149014/about

1 0

PADL 2014: Call for Participation
by Matthew Flatt 10 Dec '13

10 Dec '13

CALL FOR PARTICIPATION Sixteenth Symposium on Practical Aspects of Declarative Languages 2014 (PADL'14) http://www.ist.unomaha.edu/padl2014/ San Diego, CA, USA January 20-21, 2014 Co-located with ACM POPL'14 You are cordially invited to the Fifteenth International Symposium on Practical Aspects of Declarative Languages that will be held on January 20-21, 2014 (right before POPL). The conference will present accepted papers spanning a range of topics related to logic and functional programming, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation. The conference program also includes invited talks by Molham Aref of LogicBlox and David Walker of Princeton, and a tutorial on minKanren by Daniel P. Friedman of Indiana University and William E. Byrd of the University of Utah. Please note that the deadline for early registration is fast approaching (Dec 31). You can register by visiting https://regmaster3.com/2014conf/POPL14/register.php PADL 2014 Program ------------------------------------------------------------------------ Invited Speaker I (9:00-10:00) Molham Aref: "Declarative Programming for the Cloud" break Languages (10:30-12:00) Kc Sivaramakrishnan, Lukasz Ziarek and Suresh Jagannathan: "Rx-CML: A Prescription for Safely Relaxing Synchrony" Thomas Winant, Dominique Devriese, Frank Piessens and Tom Schrijvers: "Partial Type Signatures for Haskell" Tomas Petricek and Don Syme: "The F# Computation Expressions Zoo" Lunch >From Models to Implementations (13:30-15:00) Yuliya Lierler and Mirek Truszczynski: "Abstract Modular Inference Systems and Solvers" Andy Gill and Jan Bracker: "Sunroof: A Monadic DSL for Generating JavaScript" Matthew R. Lakin and Andrew Phillips: "Compiling DNA strand displacement reactions using a functional programming language" break Applications (15:30-17:00) Tran Cao Son, Enrico Pontelli and Tiep Le: "Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems" Ari Saptawijaya and Luís Moniz Pereira: "Towards Modeling Morality Computationally with Logic Programming" Paul Tarau: "A Declarative Specification of Giant Number Arithmetic" ------------------------------------------------------------------------ Invited Speaker II (9:00-10:00) David Walker: "The Frenetic Project: Declarative Languages for Programming Networks" break Parallelism (10:30-12:00) Robert Clifton-Everest, Trevor L. Mcdonell, Manuel Chakravarty and Gabriele Keller: "Embedding Foreign Code" Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli: "Exploring the Use of GPUs in Constraint Solving" Miguel Areias and Ricardo Rocha: "On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs" Lunch Modularity and Extensibility (13:30-15:00) Martin Elsman and Anders Schack-Nielsen: "Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces" Jacco O. G. Krijnen, Doaitse Swierstra and Marcos O. Viera: "Expand: Towards an extendible Pandoc system" José Pedro Magalhães and Andres Löh: "Generic Generic Programming" break Invited Tutorial (15:30-17:00) Daniel P. Friedman and William E. Byrd: "miniKanren Tutorial" ------------------------------------------------------------------------

1 0

CFP: The Future of Programming & Inaugural Speech Eelco Visser | TU Delft | 16, 17 Jan 2014
by Eelco Visser 09 Dec '13

09 Dec '13

--------------------------------------------------------- Invitation to attend the symposium on The Future of Programming followed by the inaugural speech of Eelco Visser TU Delft, 16 and 17 January 2014 --------------------------------------------------------- Register now at http://eelcovisser.org/wiki/future-of-programming Registration includes lunch and is free, but seating is limited --------------------------------------------------------- ## Symposium Software systems are the engines of modern information society. Our ability to cope with the increasing complexity of software systems is limited by the programming languages we use to build them. Bridging the gap between domain concepts and the implementation of these concepts in a programming language is one of the core challenges of software engineering. Modern programming languages have considerably reduced this gap, but often still require low-level programmatic encodings of domain concepts. On Thursday January 16 and Friday January 17, 2014, TU Delft hosts a symposium on the future of programming, which will provide an overview of the challenges in software development and programming languages and visions to their solution from different angles by a line-up of distinguished national and international speakers from academia and industry. The symposium is followed by the inaugural speech of Eelco Visser on the occasion of his appointment as Antoni van Leeuwenhoek Professor at TU Delft. ## Speakers The following distinguished speakers have confirmed their participation: * Arie van Deursen (TU Delft): On software changes, large and small. Versioning in the Maven ecosystem * Brandon Hill (Oracle Labs): DSL engineering in industry (Spoofax at Oracle Labs) * Erik Meijer (TU Delft/Applied Duality): Reactive programming * Guido Wachsmuth (TU Delft): Meta-languages for language design (name binding, type systems, semantics) * Harry Buhrman (UvA/CWI): Programming quantum computers * John Hughes (Chalmers): The future of testing * Manuel Serrano (INRIA): From PCs to tablets: Programming the diffuse Web * Markus Püschel (ETH): Teaching computers to write fast libraries * Markus Völter (Itemis): mbeddr: Extensible languages for embedded software engineering * Sebastian Erdweg (TU Darmstadt): Library-based language extensions in SugarJ * Stefan Hanenberg (U. Duisburg): Empirical evaluation of programming language constructs * Tiark Rompf (EPFL): Lightweight modular staging ## Inaugural Speech Eelco Visser The symposium is followed by Eelco Visser's inaugural speech "Programming Languages shape Computational Thinking" on January 17, 2014 at 15:00 in the TU Delft Aula. ## Registration More information and registration at http://eelcovisser.org/wiki/future-of-programming -- Eelco Visser Professor of Computer Science at Delft University of Technology Email: e.visser(a)tudelft.nl Web: http://eelcovisser.org

1 0

Call for Participation PEPM 2014 (co-located with POPL 2014)
by Jurriaan Hage 09 Dec '13

09 Dec '13

Dear all, Note the presence of Haskell papers in the program. Hope to see many of you there. best, Jur (co-chair of PEPM 2014) =========== PEPM 2014 =============== ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM14 January 20-21, 2014 San Diego, CA, USA (Affiliated with POPL 2014) CALL FOR PARTICIPATION IMPORTANT DATES * Hotel reservation deadline: December 21, 2013 * Early registration deadline: December 31, 2013 VENUE PEPM'14 and all POPL'14 affiliated events will take place at the US Grant in San Diego, CA, USA. 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. INVITED TALKS: * Manuel Fahndrich (Microsoft Research, USA) on Lessons from a Web-Based IDE and Runtime * Sven-Bodo Scholz (Heriott-Watt University, Scotland) on Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system) PROGRAM CHAIRS Wei Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) PROGRAM COMMITTEE Evelyne Contejean (LRI, CNRS, Université Paris-Sud, France) Cristina David (University of Oxford, UK) Alain Frisch (LexiFi, France) Ronald Garcia (University of British Columbia, Canada) Zhenjiang Hu (National Institute of Informatics, Japan) Paul H J Kelly (Imperial College, UK) Oleg Kiselyov (Monterey, USA) Naoki Kobayashi (University of Tokyo, Japan) Jens Krinke (University College London, UK) Ryan Newton (University of Indiana, USA) Alberto Pardo (Universidad de la República, Uruguay) Sungwoo Park (Pohang University of Science and Technology, South Korea) Tiark Rompf (Oracle Labs & EPFL, Switzerland) Sukyoung Ryu (KAIST, South Korea) Kostis Sagonas (Uppsala University, Sweden) Max Schaefer (Nanyang Technological University, Singapore) Harald Søndergaard (The University of Melbourne, Australia) Eijiro Sumii (Tohoku University, Japan) Eric Van Wyk (University of Minnesota, USA) Jeremy Yallop (University of Cambridge, UK) PRELIMINARY PROGRAM DAY 1: Monday, January 20th, 2014 ================================== 09:00 - 10:00 Invited Talk =========================== Lessons from a Web-Based IDE and Runtime Manuel Fahndrich 10:30 - 12:00 Meta-Programming ------------------------------- Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan Effective Quotation James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler Compile-time Reflection and Metaprogramming for Java Weiyu Miao, Jeremy Siek 14:00 - 15:25 Bidirectional Transformations -------------------------------------------- Monadic Combinators for "Putback" Style Bidirectional Programming Hugo Pacheco, Zhenjiang Hu and Sebastian Fischer Semantic Bidirectionalization Revisited Meng Wang and Shayan Najd Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules Pedro Martins, Joao Paulo Fernandes, Joao Saraiva and Eric Van Wyk 16:00 - 17:00 Static Analysis and Optimization ----------------------------------------------- Optimizing SYB is Easy! Michael D. Adams, Andrew Farmer, Jose Pedro Magalhaes: QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi ================================= DAY 2: Tuesday, January 21, 2014 ================================= 09:00 - 10:00 Invited Talk --------------------------- Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system) Sven-Bodo Scholz 10:30 - 12:00 Program Transformation -------------------------------------- The HERMIT in the Stream Andrew Farmer, Christian Hoener Zu Siederdissen, Andy Gill Type-Changing Rewriting and Semantics-Preserving Transformation Sean Leather, Johan Jeuring, Andres Loeh, Bram Schuur An Operational Semantics for Android Activities Etienne Payet, Fausto Spoto 14:00 - 15:30 Type Systems ---------------------------- Early Detection of Type Errors in C++ Templates Sheng Chen, Martin Erwig Lazy Stateless Incremental Evaluation Machinery for Attribute Grammars Jeroen Bransen, Atze Dijkstra, Doaitse Swierstra Deriving Interpretations of the Gradually-Typed Lambda Calculus. Alvaro Garcia-Perez, Pablo Nogueira, Ilya Sergey 16:00 - 17:20 Program Analysis/Testing ---------------------------------------- Automating Property-based Testing of Evolving Web Services Huiqing Li, Simon Thompson, Pablo Lamela Seijas, Miguel Angel Francisco A Modular and Generic Analysis Server System for Functional Logic Programs Michael Hanus, Fabian Skrlac HIPimm: Verifying Granular Immutability Guarantees Andreea Costea, Asankhaya Sharma, Cristina David

1 0