October 2009 - Haskell

ANNOUNCE: vty-ui 0.2
by Jonathan Daugherty 08 Oct '09

08 Oct '09

I'm happy to announce the release of vty-ui 0.2. Get it from Hackage: http://hackage.haskell.org/package/vty-ui Or get the source with darcs: http://repos.codevine.org/vty-ui This version of vty-ui is everything you hoped it would be: fewer bugs, more widget types, cleaner code, better abstractions, and more generality. If you've written any applications to use vty-ui, only a few of your type signatures will need to change. Here's a summary of changes: General * Unify HBorder and VBorder types (now called Border) * Unify HFill and VFill types (now called Fill) * Unify HBox and VBox types (now called Box) * Box layout: layout documentation, edge case bug fixes * Widget class: refactor growthPolicy into growHorizontal and growVertical * Add Graphics.Vty.Widgets.Composed for high-level widget compositions * Add Graphics.Vty.Widgets.All convenience module to export everything in the library Lists * List items may now be of any widget type! * Add resize, pageUp, pageDown, scrollBy functions and expose other list functionality * Generalize scrolling API * Add convenience API for using lists of Text widgets * Support internal identifiers for list items * Always consume scrollWindowSize lines of space even if the list is smaller New widgets * WrappedText: automatically wraps text in available space; try resizing the demo. * Borders module: one-row/one-column ASCII borders between boxed widgets; ASCII art box container * Demo: use crazy boxed list items to show off border boxes and generic widget support in Lists! * Demo: support PageUp/PageDown to demonstrate List paging API Enjoy! -- Jonathan Daugherty

1 0

ANNOUNCE: Graphalyze-0.8.0.0 and SourceGraph-0.5.5.0
by Ivan Lazar Miljenovic 06 Oct '09

06 Oct '09

To keep Joe Fredette happy [1] this time, I've combined these two announcements into one. [1] http://sequence.complete.org/hwn/20091003 I'm pleased to announce the latest versions of Graphalyze [2] and SourceGraph [3]. The only change to Graphalyze has been the addition of Legend support (which necessitated a slight change in the data structures used, hence the large version bump) but SourceGraph contains more substantial changes. [2] http://hackage.haskell.org/package/Graphalyze-0.8.0.0 [3] http://hackage.haskell.org/package/SourceGraph-0.5.5.0 Changes to SourceGraph include: * A legend so that you know what all the fancy symbols, etc. actually mean. * Class instances now drawn correctly. * Better colour support. * Clean up printing of cliques, etc. I've also put some sample SourceGraph reports online at http://code.haskell.org/~ivanm/Sample_SourceGraph/SampleReports.html so that you can see what kind of results it produces. Enjoy! -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

2 1

Re: [HOpenGL] RE: [Haskell] ANNOUNCE: GPipe-1.0.0: A functional graphics API for programmable GPUs
by Jake McArthur 06 Oct '09

06 Oct '09

Hugo Gomes wrote: > great... > > now, how do i use glfw with it ? :) Yeah, I was disappointed to see that the only toolkit it works with when rendering to a window is GLUT. I want to run my own event loop, dangit! - Jake

2 3

CfPart: FMICS 2009, 2-3 November 2009, Final Call
by FMICS 2009 workshop chair 06 Oct '09

06 Oct '09

FMICS 2009 - FINAL CALL FOR PARTICIPATION Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * part of the first FMweek * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ * ** NEWS ** * * * * >> Final programme * * * * >> Normal registration before October 19 * * * * >> Springer LNCS 5825 proceedings * * * ************************************************************ FMICS 2009 is the fourteenth in a series of International Workshop on Formal Methods for Industrial Critical Systems. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim (June 2003), Linz (September 2004), Lisbon (September 2005), Bonn (August 2006), Berlin (July 2007), and L'Aquila (September 2008). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. Complete and up to date information can be found at the event website http://users.dsic.upv.es/workshops/fmics2009/. FMICS 2009 is part of the 1st FMweek (Formal Methods week, http://www.win.tue.nl/fmweek/) which brings together 10 international scientific events, 6 project and working group meetings, and a variety of other activities in the area. Further information about the FMICS working group and the next FMICS workshop can be found at: http://www.inrialpes.fr/vasy/fmics. INVITED SPEAKERS ---------------- Dino Distefano Queen Mary, University of London, UK Diego Latella CNR/ISTI, Italy Thierry Lecomte ClearSy, France Ken McMillan Cadence Berkeley Labs, USA Following a tradition established over the past few years, the European Association of Software Science and Technology (EASST) will offer an award to the best FMICS paper. PROGRAM CHAIRS -------------- Maria Alpuente Technical University of Valencia, Spain Byron Cook Microsoft Research, UK WORKSHOP CHAIR -------------- Christophe Joubert Technical University of Valencia, Spain VENUE ----- The venue for FMICS 2009 is the Auditorium of Eindhoven University of Technology. The university campus lies in the centre of Eindhoven, within walking distance of conference hotels. The city itself can easily be reached via both its own airport and Schiphol (the Dutch mainport). REGISTRATION ------------ The event website provides a one-stop window where participants can register to FMICS 2009 and to any combination of FMweek events they would like to participate in, and make hotel reservation for their stay in Eindhoven. ************************************************************ * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | FMICS | FM2009 | REFINE | * * +--------------------------------------------+ * * | PDMC | TESTCOM/FATES | * * +--------------------------------------------+ * * | FACS | CPA | FAST | FMCO | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * ************************************************************

1 0

ICFP videos now available
by Wouter Swierstra 05 Oct '09

05 Oct '09

I am happy to announce that videos of all talks at ICFP and some of the associated workshops this year have made available online: http://www.vimeo.com/user2191865/albums I'm sure you'll join me in thanking Malcolm Wallace for the time and effort he put into making this possible. Thank you Malcolm! Wouter

1 0

ANNOUNCE: GPipe-1.0.0: A functional graphics API for programmable GPUs
by Tobias Bexelius 05 Oct '09

05 Oct '09

I'm proud to announce the first release of GPipe-1.0.0: A functional graphics API for programmable GPUs. GPipe models the entire graphics pipeline in a purely functional, immutable and typesafe way. It is built on top of the programmable pipeline (i.e. non-fixed function) of OpenGL 2.1 and uses features such as vertex buffer objects (VBO's), texture objects and GLSL shader code synthetisation to create fast graphics programs. Buffers, textures and shaders are cached internally to ensure fast framerate, and GPipe is also capable of managing multiple windows and contexts. By creating your own instances of GPipes classes, it's possible to use additional datatypes on the GPU. You'll need full OpenGL 2.1 support, including GLSL 1.20 to use GPipe. Thanks to OpenGLRaw, you may still build GPipe programs on machines lacking this support. The package, including full documentation, can be found at: http://hackage.haskell.org/package/GPipe-1.0.0 Of course, you may also install it with: cabal install gpipe Cheers! Tobias Bexelius _________________________________________________________________ Hitta kärleken nu i vår! http://dejting.se.msn.com/channel/index.aspx?trackingid=1002952

4 5

Haskell Weekly News
by Joe Fredette 03 Oct '09

03 Oct '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20091003 Issue 134 - October 03, 2009 --------------------------------------------------------------------------- Welcome to issue 134 of HWN, a newsletter covering developments in the [1]Haskell community. I have a nasty sinus infection this week, so we're somewhat light on content. Lots of good discussion about DSL related stuff this week. Bryan O'Sullivan also release 'Criterion' this week, a new benchmarking library that Don Stewart described (on reddit) as 'awesome and game changing.' A new TMR editor -- someone familiar -- was announced. Also, there was some talk about homework policies on the mailinglists and in the irc channels. There is a [2]page on the Haskell wiki about this, but to sum it up in a maxim, remember, 'Help, don't do'. Until next week, the Haskell Weekly News! Announcements New TMR editor. Wouter Swierstra [3]announced that he would be stepping down from the editorship of 'The Monad Reader', with former HWN editor Brent Yorgey taking his place. Much thanks for Wouter's hard work and good luck to Brent on his new editor job! SourceGraph 0.5.{0,1,2}.0. Ivan Lazar Miljenovic [4]announced three new releases of the SourceGraph packages, this links to the latest release. json-b-0.0.4. Jason Dusek [5]announced a new version of the json-b package, which fixes defective handling of empty objects and arrays. rss2irc 0.4 released. Simon Michael [6]announced a new release of rss2irc, with many new improvements and features. vty-ui 0.1. Jonathan Daugherty [7]announced vty-ui, which is an extensible library of user interface widgets for composing and laying out Vty user interfaces. atom-0.1.1. Tom Hawkins [8]announced Atom, a Haskell DSL for designing hard real-time embedded applications. Graphalyze-0.7.0.0. Ivan Lazar Miljenovic [9]announced (in an apparent effort to take over hackage by submitting dozens of quality packages at absurdly high speed), Graphalyze, a library for using graph-theoretic techniques to analyse the relationships inherent within discrete data. Criterion. Bryan O'Sullivan [10]announced (without tacking on an 'ANN' tag, I might add, I almost missed it!) Criterion, a benchmarking library he describes [11]here. ListTree 0.1. yairchu(a)gmail.com [12]announced ListTree, a package for combinatorial search and pruning of trees. usb-0.1. Bas van Dijk [13]announced a library for interacting with usb modules from userspace. (Deadline extended to October 5th) APLAS 2009 Call for Posters. Kiminori Matsuzaki [14]announced a deadline extension to the call for posters for the APLAS conference. graphviz-2999.6.0.0. Ivan Lazar Miljenovic [15]announced a new version of the graphviz library, which features various new features and small changes. Discussion Testing polymorphic properties with QuickCheck. Jean-Philippe Bernardy [16]gave an excellent overview about how to use QuickCheck to test polymorphic properties. Designing a DSL? Gunther Schmidt [17]asked about different methods employed for designing a DSL. DSL and GUI Toolkits. Gunther Schmidt [18]also asked about different DSLs for working with GUIs error on "--++ bla bla bla". Hong Yang [19]asked about why '--++' wasn't being parsed in the way he thought it was. Haskell for Physicists. edgar [20]requested name suggestions for the talk he is giving about Physics and Haskell. Blog noise [21]Haskell news from the [22]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Sean Leather: [23]'Extensibility and type safety in formatting: the design of xformat' at the Dutch HUG. * Martijn van Steenbergen: [24]let 5 = 6. * Lee Pike: [25]Writer's unblock. * Manuel M T Chakravarty: [26]NVIDIAs next generation GPU architecture has a lot for HPC to love. * David Amos: [27]Finite geometries, part 4: Lines in PG(n,Fq). * Bryan O'Sullivan: [28]New criterion release works on Macs. * Neil Brown: [29]Poison: Concurrent Termination. * The GHC Team: [30]Heads up: what you need to know about Unicode I/O in GHC 6.12.1. * Galois, Inc: [31]Tech Talk: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience. * Bryan O'Sullivan: [32]Criterion, a new benchmarking library for Haskell. * Tom Schrijvers: [33]Monadic Constraint Programming. * Neil Brown: [34]Growing Sort Pump. Quotes of the Week * dekudekuplex: (Unfortunately (unless intentional)) the preceding (by ksf (in the 'Quotes of the Week' section)) quote had mismatched (one too many opening) parentheses (although it was still funny (even though it could have been edited (to make the parentheses match (even though that is not an important issue)))). * pozic: I think if you want to contact dons, you have to say that you found a bug in ByteString. * Veinor: [about dibblego kicking a whole bunch of spammers] crouching dibblego, hidden op * allbery_b: [on UndecidableInstances] 'this exceeds my easy threshold, turn on wizard mode' (at which point it becomes a lot smarter but may start contemplating its navel without warning) * byorgey: a bus error? try recompiling with -fsubway, perhaps * jafet: 'Zygomorphism' sounds like a reproductive disorder About the Haskell Weekly News New editions are posted to [35]the Haskell mailing list as well as to [36]the Haskell Sequence and [37]Planet Haskell. [38]RSS is also available, and headlines appear on [39]haskell.org. To help create new editions of this newsletter, please see the information on [40]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [41]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://www.haskell.org/haskellwiki/Homework_help 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/64213 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/64259 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/64254 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63838 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/64070 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/64035 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63989 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63985 11. http://www.serpentine.com/blog/2009/09/29/criterion-a-new-benchmarking-libr… 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63853 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/64206 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17529 15. http://article.gmane.org/gmane.comp.lang.haskell.general/17520 16. http://thread.gmane.org/gmane.comp.lang.haskell.general/17535 17. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/64267 18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/64244 19. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/64161 20. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/64128 21. http://planet.haskell.org/ 22. http://haskell.org/haskellwiki/Blog_articles 23. http://feedproxy.google.com/~r/splonderzoek/~3/BHqNHIZFF7U/extensibility-an… 24. http://martijn.van.steenbergen.nl/journal/2009/10/02/let-5-6/ 25. http://leepike.wordpress.com/2009/09/30/writers-unblock/ 26. http://justtesting.org/post/201508784 27. http://haskellformaths.blogspot.com/2009/09/finite-geometries-part-4-lines-… 28. http://www.serpentine.com/blog/2009/09/30/new-criterion-release-works-on-ma… 29. http://chplib.wordpress.com/2009/09/30/poison-concurrent-termination/ 30. http://ghcmutterings.wordpress.com/2009/09/30/heads-up-what-you-need-to-kno… 31. http://www.galois.com/blog/2009/09/29/pike-haskell0/ 32. http://www.serpentine.com/blog/2009/09/29/criterion-a-new-benchmarking-libr… 33. http://tomschrijvers.blogspot.com/2009/01/monadic-constraint-programming.ht… 34. http://chplib.wordpress.com/2009/09/28/growing-sort-pump/ 35. http://www.haskell.org/mailman/listinfo/haskell 36. http://sequence.complete.org/ 37. http://planet.haskell.org/ 38. http://sequence.complete.org/node/feed 39. http://haskell.org/ 40. http://haskell.org/haskellwiki/HWN 41. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

1 0

*** FLOPS 2010: Last Call for Papers ***
by Matthias Blume 02 Oct '09

02 Oct '09

---------------------------------------------------------------------------- LAST CALL FOR PAPERS Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan http://www.kb.ecei.tohoku.ac.jp/flops2010/ Submission deadline: October 16, 2009 FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications. Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings will be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2008) were published as LNCS 4989. INVITED SPEAKERS TBD PC CO-CHAIRS Matthias Blume (Google, Chicago, USA) German Vidal (Technical University of Valencia, Spain) CONFERENCE CHAIR Naoki Kobayashi (Tohoku University, Sendai, Japan) PC MEMBERS Nick Benton (Microsoft Research, Cambridge, UK) Manuel Chakravarty (University of New South Wales, Australia) Michael Codish (Ben-Gurion University of the Negev, Israel) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Agostino Dovier (University of Udine, Italy) John P. Gallagher (Roskilde University, Denmark) Maria Garcia de la Banda (Monash University, Australia) Michael Hanus (University of Kiel, Germany) Atsushi Igarashi (Kyoto University, Japan) Patricia Johann (Rutgers University, USA) Shin-ya Katsumata (Kyoto University, Japan) Michael Leuschel (University of Dusseldorf, Germany) Francisco Lopez-Fraguas (Complutense University of Madrid, Spain) Paqui Lucio (University of the Basque Country, Spain) Yasuhiko Minamide (University of Tsukuba, Japan) Frank Pfenning (Carnegie Mellon University, USA) Francois Pottier (INRIA, France) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Chung-chieh "Ken" Shan (Rutgers University, USA) Zhong Shao (Yale University, USA) Jan-Georg Smaus (University of Freiburg, Germany) Nobuko Yoshida (Imperial College London, UK) LOCAL CHAIR Eijiro Sumii (Tohoku University, Sendai, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at http://www.easychair.org/conferences/?conf=flops2010 IMPORTANT DATES Submission deadlines: - Abstract: October 16, 2009 - Paper: October 23, 2009 Author notification: December 21, 2009 Camera-ready copy: January 24, 2010 Conference: April 19-21, 2010 PLACE Sendai, Japan Some previous FLOPS: FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR JSSST SIG-PPL IN COOPERATION with AAFS (Asian Association for Foundation of Software) ACM SIGPLAN ALP (Association for Logic Programming) ----------------------------------------------------------------------------

1 0

ANNOUNCE: SourceGraph 0.5.2.0
by Ivan Lazar Miljenovic 02 Oct '09

02 Oct '09

Yes, this is yet another SourceGraph announcement, this time for version 0.5.2.0 [1]. [1] http://hackage.haskell.org/package/SourceGraph-0.5.2.0 The changes in this release are as follows: * Shift overall analysis to the top and per-module analysis to the end, as suggested by Duncan Coutts. * Graph drawing fixups: instances are now drawn correctly, and the module graph now has modules located in the correct directory. * Improve some graph drawing aspects (node margins, colours for module graphs, etc.). -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

New TMR editor
by Wouter Swierstra 01 Oct '09

01 Oct '09

Dear all, After several years at the helm, I've decided to step down as editor of the Monad.Reader. I am happy to announce that Brent Yorgey will take over my role as editor. I'd like to take this opportunity to thank Brent for helping to keep the Monad.Reader alive. I'm sure he'll do a fantastic job. Finally, I'd like to thank all the people who have contributed to the Monad.Reader over the last few years – you guys have made this publication, and my job as an editor, so much fun. All the best, Wouter

4 3