- Haskell - Haskell.org

FP Jobs
by julien.sylvestre＠mlstate.com 24 Nov '08

24 Nov '08

MLstate - currently in stealth mode - is an IT company, whose functional programming approach to SaaS and cloud computing has been recently recognized by the French Ministry of Research Innovation Award. We are research-oriented, we value technical excellence and innovation and we believe our technology has a potential to dramatically change the way web applications are being built. MLstate opens several new permanent positions to meet this challenge: - Senior Developers: Outstanding PhDs with at least 3 years of research experience in functional languages and/or formal verification and the ability to manage a small technical team. - Developers: PhDs with strong FP skills. Applications from PhD students defending their thesis soon and who should not be reading the caml list right now... are welcome. Jobs are based in Paris and include a competitive compensation package. Please send a (link to your) CV to julien.sylvestre(a)mlstate.com

1 0

Haskell Weekly News: Issue 94 - November 22, 2008
by Brent Yorgey 22 Nov '08

22 Nov '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20081122 Issue 94 - November 22, 2008 --------------------------------------------------------------------------- Welcome to issue 94 of HWN, a newsletter covering developments in the [1]Haskell community. Lots of interesting reading this week! Martin Escardo writes about [2]finite search over infinite search spaces expressed as a monad; Conal Elliott writes about [3]the unambiguous choice operator and [4]merging partial values; Luke Palmer on [5]restricted data types and [6]Udon, his system for universal distributed object management; a post about [7]incremental parsing in Yi; Ryan Ingram on [8]parametric higher-order abstract syntax; Issue #12 of [9]the Monad.Reader; and much more! Announcements The Monad.Reader - Issue 12: Summer of Code Special. Wouter Swierstra [10]announced Issue 12 of [11]the Monad.Reader, featuring articles by Max Bolingbroke, Roman Cheplyaka, and Neil Mitchell describing their Summer of Code projects. Turbinado V0.1. Alson Kemp [12]announced the release of [13]Turbinado, an MVC web framework for Haskell. EEConfig-1.0. Bartosz Wojcik [14]announced the release of [15]EEConfig, a simple library for reading parameters from a configuration file. Discussion Proof of a multi-threaded application. Silviu Andrica [16]asked about the possibility of proving the correctness of a multi-threaded application written in Haskell, leading to a discussion of STM, model checking, and related issues. Monadic bind with associated types + PHOAS?. Ryan Ingram [17]wrote about using parametric higher-order abstract syntax to get the benefits of HOAS (using the embedding language to express binding and substitution) while still being able to inspect or optimize the resulting expressions. Blog noise [18]Haskell news from the [19]blogosphere. * Ashish Hanwadikar: [20]More on Haskell DSL. * Real-World Haskell: [21]Real World Haskell in the Wild!. * Conal Elliott: [22]Merging partial values. * John Goerzen (CosmicRay): [23]If Programming Languages Were Christmas Carols. * Conal Elliott: [24]Functional concurrency with unambiguous choice. * >>> Martin Escardo: [25]A Haskell monad for infinite search in finite time. * The GHC Team: [26]Redesigning GHC's build system. * Luke Palmer: [27]Restricted Data Types. * Yi: [28]Incremental Parsing in Yi. * Roman Cheplyaka: [29]The Monad Reader, SoC special. * Darcs: [30]camp irregular news #1. * Eric Kow (kowey): [31]iterative committing. * >>> Joey Hess: [32]a year of haskell (not really). * FP Lunch: [33]The origin of species. * Luke Palmer: [34]Udon Sketch #2. * John Goerzen (CosmicRay): [35]Real World Haskell Update. * Real-World Haskell: [36]When will you see us on bookstore shelves?. * Paul Potts: [37]Reading Real World Haskell. * Darcs: [38]darcs 2.1.2 released!. * Darcs: [39]darcs weekly news #12. * Russell O'Connor: [40]Haskell Lesson. * Conal Elliott: [41]Enhancing a Zip. * Conal Elliott: [42]Proofs for left fold zipping. * >>> Andrew Birkett: [43]Why do they call it: Referentially transparent. * >>> Andrew Birkett: [44]Why do they call it: Referentially transparent (II). Quotes of the Week * dons: instance Ord OCaml, oh wait. hang on. OCaml can't do that. * BONUS: as you can see, one of the best parts of Haskell is #haskell. * ddarius: head [] :: FlyingMonkeys About the Haskell Weekly News New editions are posted to [45]the Haskell mailing list as well as to [46]the Haskell Sequence and [47]Planet Haskell. [48]RSS is also available, and headlines appear on [49]haskell.org. To help create new editions of this newsletter, please see the information on [50]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [51]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-fi… 3. http://feeds.feedburner.com/~r/conal/~3/461480571/ 4. http://feeds.feedburner.com/~r/conal/~3/461534658/ 5. http://lukepalmer.wordpress.com/2008/11/20/restricted-data-types/ 6. http://lukepalmer.wordpress.com/2008/11/19/udon-sketch-2/ 7. http://yi-editor.blogspot.com/2008/11/incremental-parsing-in-yi.html 8. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050768.html 9. http://www.haskell.org/haskellwiki/The_Monad.Reader 10. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050786.html 11. http://www.haskell.org/haskellwiki/The_Monad.Reader 12. http://www.haskell.org//pipermail/haskell/2008-November/020811.html 13. http://www.turbinado.org/ 14. http://www.haskell.org//pipermail/haskell/2008-November/020810.html 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EEConfig 16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47728 17. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050768.html 18. http://planet.haskell.org/ 19. http://haskell.org/haskellwiki/Blog_articles 20. http://feedproxy.google.com/~r/typepad/ahanwadi/ashishs_niti/~3/n41w6S_82SE… 21. http://www.realworldhaskell.org/blog/2008/11/22/real-world-haskell-in-the-w… 22. http://feeds.feedburner.com/~r/conal/~3/461534658/ 23. http://changelog.complete.org/archives/825-if-programming-languages-were-ch… 24. http://feeds.feedburner.com/~r/conal/~3/461480571/ 25. http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-fi… 26. http://ghcmutterings.wordpress.com/2008/11/21/redesigning-ghcs-build-system/ 27. http://lukepalmer.wordpress.com/2008/11/20/restricted-data-types/ 28. http://yi-editor.blogspot.com/2008/11/incremental-parsing-in-yi.html 29. http://physics-dph.blogspot.com/2008/11/monad-reader-soc-special.html 30. http://blog.darcs.net/2008/11/camp-irregular-news-1.html 31. http://koweycode.blogspot.com/2008/11/iterative-commiting.html 32. http://kitenet.net/~joey/blog/entry/a_year_of_haskell___40__not_really__41_… 33. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=132 34. http://lukepalmer.wordpress.com/2008/11/19/udon-sketch-2/ 35. http://changelog.complete.org/archives/814-real-world-haskell-update 36. http://www.realworldhaskell.org/blog/2008/11/18/when-will-you-see-us-on-boo… 37. http://praisecurseandrecurse.blogspot.com/2008/11/reading-real-world-haskel… 38. http://blog.darcs.net/2008/11/darcs-212-released.html 39. http://blog.darcs.net/2008/11/darcs-weekly-news-12.html 40. http://r6.ca/blog/20081116T213644Z.html 41. http://feeds.feedburner.com/~r/conal/~3/454447926/ 42. http://feeds.feedburner.com/~r/conal/~3/454297817/ 43. http://www.nobugs.org/blog/archives/2008/11/12/why-do-they-call-it-referent… 44. http://www.nobugs.org/blog/archives/2008/11/12/why-do-they-call-it-referent… 45. http://www.haskell.org/mailman/listinfo/haskell 46. http://sequence.complete.org/ 47. http://planet.haskell.org/ 48. http://sequence.complete.org/node/feed 49. http://haskell.org/ 50. http://haskell.org/haskellwiki/HWN 51. http://code.haskell.org/~byorgey/code/hwn/

1 0

Does GHC support the standard CPP functionalities?
by haihualin 22 Nov '08

22 Nov '08

Hi, I tried to compile the following program by GHC {-# LANGUAGE CPP #-} module Packer where #define FLASH_APP_START 1 #define FLASH_APP_END 2 #define INSERT_SECTION(x) (#x, (FLASH_##x##_START, FLASH_##x##_END)) import qualified Data.Map as M import Data.Tuple import System.IO as Sys type Name = String type Boundary = (Int, Int) boundaryList = [INSERT_SECTION(APP)] main = Sys.print boundaryList But failed with test.hs:16:17: Not in scope: `#' test.hs:16:17: A section must be enclosed in parentheses thus: (# APP) test.hs:16:18: Not in scope: data constructor `APP' test.hs:16:24: Not in scope: data constructor `FLASH_' test.hs:16:30: Not in scope: `##' test.hs:16:32: Not in scope: data constructor `APP' test.hs:16:35: Not in scope: `##' Seems GHC does support macro like #x a##b. Is that true? If not, how to resolve? Thanks alot. Haihua

1 0

LDTA 2009: abstracts due November 28
by Torbjorn.Ekman＠comlab.ox.ac.uk 21 Nov '08

21 Nov '08

*** abstracts - November 28, full papers - December 5 *** LDTA: Workshop on Language Descriptions Tools and Applications http://www.ldta.info ===Call For Papers 2009=== This is the Call For Papers for the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA 2009) LDTA is a two-day satellite event of ETAPS which takes on the 28th and 29th of March 2009 in York, England. Please submit your abstract and paper using http://www.easychair.org/conferences/?conf=ldta2009 ==Scope== LDTA is an application and tool oriented forum on meta programming in a broad sense. A meta program is a program that takes other programs as input or output. The focus of LDTA is on generated or otherwise efficiently implemented meta programs, possibly using high level descriptions of programming languages. Tools and techniques presented at LDTA are usually applicable in the context of "Language Workbenches" or "Meta Programming Systems" or simply as parts of advanced programming environments or IDEs. The applications areas include, but are not limited to: * Program analysis, transformation, generation and verification * Implementation of Domain Specific Languages (both visual and textual) * Reverse engineering and reengineering * Refactoring and other source-to-source transformations * Application modelling (MDE, MDA, Software Factories, Software product lines) * Grammar engineering / Grammarware * Language definition and language prototyping * Debugging, profiling and testing * IDE construction * Compiler construction LDTA is a well-established workshop next to other conferences and workshops on (programming) language engineering topics such as SLE and GPCE. LDTA is traditionally a forum where computer science theories are put to the test of real-world software engineering issues, for example by applying: * context-free grammars to parser generation for real programming languages, * attribute grammars to static analyzer and compiler generation, * term rewriting to source-to-source transformation, * action semantics to programming language implementation, * model checking to software verification. Note that LDTA solicits submissions from any technological or theoretical domain, as long as the paper is within the application scope. ==Submission Procedure and Publication== Submissions in the following categories are admissible: * research papers, * tool papers, * experience papers The final versions of accepted papers will probably(*) be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, and will be made available during the workshop. (*)Due to organizational changes at Elsevier, publication by ENTCS publication is provisional; another comparable venue will be found otherwise. Each submission must: * clearly and unambiguously state in which of the three categories it falls * be original, i.e. not published or submitted elsewhere, * contain a clear motivation, * contain a thorough analysis of the claimed contributions (for example by comparing to related work), * be written in less than 15 pages (research papers and experience reports), or less than 10 pages (tool papers) * use the ENTCS style. The authors of each submission are required to give a presentation at LDTA 2009. The authors of the tool papers are required to include an interactive demonstration in their presentations. The authors of the best papers will be invited to write a journal version of their paper which will be separately reviewed and, assuming acceptance, be published in journal form. As in past years, this will be done in a special issue devoted to LDTA 2009 of the journal Science of Computer Programming (Elsevier Science). The authors of the best tool papers will be invited to write a paper and submit the source of code of their tool, which will both be separately reviewed and, assuming acceptance, be published in the special issue on Experimental Software and Toolkits (EST) of the journal Science of Computer Programming (Elsevier Science). Please submit your abstract and paper using http://www.easychair.org/conferences/?conf=ldta2009 ==Program Committee== Jurgen Vinju, CWI, Amsterdam (co-chair) Torbjörn Ekman, Oxford, UK (co-chair) Erik Meijer, Microsoft, Redmond, USA Walid Taha, Rice University, Houston USA Bob Fuhrer, IBM TJ Watson, USA Susan Eisenbach, Imperial College, UK Jean-Marie Jacquet, FUNDP, Namur, Belgium Sibylle Schuppe, Chalmers, Sweden Elizabeth Scott, RHUL, UK Robert Grimm, NYU, USA Judith Bishop, Pretoria, South Africa Tudor Girba, Univ of Berne, Switzerland Marjan Mernik, University of Maribor, Slovenia Thomas Dean, Fondazione Bruno Kessler - IRST, Italy Martin Bravenboer, Univ. of Oregon, USA Pierre-Etienne Moreau, INRIA-LORIA, France Gabi Taentzer, Philipps-Universität Marburg, Germany Joao Saraiva, Universidade do Minho, Braga, Portugal Tijs van der Storm, CWI, The Netherlands Stephen Edwards, Columbia University, USA Peter Thiemann, Universität Freiburg, Germany ==Important Dates== Abstract submission deadline:Friday November 28th, 2008 Paper submission deadline:Friday December 5th, 2008 Notification of acceptance:Friday February 6th, 2009 Workshop date:28th and 29th of March, 2009

1 0

Haskell Reddit
by Don Stewart 20 Nov '08

20 Nov '08

I'm not sure if the cafe@ knows this, but there's a bit of a Haskell community (1200+ subscribers) built up around the Haskell subreddit on reddit.com, http://www.reddit.com/r/haskell/ A good source for news other than what appears on Planet Haskell. -- Don P.S. Feel free to submit things you like, so I don't have to :-)

1 0

The Monad.Reader - Issue 12: SoC Special
by Wouter Swierstra 19 Nov '08

19 Nov '08

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 12 is another Summer of Code special and consists of the following three articles: * Max Bolingbroke Compiler Development Made Easy * Roman Cheplyaka How to Build a Physics Engine * Neil Mitchell Hoogle Overview The Monad.Reader is a quarterly magazine about functional programming. It is less formal than a journal, but more enduring than a wiki page or blog post. If you'd like to write something for the next issue of The Monad.Reader, please get in touch. The deadline for the next issue will be February 13th. Looking forward to your submissions, Wouter This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

ANNOUNCE: Turbinado V0.1
by Alson Kemp 18 Nov '08

18 Nov '08

I'd like to announce Turbinado, a very young and raw MVC web framework for Haskell. While the framework doesn't exactly copy Ruby on Rails, it certainly rhymes... It's very early days for Turbinado, but the framework is moving along nicely. There are still issues to be ironed out and architectural details to be decided, so help/contribution would be very much appreciated. Turbinado can be found at: http://www.turbinado.org The source can be found at: http://github.com/alsonkemp/turbinado/tree/master (see the /App directory for the code for www.turbinado.org) Turbinado: * Provides a fast web server (based on HSP; see http://turbinado.org/Home/Performance) * Provides a straightforward organization for your website (courtesy of Rails); * Uses simple HTML-like templating (courtesy of HSX); * Is easily extensible (courtesy of an Environment built out of _Map String Dynamic_, not the most type-safe of beasties; Help!); * Configurable routing (see Config/Routes.hs). Turbinado is currently lacking: * Documentation... * An easy install... * A database ORM based on HDBC (visibly incomplete and ugly in Turbinado/Database/ORM); * Many more HTML helpers; * Controllers for partials (lightweight "controls" ala ASP.NET) * Strong error reporting and handling; * Lots of functionality and plugins; * ... the favorite feature that you want to develop for Turbinado ...

1 0

ANNOUNCE: EEConfig-1.0
by Bartosz Wójcik 18 Nov '08

18 Nov '08

ExtremlyEasyConfig ============ I've searched for simply library to read parameters from input file. I've found ConfigFile only one and during reading its docu understood, that for simple functionality I needed I'd rather write faster sth new than understood usage of this powerfull cannon. Here it is. It recognizes given parameters and their values. As input it becomes list of parameters and all their possible values in format [ParameterInput] and input String where parameters will be searched for. As output it deliveres recognized parameters and their values in format [ParameterOutput], where only these parameters are present which have been found in the input string. This format can be tranformed then to Map one and as such easy queried. Handy functions provided. Parameters in the input string have to be always given in following format: (<flagname> <parameter>)*. Anything what is not recognized as parameter or value is ignored. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EEConfig Haddock doesn't show 2 query functions from the source, I've no idea why. Best regards, Bartek

1 0

announcing darcs 2.1.2
by Eric Kow 17 Nov '08

17 Nov '08

Hi everybody, I am pleased to announce the release of darcs 2.1.2, which you can download from http://darcs.net/darcs-2.1.2.tar.gz This is deliberately a very modest release, containing as few changes from darcs 2.1.0 as we can manage. The changes we have included are GHC 6.10 support and a bugfix for Windows (notably, one which makes darcs help work from the DOS prompt without the need for MSYS or Cygwin). See the attached ChangeLog for details. So what's next? We have been doing a lot of work and we're eager to show you some of the results. Our next release is scheduled for January of 2009, with performance improvements from the darcs hacking sprint, improved Windows support, a new optional Cabal-based build and a first cut at libdarcs. Thanks! -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9

1 0

SPJ's interview for Computer World on Haskell
by Bulat Ziganshin 16 Nov '08

16 Nov '08

Hello haskell, http://www.computerworld.com.au/index.php/id;1974033854 -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

1 0