- Haskell - Haskell.org

Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy
by Dominic Duggan 17 Dec '13

17 Dec '13

Stevens Institute of Technology Department of Computer Science has an open position for a Postdoctoral Researcher in the fields of domain-specific languages, security and privacy, and mobile technologies for health information systems in Low and Middle Income Countries (LMIC). The MEDDC project (Mobile eHealthcare Delivery for Developing Countries) is a NIH and NSF-funded project that is developing and deploying tools for data collection and healthcare management in LMIC. It is affiliated with Central Africa IEDEA (International Epidemiological Databases to Evaluate AIDS), one of several NIH-funded projects that are engaged in data collection and analysis as part of the fight against the HIV/AIDS pandemic. The project has developed tools for producing data collection systems from declarative specifications. Some of the work to be done will involve adapting ideas from statistical and functional programming languages, to pursue a domain-specific language approach to developing local capacity for data analysis. This work should eventually integrate with the HICDEP data standard that IEDEA has adopted for exchange of health data between IEDEA projects. This effort has a significant software development component. Although the IEDEA project employs full-time software developers to support data collection, this research work also includes software deliverables, as described. The development language is Java, but the applicant will preferably also have experience with, and enthusiasm for, functional programming languages such as Haskell and some of its domain-specific derivatives. Research opportunities include the adaptation of concepts from functional programming languages to build local capacity for medical and epidemiological analysis in LMIC, as well as the investigation of security and privacy issues in this domain. For further information, please contact Professor Dominic Duggan ( dduggan(a)stevens.edu, dd(a)dominicduggan.org) Applications for the position should be submitted via this Web site: https://www2.apply2jobs.com/Stevens/ProfExt/index.cfm?fuseaction=mExternal.… Applicants for the position should also forward a copy of their application to Prof. Duggan, at the emails above. Job requirements: - PhD (or equivalent degree) in topics related to domain-specific languages, security and privacy, and mobile technologies. - Excellent Java programming skills. - Preferably a strong functional programming background. - Commitment to doing high-quality research. - Oral and written proficiency in English. -- Dominic Duggan Associate Professor, Computer Science Stevens Institute of Technology Hoboken, NJ 07030. Telephone: (201) 216-8042 Email: dduggan(a)stevens.edu Web: http://www.dominicduggan.org

1 0

10 PhD studentships in Nottingham
by Graham Hutton 16 Dec '13

16 Dec '13

Dear all, The School of Computer Science in Nottingham is advertising 10 fully-funded PhD studentships. Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Thorsten Altenkirch - constructive logic, proof assistants, type theory, category theory, lambda calculus, quantum computing. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Graham Hutton - program construction and verification, category theory, recursion operators, coinductive types. Henrik Nilsson - functional reactive programming, modelling and simulation languages, domain-specific languages. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK Applications are invited for up to ten fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2014. The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Agents Lab; Automated Scheduling, Optimisation and Planning; Computer Vision Lab; Functional Programming Lab; Intelligent Modelling and Analysis; Mixed Reality Lab; Networked Systems. The studentships are for three years and include a stipend of £13,726 per year and tuition fees, and are available to students of any nationality. Applicants are normally expected to have a first-class Undergraduate or Masters degree in Computer Science or a related discipline, and should discuss their interest and obtain the support of a potential supervisor in the School before applying. To apply, please submit the following items by email to <Christine.Fletcher(a)nottingham.ac.uk>: (1) a brief covering letter that describes your reasons for wishing to pursue a PhD, any ideas you have regarding possible areas or topics, and the name of a potential supervisor; (2) a copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (3) an example of your technical writing, such as a project report or dissertation; (4) contact details for two academic referees. Closing date for applications: 10th January 2014 +-----------------------------------------------------------+ -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

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