- Haskell - Haskell.org

Haskell goes GPCE/OOPSLA 2008
by Ralf Laemmel 29 Feb '08

29 Feb '08

[One-liner version: please submit workshop/tutorial proposals for GPCE 2008.] The conference on Generative Programming and Component Engineering (GPCE) had some functional programming input over the last few years. It is a good idea to continue this trend. For instance, Haskell-hosted ideas of meta programming and more general (FP-based) ideas of staged programming are at the heart of GPCE. Likewise, aggressive optimization and advanced modularization concepts are in the intersection of the Haskell crowd and the GPCE scope. This year's GPCE conference again co-locates with OOPSLA. We are looking for strong proposals for workshops and tutorials that complement the GPCE technical programme, and thereby also contribute to the combined GPCE/OOPSLA programme. It will be great to get a submission or two from the Haskell community. Please have a look at the call for proposals, at the list of topics, and at the history of the GPCE conference series. For instance, it would be appropriate to see a workshop or a tutorial on type functions, general type-level programming, hygienic templates or macros, advanced partial evaluation, FP refactorings, component programming in FP, ..., something like that. I specifically encourage you to reach out for the crowd at GPCE/OOPSLA so that we extend our impact. http://www.hope.cs.rice.edu/twiki/bin/view/GPCE08/ http://www.hope.cs.rice.edu/twiki/bin/view/GPCE08/CallForWorkshops http://www.hope.cs.rice.edu/twiki/bin/view/GPCE08/CallForTutorials [Deadline: 20th March] Regards, Ralf Laemmel Satellite Chair GPCE 2008 PS: The paper deadline for GPCE is in May.

1 0

Haskell Jobs
by Tom Hawkins 29 Feb '08

29 Feb '08

Hi, We have an opening for a software engineer, with the potential for a lot of Haskell development. Our group at Eaton (http://www.eaton.com/) develops real-time control software for vehicle and machinery applications. This position is specifically for the design and verification of hydraulic hybrid vehicle systems. Think Toyota Prius, but with a accumulator and hydraulic pump instead of a battery and an electric motor. That, and these vehicles can weight over 30,000 pounds. The primary tasks would include vehicle software design, system verification with simulation and possibly formal analysis, telemetry development for remote diagnostics, and tool development to further automate our design flows. Currently we use Haskell for our in-house data analysis tools, and some vehicles run code partially generated by a Haskell DSL. We hope to expand our use of Haskell, especially for simulation regression suites -- maybe QuickCheck in combination with a system modeling and verification DSL. If interested, send a resume. Thanks! -Tom

1 0

ANN: Hoogle 3.1
by Neil Mitchell 28 Feb '08

28 Feb '08

Hi, I am pleased to announce Hoogle 3.1. Hoogle is a search engine for Haskell functions, that allows the user to search by name or approximate type signature. Hoogle can be used without installing anything, by simply visiting the online interface, or can be installed locally. * Online interface: http://www.haskell.org/hoogle/ * Cabal release: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hoogle-3.1 The Cabal release contains a command line version of the Hoogle tool, which you can install with the standard Cabal commands. Hoogle 3.1 has a number of new features. Command line version: * A proper cabal release, including proper installing of the search database. * cabal-install compatible * No longer requires haskell-source-extensions (trhsx) to be installed Web interface: * Better entity escaping in some bits of the web interface * Keyword links work again * Lambdabot suggestions work * Update to the most recent version of base * Security fixes, specifically possible code injection bugs (http://en.wikipedia.org/wiki/Code_injection) - none of which were ever exploited, or could have been exploited (as far as I can tell) I intend to write a more detailed account of the security fixes in a blog post, which will be available from http://planet.haskell.org/ . Running a custom version of the web interface is not really supported, but if you are, please upgrade to the latest darcs version. There are still several known bugs in the Hoogle 3.1 release, but these are more difficult to fix, and will probably be solved in a forthcoming Hoogle 4.0. Thanks Neil

1 0

ANN: MacOSX - A library some Haskell users on OS X might find useful.
by Corey O'Connor 28 Feb '08

28 Feb '08

I've been working on integrating haskell code with some Objective-C/C++ Cocoa Mac OS X applications. Nothing fancy like a Haskell/Cocoa bridge. Just trying to get the build process smooth. The default cabal build system was incomplete to do this effectively;* Extending XCode was no good either. With some effort I created some Cabal build hooks to fix up the behavior of build on OS X and add support for packaging an executable into a ".app" package. That's not much, but I packaged it up, plus some extras, into a library in case other projects would like to use it: http://tothepowerofdisco.com/repo/HaskellLibraries/ Of course, this is all hackish and very incomplete. EG: * No fat binary support. I only have a PPC Mac and the only fat-binary process usable with GHC I know of requires executing the x86 GHC. * The build hook in MacOSX.Build will only work on the Cabal distributed with GHC 6.6.1 and *completely* replaces the standard GHC build hook. * GHC compiled to use the framework version of GMP installed to /Library/Frameworks is required. * The name is vague... Still, I've used it to add haskell support and replace XCode for building for 3 exisitng Cocoa applications. Maybe somebody else will find it useful as well. -- -Corey O'Connor * I neglected to make a good list of why the default Cabal build hook doesn't work.

2 2

Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
by demis＠dimi.uniud.it 28 Feb '08

28 Feb '08

=================================================================== Preliminary Call For Papers WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008 http://wflp08.dimi.uniud.it/ co-located with WWV'08 http://wwv08.dimi.uniud.it/ =================================================================== IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 3-4, 2008 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 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'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WWV'08: http://wwv08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ TOPICS WFLP'08 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: 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. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/WFLP2008/ Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing. Publication of the accepted contributions in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS) is envisaged. PROGRAMME CHAIR Moreno Falaschi University of Siena, Italy ORGANIZING COMMITTEE Michele Baggi University of Siena, Italy Demis Ballis University of Udine, Italy Elisa Tiezzi (chair) University of Siena, Italy ====================================================================

1 0

Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
by demis＠dimi.uniud.it 28 Feb '08

28 Feb '08

*********************************************************************** Preliminary Call For Papers 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08) Siena, Italy, July 4, 2008 http://wwv08.dimi.uniud.it/ co-located with WFLP'08 http://wflp08.dimi.uniud.it/ *********************************************************************** IMPORTANT DATES Abstract Submission April 20, 2008 Full Paper Submission April 27, 2008 Acceptance Notification May 27, 2008 Camera Ready June 11, 2008 Workshop July 4, 2008 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'08 will be held in July in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ The workshop will be co-located with WFLP'08: http://wflp08.dimi.uniud.it/ WORKSHOP VENUE Siena is one of the nicest city in Italy. The historical centre is situated on top of a hill and is made of beautiful medieval buildings and churches, all surrounded by ancient walls. The countryside of Siena is worldwide famous for its beauty. The Palio of Siena is probably the most famous historical fair in Italy. The most important event of it is a horse race of medieval origins, which is held in the afternoon of July 2nd in 'Piazza del Campo' in the centre of Siena. For more information, please visit http://www.comune.siena.it/ SUBMISSION PROCEDURE Submissions must be received by April 27, 2008. In addition, an ASCII version of the title and abstract must have been submitted by April 20, 2008. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/WWV08/ PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. Publication of the workshop post-proceedings in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS) is envisaged. PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Santiago Escobar Technical University of Valencia, Spain WORKSHOP CHAIR Michele Baggi University of Siena, Italy

1 0

CMCS 08: final call for short contributions
by Clemens Kupke 27 Feb '08

27 Feb '08

---------------------------------------------------------------------- CMCS 08 : FINAL CALL FOR SHORT CONTRIBUTIONS 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 Key Note Speaker: Dexter Kozen Invited Speakers: Stefan Milius and Dirk Pattinson The workshop will be held in conjunction with the 11th European Joint Conferences on Theory and Practice of Software ETAPS 2008 March 29 - April 6, 2008 Following the tradition of preceding workshops we invite short contributions that will be collected in a technical report of the Technical University of Braunschweig. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. They should be submitted in postscript or pdf form as attachments to an email to cmcs08(a)cwi.nl. Deadline for submission of short contributions: March 10, 2008. Notification of acceptance of short contributions: March 17, 2008. Jiri Adamek and Clemens Kupke PC co-chairs

1 0

GSoC 2008
by Malcolm Wallace 27 Feb '08

27 Feb '08

Google has today announced that they will be running their Summer of Code programme again this year. http://code.google.com/soc/2008/ haskell.org has had many student projects funded by this programme, in 2006 and 2007. Would you like to participate? Either as a student or a mentor? Come and meet up in #haskell-soc on freenode.net. We need to discuss and craft our organisation's application to Google, by March 12th. We need to have ideas for projects before students apply to Google on March 24th. We need volunteers for adminstration. This is community stuff! All sorts of people can play a part. Regards, Malcolm

3 2

Haskell Weekly News: February 23, 2008
by Don Stewart 24 Feb '08

24 Feb '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080223 Issue 70 - February 23, 2008 --------------------------------------------------------------------------- Welcome to issue 70 of HWN, a newsletter covering developments in the [1]Haskell community. One hundred unique new and updated libraries and applications in the past two weeks, including mutable arrays, compression, games, web frameworks, data structures, a file system, Haskell tools, concurrency, graphics, cryptography, systems administration, signal processing, new guis and several audio libraries 1. http://haskell.org/ Hackage New and updated libraries in [2]the Hackage library database. 2. http://hackage.haskell.org/ * ArrayRef 0.1.2. Uploaded by Gwern Branwen. [3]ArrayRef: Unboxed references, dynamic arrays and more. * zlib 0.4.0.4. Uploaded by Duncan Coutts. [4]zlib: Compression and decompression in the gzip and zlib formats. * hetris 0.1. Uploaded by Gwern Branwen. [5]hetris: Text Tetris. * bzlib 0.4.0.3. Uploaded by Duncan Coutts. [6]bzlib: Compression and decompression in the bzip2 format. * HAppS-Server 0.9.2. Uploaded by David Himmelstrup. [7]HAppS-Server: Web related tools and services.. * HAppS-State 0.9.2. Uploaded by David Himmelstrup. [8]HAppS-State: Event-based distributed state.. * HAppS-Data 0.9.2. Uploaded by David Himmelstrup. [9]HAppS-Data: HAppS data manipulation libraries. * HAppS-IxSet 0.9.2. Uploaded by David Himmelstrup. [10]HAppS-IxSet: Added by DavidHimmelstrup, Fri Feb 22 15:18:20 PST 2008.. * HAppS-Util 0.9.2. Uploaded by David Himmelstrup. [11]HAppS-Util: Web framework. * Ranged-sets 0.2.0. Uploaded by Paul Johnson. [12]Ranged-sets: Ranged sets for Haskell. 3. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ArrayRef-0.1.2 4. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/zlib-0.4.0.4 5. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hetris-0.1 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bzlib-0.4.0.3 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-Server-0.9… 8. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-State-0.9.2 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-Data-0.9.2 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-IxSet-0.9.2 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-Util-0.9.2 12. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Ranged-sets-0.2.0 * halfs 0.2. Uploaded by Gwern Branwen. [13]halfs: Haskell File System. * sessions 2008.2.22. Uploaded by Matthew Sackman. [14]sessions: Session Types for Haskell. * infix 0.1. Uploaded by Gwern Branwen. [15]infix: Infix expression re-parsing (for HsParser library). * reify 0.1. Uploaded by Gwern Branwen. [16]reify: Serialize data. * highWaterMark 0.1. Uploaded by Gwern Branwen. [17]highWaterMark: Memory usage statistics. * hinvaders 0.1. Uploaded by Gwern Branwen. [18]hinvaders: Space Invaders. * baskell 0.1. Uploaded by Gwern Branwen. [19]baskell: An interpreter for a small functional language. * control-event 0.2. Uploaded by Thomas DuBuisson. [20]control-event: Event scheduling system.. * nymphaea 0.1. Uploaded by Gwern Branwen. [21]nymphaea: An interactive GUI for manipulating L-systems. * hopenssl 1.0. Uploaded by Peter Simons. [22]hopenssl: FFI bindings to OpenSSL's EVP digest interface. 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/halfs-0.2 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions-2008.2.… 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/infix-0.1 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/reify-0.1 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/highWaterMark-0.1 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hinvaders-0.1 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/baskell-0.1 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/control-event-0.2 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/nymphaea-0.1 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hopenssl-1.0 * Monadius 0.91. Uploaded by Gwern Branwen. [23]Monadius: 2-D arcade scroller. * postmaster 0.1. Uploaded by Peter Simons. [24]postmaster: Postmaster ESMTP Server. * hsyslog 1.2. Uploaded by Peter Simons. [25]hsyslog: FFI interface to syslog(3) from POSIX.1-2001.. * hsemail 1.2. Uploaded by Peter Simons. [26]hsemail: Internet Message Parsers. * hsdns 1.3. Uploaded by Peter Simons. [27]hsdns: Asynchronous DNS Resolver. * funcmp 1.1. Uploaded by Peter Simons. [28]funcmp: Functional MetaPost. * streamproc 1.1. Uploaded by Peter Simons. [29]streamproc: Stream Processer Arrow. * pugs-HsSyck 0.41. Uploaded by Gwern Branwen. [30]pugs-HsSyck: Fast, lightweight YAML loader and dumper. * HsSyck 0.42. Uploaded by Gwern Branwen. [31]HsSyck: Fast, lightweight YAML loader and dumper. * mohws 0.1. Uploaded by Gwern Branwen. [32]mohws: Modular Haskell Web Server. 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Monadius-0.91 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/postmaster-0.1 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsyslog-1.2 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsemail-1.2 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsdns-1.3 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/funcmp-1.1 29. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/streamproc-1.1 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pugs-HsSyck-0.41 31. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsSyck-0.42 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mohws-0.1 * HsJudy 0.1. Uploaded by Gwern Branwen. [33]HsJudy: Judy bindings, and some nice APIs. * probability 0.2.1. Uploaded by Henning Thielemann. [34]probability: Probabilistic Functional Programming. * dsp 0.2.1. Uploaded by Henning Thielemann. [35]dsp: Haskell Digital Signal Processing. * pugs-hsregex 1.0. Uploaded by Gwern Branwen. [36]pugs-hsregex: Haskell PCRE binding. * ListLike 1.0.1. Uploaded by John Goerzen. [37]ListLike: Generic support for list-like structures. * SDL-gfx 0.5.2. Uploaded by David Himmelstrup. [38]SDL-gfx: Binding to libSDL_gfx. * SDL-ttf 0.5.2. Uploaded by David Himmelstrup. [39]SDL-ttf: Binding to libSDL_ttf. * SDL-mixer 0.5.2. Uploaded by David Himmelstrup. [40]SDL-mixer: Binding to libSDL_mixer. * SDL-image 0.5.2. Uploaded by David Himmelstrup. [41]SDL-image: Binding to libSDL_image. * SDL 0.5.2. Uploaded by David Himmelstrup. [42]SDL: Binding to libSDL. 33. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsJudy-0.1 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/probability-0.2.1 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dsp-0.2.1 36. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pugs-hsregex-1.0 37. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ListLike-1.0.1 38. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-gfx-0.5.2 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-ttf-0.5.2 40. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-mixer-0.5.2 41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-image-0.5.2 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-0.5.2 * DeepArrow 0.2. Uploaded by Conal Elliott. [43]DeepArrow: Arrows for "deep application". * GuiTV 0.4. Uploaded by Conal Elliott. [44]GuiTV: GUIs for Tangible Values. * Shellac-compatline 0.9. Uploaded by Robert Dockins. [45]Shellac-compatline: "compatline" backend module for Shellac. * WordNet 0.1.2. Uploaded by Max Rabkin. [46]WordNet: Haskell interface to the WordNet database. * lazyarray 0.1.3. Uploaded by Milan Straka. [47]lazyarray: Efficient implementation of lazy monolithic arrays (lazy in indexes).. * GenI 0.16.1. Uploaded by Eric Kow. [48]GenI: A natural language generator (specifically, an FB-LTAG surface realiser). * libGenI 0.16.1. Uploaded by Eric Kow. [49]libGenI: A natural language generator (specifically, an FB-LTAG surface realiser). * alsa-midi 0.3.1. Uploaded by Henning Thielemann. [50]alsa-midi: Bindings for the ALSA sequencer API (MIDI stuff). * midi 0.0.5. Uploaded by Henning Thielemann. [51]midi: Handling of MIDI messages and files. * event-list 0.0.6. Uploaded by Henning Thielemann. [52]event-list: Event lists with relative or absolute time stamps. 43. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/DeepArrow-0.2 44. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GuiTV-0.4 45. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shellac-compatli… 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/WordNet-0.1.2 47. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lazyarray-0.1.3 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GenI-0.16.1 49. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/libGenI-0.16.1 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/alsa-midi-0.3.1 51. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/midi-0.0.5 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/event-list-0.0.6 * numeric-quest 0.1.1. Uploaded by Henning Thielemann. [53]numeric-quest: Math and quantum mechanics. * markov-chain 0.0.2. Uploaded by Henning Thielemann. [54]markov-chain: Markov Chains for generating random sequences with a user definable behaviour.. * hmp3 1.5.1. Uploaded by Don Stewart. [55]hmp3: An ncurses mp3 player written in Haskell. * TypeIlluminator 0.0. Uploaded by Gwern Branwen. [56]TypeIlluminator: TypeIlluminator is a prototype tool exploring debugging of type errors/. * Takusen 0.7. Uploaded by Don Stewart. [57]Takusen: Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC.. * carray 0.1.2. Uploaded by Jed Brown. [58]carray: A C-compatible array library.. * jack 0.5. Uploaded by Henning Thielemann. [59]jack: Bindings for the JACK Audio Connection Kit. * non-negative 0.0.1. Uploaded by Henning Thielemann. [60]non-negative: Non-negative numbers. * RJson 0.3.3. Uploaded by Alex Drummond. [61]RJson: A reflective JSON serializer/parser.. * clevercss 0.1.1. Uploaded by Georg Brandl. [62]clevercss: A CSS preprocessor. 53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numeric-quest-0.… 54. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/markov-chain-0.0… 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmp3-1.5.1 56. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/TypeIlluminator-… 57. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Takusen-0.7 58. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/carray-0.1.2 59. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/jack-0.5 60. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/non-negative-0.0… 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/RJson-0.3.3 62. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/clevercss-0.1.1 * fft 0.1.1. Uploaded by Jed Brown. [63]fft: Bindings to the FFTW library.. * storable-complex 0.1. Uploaded by Jed Brown. [64]storable-complex: Storable instance for Complex. * winerror 0.1. Uploaded by Felix Martini. [65]winerror: Error handling for foreign calls to the Windows API.. * linkchk 0.0.2. Uploaded by Gwern Branwen. [66]linkchk: linkchk is a network interface link ping monitor.. * popenhs 1.0.0. Uploaded by Gwern Branwen. [67]popenhs: popenhs is a popen-like library for Haskell.. * Flippi 0.0.3. Uploaded by Gwern Branwen. [68]Flippi: Wiki. * DisTract 0.2.5. Uploaded by Gwern Branwen. [69]DisTract: Distributed Bug Tracking System. * goa 3.0. Uploaded by Gwern Branwen. [70]goa: GHCi bindings to lambdabot. * hinstaller 2008.2.16. Uploaded by Gwern Branwen. [71]hinstaller: Installer wrapper for Haskell applications. * GeoIp 0.1. Uploaded by Stephen Cook. [72]GeoIp: Pure bindings for the MaxMind IP database.. 63. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fft-0.1.1 64. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/storable-complex… 65. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/winerror-0.1 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/linkchk-0.0.2 67. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/popenhs-1.0.0 68. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Flippi-0.0.3 69. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/DisTract-0.2.5 70. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/goa-3.0 71. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hinstaller-2008.… 72. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GeoIp-0.1 * hpodder 1.1.2. Uploaded by John Goerzen. [73]hpodder: Podcast Aggregator (downloader). * wxcore 0.10.2. Uploaded by Eric Kow. [74]wxcore: wxHaskell core. * wx 0.10.2. Uploaded by Eric Kow. [75]wx: wxHaskell. * flow2dot 0.3. Uploaded by Dmitry Astapov. [76]flow2dot: Generates sequence diagrams from textual descriptions. * strict-concurrency 0.2. Uploaded by Donald Stewart. [77]strict-concurrency: Strict concurrency abstractions. * TV 0.4. Uploaded by Conal Elliott. [78]TV: Tangible Values -- composable interfaces. * geniconvert 0.15. Uploaded by Eric Kow. [79]geniconvert: Conversion utility for the GenI generator. * ctemplate 0.1. Uploaded by Adam Langley. [80]ctemplate: Binding to the Google ctemplate library. * arrows 0.4. Uploaded by Ross Paterson. [81]arrows: Arrow classes and transformers. * lhs2tex 1.13. Uploaded by Andres Loeh. [82]lhs2tex: Preprocessor for typesetting Haskell sources with LaTeX. 73. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hpodder-1.1.2 74. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wxcore-0.10.2 75. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wx-0.10.2 76. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/flow2dot-0.3 77. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-concurren… 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/TV-0.4 79. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/geniconvert-0.15 80. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ctemplate-0.1 81. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/arrows-0.4 82. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lhs2tex-1.13 * NGrams 1.1. Uploaded by Justin Bailey. [83]NGrams: Simple application for calculating n-grams using Google.. * lambdabot 4.1. Uploaded by Gwern Branwen. [84]lambdabot: A multi-talented IRC bot. * HsOpenSSL 0.4. Uploaded by Masatake Daimon. [85]HsOpenSSL: (Part of) OpenSSL binding for Haskell. * network-minihttp 0.1. Uploaded by Adam Langley. [86]network-minihttp: A very minimal webserver. * ZFS 0.0. Uploaded by Gwern Branwen. [87]ZFS: Oleg's Zipper FS. * fst 0.9. Uploaded by Gwern Branwen. [88]fst: Finite state transducers. * haskell-in-space 0.1. Uploaded by Gwern Branwen. [89]haskell-in-space: 'Asteroids' arcade games.. * unix-pty-light 0.1. Uploaded by Stuart Cook. [90]unix-pty-light: POSIX pseudo-terminal support. * bot 0.1. Uploaded by Conal Elliott. [91]bot: bots for functional reactive programming. * Hedi 0.1. Uploaded by Paolo Veronelli. [92]Hedi: Line oriented editor. 83. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/NGrams-1.1 84. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lambdabot-4.1 85. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsOpenSSL-0.4 86. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/network-minihttp… 87. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ZFS-0.0 88. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fst-0.9 89. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-in-space… 90. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/unix-pty-light-0… 91. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bot-0.1 92. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hedi-0.1 * network-bytestring 0.1.1.2. Uploaded by Johan Tibell. [93]network-bytestring: Fast and memory efficient low-level networking. * leksah 0.1.1. Uploaded by Juergen NicklischFranken. [94]leksah: Haskell IDE written in Haskell. * nano-hmac 0.2.0. Uploaded by Hitesh Jasani. [95]nano-hmac: Bindings to OpenSSL HMAC.. * monadenv 0.0-2005-02-14. Uploaded by Gwern Branwen. [96]monadenv: Added by GwernBranwen, Sun Feb 10 20:15:11 PST 2008.. * blockio 0.0-2006-02-03. Uploaded by Gwern Branwen. [97]blockio: Block-oriented I/O Driver. * child 0.0-2005-02-14. Uploaded by Gwern Branwen. [98]child: Added by GwernBranwen, Sun Feb 10 19:35:20 PST 2008.. * highlighting-kate 0.2.1. Uploaded by John MacFarlane. [99]highlighting-kate: Syntax highlighting. 93. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/network-bytestri… 94. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/leksah-0.1.1 95. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/nano-hmac-0.2.0 96. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/monadenv-0.0-200… 97. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/blockio-0.0-2006… 98. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/child-0.0-2005-0… 99. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/highlighting-kat… Blog noise [100]Haskell news from the [101]blogosphere. 100. http://planet.haskell.org/ 101. http://haskell.org/haskellwiki/Blog_articles * [102]Unit testing is not a substitute for static typing * [103]Misunderstandings about Erlang (and functional programming) * [104]Simple UNIX tools in OCaml * [105]The Evolution of the Imperative Programmer * [106]Onageristic speculation * [107]Rotating args in Haskell and Ruby block style programming * [108]Terse and verbose variable names in Haskell * [109]Pysec: Monadic Combinatoric Parsing in Python (aka Parsec in Python) * [110]Haskell and C structures 102. http://pinderkent.blogsavy.com/archives/154 103. http://tim-watson.blogspot.com/2008/02/ok-so-there-seem-to-be-few.html 104. http://fhtr.blogspot.com/2008/02/simple-unix-tools-in-ocaml.html 105. http://matburt.net/?p=33 106. http://pozorvlak.livejournal.com/91293.html 107. http://www.jasani.org/2008/02/rotating-args-in-haskell-and-ruby-block.html 108. http://www.dougalstanton.net/blog/index.php/2008/02/12/measuring-the-challe… 109. http://www.valuedlessons.com/2008/02/pysec-monadic-combinatoric-parsing-in.… 110. http://therning.org/magnus/archives/315 * [111]Haskell on Windows * [112]Haskell, HDBC and Sqlite * [113]Parsec and zippers for interpreters * [114]Playing with monad transformers * [115]Code CAN be beautiful * [116]Elegance and Power * [117]Why don't you use Haskell? * [118]Functional control flow * [119]Programs as functions and how I/O can fit in nicely * [120]Elegance and power 111. http://therning.org/magnus/archives/338 112. http://www.jasani.org/2008/02/haskell-hdbc-and-sqlite.html 113. http://sabbatical-year.blogspot.com/2008/01/brainfuck-its-last-one-i-promis… 114. http://sabbatical-year.blogspot.com/2008/02/playing-with-monad-transformers… 115. http://basildoncoder.com/blog/2008/02/22/code-can-be-beautiful/ 116. http://research.swtch.com/2008/02/elegance-and-power.html 117. http://reddit.com/info/69jbs/comments/ 118. http://neilmitchell.blogspot.com/2008/01/functional-flow-control.html 119. http://qplqyer.wordpress.com/2008/02/23/programs-as-functions-and-how-io-ca… 120. http://research.swtch.com/2008/02/elegance-and-power.html * [121]How important is elegance? * [122]Types, named (was: 'Name that type!'), plus two more questions * [123]Code CAN Be Beautiful * [124]True unions * [125]The craft of functional programming :: review 121. http://progjournal.blogspot.com/2008/02/how-important-is-elegance.html 122. http://blog.jbapple.com/2008/02/types-named-was-name-that-type-plus-two.html 123. http://basildoncoder.com/blog/2008/02/22/code-can-be-beautiful/ 124. http://calculist.blogspot.com/2008/02/true-unions.html 125. http://clipboarded.blogspot.com/2008/02/craft-of-functional-programming-rev… Quotes of the Week * Erik Engbrecht: The key to language success is making it powerful enough for a couple cowboys to do the work of an entire team in a shorter period of time. Selling fast and cheap is easy. If you have enough fast and cheap, the business people won't care if you are making it out of bubble-gum and duct-tape, because you are giving them what they want. * pozorvlak: I'm going to make what should be an uncontroversial statement: if you don't understand and use monads, you are at best a quarter of a Haskell programmer. A corollary of this is that, since using monad transformers is the only (or at least the approved) way to use two or more monads together, if you don't understand and use monad transformers you are at best half a Haskell programmer. * mrevelle: As Lisp to lists and Smalltalk to objects: Haskell to computation * Paul: I would use Haskell to build a product or service, and I mean that in the sense that I can see how to train a team and build processes (prototyping, implementation, quality, deployment, support) around Haskell. * Yegge: Haskell, OCaml and their ilk are part of a 45-year-old static-typing movement within academia to try to force people to model everything. About the Haskell Weekly News New editions are posted to [126]the Haskell mailing list as well as to [127]the Haskell Sequence and [128]Planet Haskell. [129]RSS is also available, and headlines appear on [130]haskell.org. Headlines are available as [131]PDF. To help create new editions of this newsletter, please see the [132]contributing information. Send stories to dons at galois.com. The darcs repository is available at darcs get [133]http://code.haskell.org/~dons/code/hwn/ 126. http://www.haskell.org/mailman/listinfo/haskell 127. http://sequence.complete.org/ 128. http://planet.haskell.org/ 129. http://sequence.complete.org/node/feed 130. http://haskell.org/ 131. http://code.haskell.org/~dons/code/hwn/archives/20080223.pdf 132. http://haskell.org/haskellwiki/HWN 133. http://code.haskell.org/~dons/code/hwn/

1 0

Re: CFP: Continuation Fest 2008
by oleg＠okmij.org 23 Feb '08

23 Feb '08

Note: the Continuation Fest is scheduled on Apr 13, one day before FLOPS2008, http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ International Symposium on Functional and Logic Programming. Attendees of the Continuation Fest who also participate in FLOPS have just enough time get from Tokyo to Ise City in the morning of Apr 14; FLOPS starts at 13:30. The detailed directions are available at http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/access.html

1 0