- Haskell - Haskell.org

Ann: Yogurt-0.3
by Martijn van Steenbergen 16 Feb '09

16 Feb '09

Dear Haskellers, I'm pleased to announce the release of Yogurt-0.3! This version improves over 0.2 in several ways: * It compiles and runs with GHC 6.10. * The Mud monad is now built on top of IO. * Vars are expressed as IORefs. No more unsafeCoerce needed. * Forking of threads is supported, with callback into the Mud monad: > type RunMud = forall a. Mud a -> IO a > forkWithCallback :: (RunMud -> IO ()) -> Mud ThreadId * Timers are no longer a primitive: they can be expressed as function of forkWithCallback. * Refactorings in the architecture: the features are a strict superset of the previous version while the number of lines of code has decreased by 10%. All feedback is appreciated! Thanks to Saizan on #haskell for helping me work around the predicative types. :-) The code is available at Google: http://code.google.com/p/yogurt-mud/ Kind regards, Martijn.

1 0

ANNOUNCE: first Grapefruit release
by Wolfgang Jeltsch 14 Feb '09

14 Feb '09

Dear friends of Haskell and Functional Reactive Programming, its my pleasure to announce the first official release of Grapefruit, a library for Functional Reactive Programming (FRP) with a focus on user interfaces. With Grapefruit, you can implement reactive and interactive systems in a declarative style. User interfaces are described as networks of communicating widgets and windows. Communication is done via different kinds of signals which describe temporal behavior. Grapefruit consists of five packages with several interesting features: grapefruit-frp: Functional Reactive Programming core * The FRP implementation uses a hybrid push/pull-based approach. * Signals can be memoized by binding them to variables – like ordinary data structures. * Merging of event streams combines simultaneous events properly. * Signals cannot behave differently by starting them at different times. The type system is used to enforce proper aging of signals. grapefruit-records: A record system for Functional Reactive Programming * Input records can specify fields as being required or optional. * Uninteresting output fields can be ignored. The set of interesting fields is specified by pattern matching. grapefruit-ui: Declarative user interface programming * The interface for UI programming is platform-independent and can be implemented on top of different UI toolkits. * A concrete implementation can be selected at compile time or runtime. grapefruit-ui-gtk: GTK+-based implementation of the general UI interface * Gtk2Hs is used internally. grapefruit-examples: examples demonstrating features of Grapefruit * Circular communication and switching are demonstrated. Support for the following is planned for the future: * signals with incremental updates * user interfaces with changing structure * more kinds of UI components * graphical animations Further information about Grapefruit is available on its wiki page at <http://haskell.org/haskellwiki/Grapefruit>. If you have questions, applause or criticism, please get in touch with me. Wolfgang Jeltsch Principal Grapefruit developer

1 0

(CfP) UML&AADL'2009 : LAST CALL FOR PAPERS
by Isabelle Perseil 13 Feb '09

13 Feb '09

********************************************************************** CALL FOR PAPERS: UML&AADL2009 http://www.artist-embedded.org/artist/UML-AADL-2009.html Workshop held in conjunction with ICECCS 2009 The fourteenth IEEE International Conference on Engineering of Complex Computer Systems http://www.iceccs.org/ June 02, 2009 Potsdam, Germany ************************************************************************ Submission deadline: February 20, 2009 -------------------------------------- Topics ====== New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features they have to manage. They must meet new requirements of reusability, interoperability, flexibility and portability. These new dimensions favor the use of an architecture description language that offers a global vision of the system, and which is particularly suitable for handling real-time characteristics. Due to the even more increased complexity of distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more obvious in this domain than in monolithic RT systems. The purpose of this workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to behavior modeling and model-based analysis of DRE systems. This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE system behavior and/or architecture models. To this end, we solicit papers (no more than 6 pages long) related to, but not limited to, the following principal topics: - Multi-domain specific modeling languages - Model transformation and generative approaches - Model-based Methodologies - Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive) - Model Checking of architecture specifications - ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction Workshop Format =============== This full-day workshop will consist of an introduction of the topic by the workshop organizers, presentations of accepted papers, and in depth discussion of previously identified subjects emerging from the submissions. A summary of the discussions will be made available. Submission and Publication ========================== To contribute, please send a position paper or a technical paper to agusti[dot]canals[at]c-s[dot]fr with ICECCS09 UML&AADL Workshop in the title. Papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. Preferably, submissions should be in PDF format. All selected papers will be published in the IEEE Computer Society Press Proceedings. IMPORTANT DATES =============== Submission deadline: February 20, 2009 All Notification of acceptance: March 05, 2009 Workshop date: June 02, 2009 Organizational sponsors ======================= ARTIST NoE OMG Organizers and Programme Steering Committee =========================================== Jean-Michel Bruel (IRIT, France) Agusti Canals (CS, France) Robert de Simone (INRIA, France) Sébastien Gérard (CEA-LIST, France) Isabelle Perseil (TELECOM ParisTech, France) Publicity Chair =============== Sun Meg (CWI, The Netherlands) IEEE CS TCCX Coordinator ======================== Mike Hinchey (NASA GSFC and Loyola College in Maryland, USA) Programme Committee =================== Yamine Ait Ameur (LISI / ENSMA, France) Keijiro Araki (Kyushu University, Japan) Grady Booch (IBM Fellow, USA) Agusti Canals (CS, France) Juan Antonio de la Puente (Universidad Politécnica de Madrid, Spain) Sebastien Demathieu (THALES, France) Dionisio De Niz Villasenor (SEI, Carnegie Mellon, USA) Vincent Englebert (University of Namur, Belgium) Madeleine Faugère (THALES, France) Mamoun Filali (IRIT, France) Robert France (Colorado State University, USA) Sébastien Gérard (CEA-LIST, France) Patrick Heymans (University of Namur, Belgium) Irfan Hamid (Microsoft Corp, Canada) J.J.M. Hooman (Embedded Systems Institute, The Netherlands) Bruce Lewis (US Army AMCOM) Johan Lilius (Åbo Akademi University, Finland) Ricardo J. Machado (University of Minho, Portugal) Sun Meg (CWI, The Netherlands) Dominique Mery (LORIA, France) Nenad Medvidovic (University of Southern California, USA) Thierry Millan (IRIT, France) Richard Paige (University of York, United Kingdom) Marc Reynolds (University of Western Australia, Australia) José Raúl Romero Salguero (Universidad de Córdoba, Spain) Bernhard Rumpe (Braunschweig University of Technology, Germany) Douglas C. Schmidt (Vanderbild University, USA) Françoise Simonot Lion (LORIA, France) Oleg Sokolsky (University of Pennsylvania, USA) Roy Sterritt (University of Ulster, United Kingdom) Jörn Guy Süß ( University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Bedir Tekinerdogan (Bilkent University, Turkey) Martin Törngren (KTH - Royal Institute of Technology, Sweden) Laurence Tratt (Bournemouth University, United Kingdom) Tullio Vardanega (University of Padua, Italy) François Vernadat (CNRS-LAAS, France) Thomas Vergnaud (THALES, France) Eugenio Villar (Universidad de Cantabria, Spain) Sergio Yovine (CNRS-Verimag, France) Roberto V. Zicari (Goethe University Frankfurt, Germany)

1 0

Re: [Haskell] Google Summer of Code 2009
by Andrzej Jaworski 13 Feb '09

13 Feb '09

> If you have ideas for student projects that you think would benefit the > Haskell community, now is the time to start discussing them on mailing Here is an idea that if done right might bootstrap Haskell real world applications with the help of greed and adrenaline:-) The ignition: (0) Bind Haskell to an automatic trading platform [API] (1) write real-time streamer and stock scanner. [PType] should offer more than was demonstrated in [F#] (2) Join [apps] from any angle (3) Consider a [DSL] for data analysis or write an [EasyLanguage] [API] http://www.interactivebrokers.com/en/p.php?f=programInterface&ib_entity=llc [F#] http://channel9.msdn.com/pdc2008/TL11/ [PType] http://research.nii.ac.jp/~hu/pub/aplas04-xu.pdf [apps] http://www.interactivebrokers.com/en/general/poll/ibconsultants.php?accept_… [DSL] http://www.cc.gatech.edu/~saswat/research/one.pdf [EasyLanguage] https://www.tradestation.com/support/books/pdf/EL_Essentials.pdf https://www.tradestation.com/support/books/pdf/EL_FunctionsAndReservedWords…

1 0

CFP: 5th Haskell Hackathon, April 17-19, Utrecht
by Sean Leather 12 Feb '09

12 Feb '09

Call for participation: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The 5th Haskell Hackathon April 17 - 19, 2009 Utrecht, The Netherlands ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Haskell Hackathon is a collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure. Of course, we have fun doing it, too! All hackers are welcome to visit and work on various Haskell-related projects. You decide what you want to work on! Lists of projects and concerted efforts are collected on the Hac5 website. == General Information == Information about the projects as well as practicalities such as traveling, accommodation, etc. is available from the Hac5 website: http://haskell.org/haskellwiki/Hac5 == Registration == Please register by following the instructions on the registration page: http://haskell.org/haskellwiki/Hac5/Register Once you've registered, please add your info to the attendees self-organizing page: http://haskell.org/haskellwiki/Hac5/Attendees If you are looking to share costs or want to meet up prior to the Hackathon with other attendees, feel free to organize via the Attendees wiki page or join the Hackathon IRC channel on freenode: #haskell-hac5 == Organizers == Andres Löh, Utrecht University (UU) José Pedro Magalhães, UU Sean Leather, UU Eelco Lempsink, UU + Tupil Chris Eidhof, UU + Tupil ... and more ...

1 0

Re: [Haskell-cafe] Gtk2HS 0.10.0 Released
by Lennart Augustsson 11 Feb '09

11 Feb '09

Does this version work from ghci? -- Lennart On Wed, Feb 11, 2009 at 5:40 AM, Peter Gavin <pgavin(a)gmail.com> wrote: > Hi everyone, > > Oh, dear... it seems I've forgotten how to spell "cafe", and sent this > message to haskell-caft(a)haskell.org the first time around. I resent it to > all the lists again (just to make sure everyone interested receives it), so > I apologize for any duplicated messages you might have received. In any > case... > > I'd like to release the announcement of Gtk2HS 0.10.0. A lot of new stuff > has gone into this release, including: > > - Support for GHC 6.10 > - Bindings to GIO and GtkSourceView-2.0 > - Full switch to the new model-view implementation using a Haskell model > - Support for many more model-based widgets such as IconView and an updated > binding for ComboBox > - Full Drag-and-Drop support > - Better support for Attributes in Pango > - Replaced Event for EventM monad, thereby improving efficiency and > convenience > - Functions for interaction between Cairo and Pixbuf drawing > - Lots of bug fixes, code cleanups, and portability improvements > > With this release, the bindings to GnomeVFS and GtkSourceView-1.0 have been > deprecated. The TreeList modules have been deprecated from the Gtk+ > bindings. > > Source and Win32 binaries are available at: > > > https://sourceforge.net/project/showfiles.php?group_id=49207package_id=4244… > > Thanks to everyone who submitted bug fixes and features this time around! > > Thanks, > Peter Gavin > Gtk2HS Release Manager > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >

1 0

ANN: Bug fix to regex-tdfa, new version 0.97.3
by ChrisK 10 Feb '09

10 Feb '09

To Haskell and Libraries and Haskell-Cafe, Whilst improving regex-tdfa I have run across new bugs. Some patterns were getting compiled wrong and others were affected by an execution bug. As this package has actual users, I wanted to make sure they get these fixes immediately. Three Cheers For QuickCheck! The new version is 0.97.3 at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-tdfa And this version passes all the unit tests I have, including coverage for the new bugs. This is no warranty that regex-tdfa is bug free, since I made that same claim last release. For instance: I suspect 0.97.3 may be buggy if used in the optional left-associative mode. The new improved version of regex-tdfa is still a long way off. Cheers, Chris Kuklewicz

1 0

Fwd: Formal verification of high-level language implementation of critical software?
by Simon Marlow 10 Feb '09

10 Feb '09

Forwarding on behalf of David von Oheimb <David.von.Oheimb(a)siemens.com>. > ------------------------------------------------------------------------ > > Subject: Formal verification of high-level language implementation of critical software? > From: David von Oheimb <David.von.Oheimb(a)siemens.com> > Date: Mon, 09 Feb 2009 11:49:08 +0100 > To: members(a)fmeurope.org, formal-methods(a)cs.uidaho.edu, fmacademic(a)cas.mcmaster.ca, haskell(a)haskell.org > CC: Jorge Cuéllar <Jorge.Cuellar(a)siemens.com>, Greg Kimberly <Greg.Kimberly(a)boeing.com> > > > Dear all, > > at Siemens Corporate Technology we are currently doing a study with > Boeing on how to enhance assurance of open-source security-critical > software components like OpenSSL. Methods considered range from standard > static analysis tools to formal verification. > > One observation is that the higher the programming language used is, > the less likely programming mistakes are, and the easier a formal model > can be obtained and the more likely it is to be faithful and verifiable. > In this sense, implementations e.g. in a functional/logic programming > language would be ideal. > > Are you aware of any (security critical or other) software component > that has been implemented in such a high-level language and has been > formally verified? Any quick pointers etc. are appreciated. > > Thanks, > David v.Oheimb > > +------------------------------------------------------------------<><-+ > | Dr. David von Oheimb Senior Research Scientist | > | Siemens AG, CT IC 3 Phone : +49 89 636 41173 | > | Otto-Hahn-Ring 6 Fax : +49 89 636 48000 | > | 81730 München Mobile: +49 171 8677 885 | > | Germany E-Mail: David.von.Oheimb(a)siemens.com | > | http://scd.siemens.de/db4/lookUp?tcgid=Z000ECRO http://ddvo.net/ |

2 1

Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming
by Santiago Escobar 08 Feb '09

08 Feb '09

******************************************************************* Preliminary Call For Papers WFLP 2009 18th International Workshop on Functional and (Constraint) Logic Programming Brasilia, Brazil, June, 28, 2009 http://www.dsic.upv.es/workshops/wflp09/ ********* part of the Federated Conference on Rewriting, Deduction, and Programming RDP'09 http://rdp09.cic.unb.br/index.html ******************************************************************* IMPORTANT DATES Abstract Submission April 20, 2009 Full Paper Submission April 26, 2009 Acceptance Notification May 25, 2009 Preliminary Proceedings June 8, 2009 Workshop June 28, 2009 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'09 will be held in June 28, 2009 at Brasilia, Brazil, as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'09). WFLP'09 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: security, declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding well-marked appendices not intended for publication). Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2009 Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Contributions accepted for the post-workshop proceedings are planned to be published in a journal. INVITED SPEAKERS Claude Kirchner INRIA Bordeaux - Sud-Ouest, France Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil PROGRAMME CHAIR Santiago Escobar Universidad Politecnica de Valencia, Spain ORGANIZING COMMITTEE Maria Alpuente Universidad Politecnica de Valencia, Spain Sergio Antoy Portland State University, USA Christiano Braga Universidade Federal Fluminense, Brazil Rafael Caballero Universidad Complutense de Madrid, Spain David Deharbe Universidade Federal do Rio Grande do Norte, Brazil Rachid Echahed CNRS,laboratoire LIG, France Moreno Falaschi Universita di Siena, Italy Michael Hanus Christian-Albrechts-Universitaet zu Kiel, Germany Frank Huch Christian-Albrechts-Universitaet zu Kiel, Germany Tetsuo Ida University of Tsukuba, Japan Wolfgang Lux Westfalische Wilhelms-Universitat Munster, Germany Mircea Marin University of Tsukuba, Japan Camilo Rueda Universidad Javeriana-Cali, Colombia Jaime Sanchez-Hernandez Universidad Complutense de Madrid, Spain Anderson Santana de Oliveira Universidade Federal do Rio Grande do Norte, Brazil

1 0

ANNOUNCE: X Haskell Bindings 0.1
by Antoine Latter 08 Feb '09

08 Feb '09

I'd like to announce a version bump for the X Haskell Bindings (XHB) library, to 0.1.* from 0.0.*. The goal of XHB is to provide a Haskell implementation of the X11 wire protocol, similar in spirit to the X protocol C-language Binding (XCB). On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb This release focuses on making the API a bit friendlier: + 'type BOOL = Word8' has been replaced in the API by Prelude.Bool + type synonyms BYTE, CARD8, CARD16 and CARD32 for the Data.Word types have been eliminated + type synonyms INT8, INT16 and INT32 for the Data.Int types have been eliminated + Previously, all protocol replies were represented by their own distinct data type. Now, if the reply to a request only includes a single field, the request returns that field directly. In more concrete terms: > internAtom :: Connection -> InternAtom -> IO (Receipt InternAtomReply) becomes: > internAtom :: Connection -> InternAtom -> IO (Receipt ATOM) Further work to make the API more "Haskelly" is ongoing. Related projects: X C Bindings: http://xcb.freedesktop.org/ -Antoine

2 2