November 2009 - Haskell

Re: [Haskell-cafe] ANNOUNCE: gnome-keyring 0.1 (bindings to libgnome-keyring)
by John Millikin 20 Nov '09

20 Nov '09

For those interested, I've just released 0.2 -- no new features, but it's got a slightly cleaner API. Fewer modules, proper datetime types, and a few more documentation entries. And the innards are sane now. https://dl.dropbox.com/u/1947532/gnome-keyring_0.2/index.html http://hackage.haskell.org/package/gnome-keyring

1 0

Re: [Haskell] ANNOUNCE: qtHaskell-1.1.3
by Jens Petersen 19 Nov '09

19 Nov '09

>> If I parsed right this is for qt3 - any plans for qt4? :-) > > actually the version number of qtHaskell has nothing to do with the version > of Qt it works with. QtHaskell has always worked with Qt version 4 (and > never with Qt version 3). See the UserGuide for details. > > With Best Wishes from > David Harley Thank you - guess I was getting confused with the references to qmake: today ./build seems to work just fine for me on Fedore 12-prerelease.

1 1

Call for Participation - PEPM'10 (co-located with POPL'10)
by voigt＠tcs.inf.tu-dresden.de 18 Nov '09

18 Nov '09

=============================================================== CALL FOR PARTICIPATION ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) Madrid, January 18-19, 2010 (Affiliated with POPL'10) http://www.program-transformation.org/PEPM10 =============================================================== Abstracts of all papers and presentations are available from the above web site. INVITED TALKS: * Lennart Augustsson (Standard Chartered Bank, UK) Title: O, Partial Evaluator, Where Art Thou? * Jeremy Siek (University of Colorado at Boulder, USA) Title: General Purpose Languages Should be Metalanguages. CONTRIBUTED TALKS: * Nabil el Boustani and Jurriaan Hage. Corrective Hints for Type Incorrect Generic Java Programs. * Johannes Rudolph and Peter Thiemann. Mnemonics: Type-safe Bytecode Generation at Run Time. * Elvira Albert, Miguel Gomez-Zamalloa and German Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. * Martin Hofmann. Igor2 - an Analytical Inductive Functional Programming System. * José Pedro Magalhães, Stefan Holdermans, Johan Jeuring and Andres Löh. Optimizing Generics Is Easy! * Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT. * Hugh Anderson and Siau-Cheng KHOO. Regular Approximation and Bounded Domains for Size-Change Termination. * Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons and Xavier Urbain. A3PAT, an Approach for Certified Automated Termination Proofs. * Fritz Henglein. Optimizing Relational Algebra Operations Using Generic Equivalence Discriminators and Lazy Products. * Adrian Riesco and Juan Rodriguez-Hortala. Programming with Singular and Plural Non-deterministic Functions. * Martin Hofmann and Emanuel Kitzelmann. I/O Guided Detection of List Catamorphisms. * Andrew Moss and Dan Page. Bridging the Gap Between Symbolic and Efficient AES Implementations. * Christopher Brown and Simon Thompson. Clone Detection and Elimination for Haskell. * Stefan Holdermans and Jurriaan Hage. Making Stricterness More Relevant. * Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero Júnior. Context-Sensitive Analysis of Obfuscated x86 Executables. * Xin Li and Mizuhito Ogawa. Conditional Weighted Pushdown Systems and Applications. * Ivan Lazar Miljenovic. The SourceGraph Program. * Florian Haftmann. From Higher-Order Logic to Haskell: There and Back Again. SPECIAL FEATURE: * Andy Gill, Garrin Kimmell and Kevin Matlage. Capturing Functions and Catching Satellites. IMPORTANT DATES: * Early registration deadline: December 22, 2009 * Hotel registration deadline: December 28, 2009

1 0

Reminder: Fun in the afternoon, MSR Cambridge, 26 Nov
by Simon Marlow 18 Nov '09

18 Nov '09

One final reminder: Fun in the Afternoon is being held at MSR Cambridge on 26 November (a week on Thursday). Details are on the web http://sneezy.cs.nott.ac.uk/fun/ If you want to come and haven't signed up yet, please email msrcevnt(a)microsoft.com with your name and affiliation. Directions can be found here: http://research.microsoft.com/en-us/labs/cambridge/visit.aspx Parking is available: please use the car park at the rear of the building. Feel free to turn up any time from 12 onwards, there are various options for getting lunch locally, and there is space to hang out near the lecture room until we start at 1pm. Cheers, Simon

1 0

ICFP '10: Second call for workshop proposals
by Wouter Swierstra 18 Nov '09

18 Nov '09

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2010 15th ACM SIGPLAN International Conference on Functional Programming September 27 - 29, 2010 Baltimore, Maryland http://www.icfpconference.org/icfp2010 The 15th ACM SIGPLAN International Conference on Functional Programming will be held in Baltimore, Maryland on September 27-29, 2010. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2010 and sponsored by SIGPLAN. These events should be more informal and focused than ICFP itself, include sessions that enable interaction among the attendees, and be fairly low-cost. The preference is for one-day events, but other schedules can also be considered. ---------------------------------------------------------------------- Submission details Deadline for submission: November 20, 2009 Notification of acceptance: December 18, 2009 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2010 workshop co-chairs (Derek Dreyer and Chris Stone), via email to icfp10-workshops at mpi-sws.org by November 20, 2009. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 18, 2009, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2010/icfp10-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://acm.org/sigplan/sigplan_workshop_proposal.htm ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2010 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Derek Dreyer (MPI-SWS) Workshop Co-Chair: Chris Stone (Harvey Mudd College) General Chair: Paul Hudak (Yale University) Program Chair: Stephanie Weirich (University of Pennsylvania) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Derek Dreyer and Chris Stone), via email to icfp10-workshops at mpi-sws.org.

1 0

job at the University of Technology in Cottbus
by Wolfgang Jeltsch 17 Nov '09

17 Nov '09

Hello, the Programming Languages and Compiler Construction Group at the University of Technology in Cottbus, Germany is seeking for a research and teaching assistent. Our focus is on declarative programming languages, so people with a strong background in functional programming might be especially interested in this position. The full announcement (in German) is at <http://tinyurl.com/btu-pscb-job-2009>. Best wishes, Wolfgang

1 0

Scottish Category Theory Seminar
by Conor McBride 17 Nov '09

17 Nov '09

******************************************************************** *** Scottish Category Theory Seminar *** First Meeting *** Friday 27 November 2009, 2pm *** University of Glasgow, Scotland ******************************************************************** Dear All, We are pleased to announce the first meeting of the Scottish Category Theory Seminar which will be a forum for discussion of all aspects of category they, be they straight category theory or applications to computer science or physics etc. We envisage meeting for an afternoon once every few months, at some congenial location in Scotland. Talks by Scots and by visitors are welcome. Please contact us if you would like to host a meeting or give a talk. Meetings are open, and all are welcome to attend. The first meeting will take on Friday 27 November at the University of Glasgow at 2pm. At the first meeting, we are pleased to announce the following invited speakers * Martin Hyland, Universty of Cambridge * Nicola Gambino, University of Palermo * Alexander Kurz, University of Leicester * Willem Bernard Heijltjes, University of Edinburgh This meeting will receive financial support from the Complex Systems Engineering theme of SICSA, the Scottish Informatics and Computer Science Alliance and from the Department of Mathematics at the University of Glasgow. More details can be found at http://personal.cis.strath.ac.uk/~ng/sct.html If you wish to attend, or want more information about the Scottish Category Theory Seminar, please email scotcats(a)cis.strath.ac.uk Neil Ghani Tom Leinster Alex Simpson

1 0

ANNOUNCE: gnome-keyring 0.1 (bindings to libgnome-keyring)
by John Millikin 17 Nov '09

17 Nov '09

The GNOME Keyring is a service for securely storing per-user secret information, such as passwords and encryption keys, on the GNOME desktop. This library is a binding to the libgnome-keyring C library. The API is still a bit too slave-ish to the original for my taste, some modules will be changing/merging in the next version. The innards are an absolute horror -- don't look too close if you're one of those people who faint at rampant unsafe casting. That said, it works surprisingly well for a first-release FFI binding -- mostly due to the excellent design of libgnome-keyring and c2hs. So if any Linux/BSD/OpenSolaris/etc users have needed secure password storage in Haskell, please try it out and let me know if you encounter any problems. Download: http://hackage.haskell.org/package/gnome-keyring/ API docs (copy of original library docs): https://dl.dropbox.com/u/1947532/gnome-keyring_0.1/index.html

1 0

ANNOUNCE: New Industrial Haskell Group membership options
by Duncan Coutts 16 Nov '09

16 Nov '09

The Industrial Haskell Group (IHG) is an organisation to support the needs of commercial users of the Haskell programming language. The second round of the IHG's collaborative development scheme will be running for 6 months from January. We are now inviting additional companies to take part. This scheme is ideal for companies that make significant use of Haskell and wish to fund specific projects. Additionally, there are new associate and academic membership options. These enable companies and academic groups to support the general health of the Haskell development platform, but with a lower financial commitment. For more details on all of the above, please see http://industry.haskell.org/ If your company or group is interested in joining then please e-mail info(a)industry.haskell.org -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0

Haskell Weekly News: Issue 139 - November 14, 2009
by jfredett＠gmail.com 14 Nov '09

14 Nov '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20091114 Issue 139 - November 14, 2009 --------------------------------------------------------------------------- Welcome to issue 139 of HWN, a newsletter covering developments in the [1]Haskell community. Lots of good discussion this week about everything from Monoids to Memory Leaks, Parsers (for Token Streams) and pushing Haskell onto Medical devices! I could go on some long rant rife with really righteous alliteration or a touch of timely consonance, but instead I'll leave you all, my fellow Haskellers, to read your Haskell Weekly News! Announcements Two Open PhD positions at the Technical University Munich. Axel Simon [2]announced two PhD positions are open in Low-level and High-level analysis, see the post for details. (ED: Apologies for being so late in this announcment, it slipped under my radar! ) Final CFP: WFLP 2010. Deadlines extended: Abstract due Nov 18; Full paper due Nov 25 (LNCS). Pablo Nogueira [3]announced a deadline extension for the WLFP 2010 conference, abstracts are now due November 18, and full papers by the 25th. hesql. Christoph Bauer [4]announced hesql, a preprocessor for writing SQL statements in pure haskell. dbus-core 0.6 and dbus-client 0.2. John Millikin [5]announced the second release of his dbus libraries. Changes include performance improvments, better support for byte arrays, and TCP/IP transport (though this remains untested). simple-observer-0.0.1, a simple implementation of the observer design pattern. Andy Gimblett [6]announced an implementation of the Observer pattern in Haskell ICFP 2010: Call for papers. Wouter Swierstra [7]announced a call for papers for ICFP 2010. Calling all Haskellers in Huntsville, Alabama, or surrounding areas! Jake McArthur [8]announced the formation of a new Haskell User Group in Alabama. (ED: Apparently, Shae is the Johnny Appleseed for the Haskell Community, #haskell, BAHUG, now AHUG... when will it end? ) acme-dont. Gracjan Polak [9]announced the acme-dont package, providing a vital missed feature to our language -- a don't monad. See the post for all the revolutionary details. Discussion Could someone teach me why we use Data.Monoid? Magicloud Magiclouds [10]1fa7 gmane.comp.lang.haskell.cafe/66223 asked why we use monoids so much in Haskell. Least common supertype. Sean Leather [11]posed an interesting question about 'antiunification' -- finding a common supertype of two types which is 'most-constrained'. Long running Haskell program. David Leimbach [12]asked about managing memory leaks in long running programs. Parsec - separating Parsing from Lexing. Fernando Henrique Sanches [13]asked about using Parsec to parse a Token Stream. Help Haskell driving Medical Instruments. Philippos Apolinarius [14]talked about using Haskell to drive medical instruments. Blog noise [15]Haskell news from the [16]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Neil Brown: [17]The Observer Pattern using a Broadcast Channel. * Martijn van Steenbergen: [18]GADTs in Haskell 98. * Mikael Vejdemo Johansson (Syzygy-): [19][MATH198] Multiple lectures posted. * Andy Gill: [20]LAMBDA this week â ChalkBoard. * London Haskell Users Group: [21]Functional Programming Exchange. * Neil Brown: [22]The Observer Pattern using a Message-Passing Process. * Luke Plant: [23]Is static type checking a redundant testing mechanism?. * Twan van Laarhoven: [24]Four ways to fold an array. * Martin Sulzmann: [25]Tag-free Combinators for Binding-Time Polymorphic Program Generation. * Luke Palmer: [26]Collision Detection with Enneatrees. * Dan Piponi (sigfpe): [27]Memoizing Polymorphic Functions with High School Algebra and Quantifiers. * Luke Plant: [28]Haskell blog software. Quotes of the Week * c2.com: If you can program anything in HappS you actually already learned Haskell * Cale: Chew new Lasty ST Gum! It lasts until _|_! * danderson: [using unsafeFreeze for an ST action] that sounds like a way to shoot myself in the foot with high efficiency, given my knowledge of haskell. * BONUS: C++ is saner than something? imo C++ is like the guy that goes around shouting "I am napoleon!!!" * kmc:: (): worst monoid ever * DanWeston: Bottom has only one value, not two. Otherwise bottom would have been called buttocks. About the Haskell Weekly News New editions are posted to [29]the Haskell mailing list as well as to [30]the Haskell Sequence and [31]Planet Haskell. [32]RSS is also available, and headlines appear on [33]haskell.org. To help create new editions of this newsletter, please see the information on [34]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [35]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://www.mail-archive.com/haskell@haskell.org/msg22432.html 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66215 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66184 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66110 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66103 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66021 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/66018 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65958 10. http://thread.gmane.org/ 11. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66080 12. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66056 13. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/66012 14. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/65996 15. http://planet.haskell.org/ 16. http://haskell.org/haskellwiki/Blog_articles 17. http://chplib.wordpress.com/2009/11/12/the-observer-pattern-using-a-broadca… 18. http://martijn.van.steenbergen.nl/journal/2009/11/12/gadts-in-haskell-98/ 19. http://blog.mikael.johanssons.org/archive/2009/11/math198-multiple-lectures… 20. http://www.ittc.ku.edu/csdlblog/?p=16 21. http://www.londonhug.net/2009/11/10/functional-programming-exchange/ 22. http://chplib.wordpress.com/2009/11/10/the-observer-pattern-using-a-message… 23. http://lukeplant.me.uk/blog/posts/is-static-type-checking-a-redundant-testi… 24. http://twan.home.fmf.nl/blog/haskell/four-ways-to-fold.details 25. http://sulzmann.blogspot.com/2009/11/tag-free-combinators-for-binding-time.… 26. http://lukepalmer.wordpress.com/2009/11/08/collision-detection-with-enneatr… 27. http://blog.sigfpe.com/2009/11/memoizing-polymorphic-functions-with.html 28. http://lukeplant.me.uk/blog/posts/haskell-blog-software/ 29. http://www.haskell.org/mailman/listinfo/haskell 30. http://sequence.complete.org/ 31. http://planet.haskell.org/ 32. http://sequence.complete.org/node/feed 33. http://haskell.org/ 34. http://haskell.org/haskellwiki/HWN 35. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

1 0