Kathleen Fisher | 1 Jul 04:06 2009
Picon

Call for Participation: CUFP

Commercial Users of Functional Programming Workshop (CUFP) 2009

          Functional Programming As a Means, Not an End

                      Call for Participation

                       Sponsored by SIGPLAN
                    Co-located with ICFP 2009
    _________________________________________________________

                         4 September 2009
                       Edinburgh, Scotland

                     Registration is through
           http://www.regmaster.com/conf/icfp2009.html
    _________________________________________________________

  Functional languages have been under academic development 
  for over 25 years, and remain fertile ground for programming
  language research. Recently, however, developers in industrial, 
  governmental, and open source projects have begun to use 
  functional programming successfully in practical applications. 
  In these settings, functional programming has often provided 
  dramatic leverage, including whole new ways of thinking about 
  the original problem.

  The goal of the CUFP workshop is to act as a voice for these
  users of functional programming. The workshop supports the
  increasing viability of functional programming in the
  commercial, governmental, and open-source space by providing a
  forum for professionals to share their experiences and ideas,
  whether those ideas are related to business, management, or
  engineering. The workshop is also designed to enable the
  formation and reinforcement of relationships that further
  the commercial use of functional programming. Providing user
  feedback to language designers and implementors is not a
  primary goal of the workshop, though it will be welcome if it
  occurs.

Program

  CUFP 2009 will last a full day and feature a discussion
  session and the following presentations:

  Bryan O'Sullivan
         Keynote: Real world Haskell

  Lee Momtahan (EDF Trading)
         Implementing a Domain-Specific Language for Derivative
         Pricing with Scala

  Bhasker Kode (hover.in)
         Erlang at hover.in

  Jefferson Heard, (Renaissance Computing Institute)
         Teleconferencing over High-res Maps with Haskell

  Alex Peake (TFC) and Adam Granicz (Intellifactory)
         The First Substantial Line of Business Application in F#

  Christopher Piro and Eugene Letuchy (Facebook)
         Functional Programming at Facebook

  Fermin Reig (Morgan Stanly)
         Computing with Time Series Data in Finance

  Warren Harris (Metaweb)
         Functional Programming at Freebase

  Mark Wong-VanHaren (Glyde)
         Clear & Simple: Composing a Marketplace

  Duncan Coutts (Well-Typed)
         Birth of the Industrial Haskell Group

  There will be no published proceedings, as the meeting is
  intended to be more a discussion forum than a technical
  interchange.

  See http://cufp.galois.com for more information, including
  presentation abstracts and the most recent schedule
  information.

  This will be the sixth CUFP; see CUFP 2004 CUFP 2005, CUFP
  2006, CUFP 2007 and CUFP 2008 for information about the
  earlier meetings, including reports from attendees and video
  of the most recent talks.
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Simon Marlow | 1 Jul 12:27 2009
Picon

Haskell Implementers Workshop: accepted talks

The list of talks at the Haskell Implementers Workshop 2009 has now been 
posted, and I think you'll agree we have an exciting lineup:

http://haskell.org/haskellwiki/HaskellImplementorsWorkshop

See you on 5 September!

Cheers,
	Simon
Neil Mitchell | 1 Jul 21:16 2009
Picon

ANN: HLint 1.6

Hi,

I am pleased to announce HLint 1.6, a tool for automatically
suggesting improvements to your Haskell code. For example:

$ hlint darcs-2.1.2

CommandLine.lhs:49:1: Warning, eta reduce
Found:    quotedArg ftable = between (char '"') (char '"') $ quoteContent ftable
Why not:  quotedArg = between (char '"') (char '"') . quoteContent

CommandLine.lhs:94:1: Error, use concatMap
Found:    concat $ map escapeC s
Why not:  concatMap escapeC s

Ssh.hs:155:17: Error, use isPrefixOf
Found:    take 1 path == "~"
Why not:  "~" `isPrefixOf` path

== INSTALLATION ==

To install hlint, do the standard cabal magic: cabal update && cabal
install hlint

The home page for HLint is: http://community.haskell.org/~ndm/hlint/

The manual is at: http://community.haskell.org/~ndm/darcs/hlint/hlint.htm

== NEW FEATURES FROM 1.4 ==

* Upgrade to haskell-src-exts 1.0.0, this should fix lots of bugs
* Add lots of new hints
* Fix a pile of hlint specific bugs
* Better HTML report generation
* Parallel execution (on my machine, +RTS -N4 makes it run 3 times faster)
* Better support for things the darcs project wanted

Please try out HLint and let me know what you think!

Thanks,

Neil
Simon Peyton-Jones | 2 Jul 16:18 2009
Picon

Fun with type functions

Friends

Ken, Oleg, and I have finished Version 2 of our paper "Fun with Type Functions", which gives a programmer's
tour of what type functions are and how they are useful.

http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns

If you have a moment to look at, and wanted to help us improve it, the above link goes to a wiki page where you can
comment on the paper or discuss it.  We still have time to improve it.

Thanks

Simon
José Pedro Magalhães | 3 Jul 15:07 2009
Picon

[Hs-Generics] ANNOUNCE: regular-0.1

regular: Generic programming with fixed points for regular datatypes
====================================================================

Many generic programs require information about the recursive positions
of a datatype. Examples include the generic fold, generic rewriting, and
the Zipper data structure. This approach provides a fixed point view on
data which allows these definitions for regular datatypes. It can be seen
as a simplification of the Multirec library, which provides similar
functionality but for families of (possibly mutually recursive) datatypes.

This library is the underlying generic representation mechanism in the paper:
  Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring,
  Bastiaan Heeren. A Lightweight Approach to Datatype-Generic Rewriting.
  In Ralf Hinze and Don Syme, editors, Proceedings of the ACM SIGPLAN Workshop
  on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008,
  pages 13–24. ACM Press, 2008.

More information is available on the webpage:
http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Regular

Features
--------

* A simple library with a fixed point view

* Includes detailed examples, such as the generic fold

* Forms the basis for a generic rewriting library:
  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rewriting

* In its current form, this library does not support nested datatypes. Support
  to access parameters of a datatype is limited.

Requirements
------------

* GHC 6.10.1 or later
* Cabal 1.2.1 or later

Download
--------

With cabal-install:

  cabal install regular

Get the package:

  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regular

Get the source:

  svn checkout https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/regular/

Bugs & Support
--------------

Report issues, request features, or just discuss the library with the
authors, maintainers, and other interested persons at:

  http://www.haskell.org/mailman/listinfo/generics



--------------
José Pedro Magalhães
Universiteit Utrecht

_______________________________________________
Generics mailing list
Generics <at> haskell.org
http://www.haskell.org/mailman/listinfo/generics
Brent Yorgey | 4 Jul 17:52 2009

Haskell Weekly News: Issue 124 - July 4, 2009

---------------------------------------------------------------------------
Haskell Weekly News
http://sequence.complete.org/hwn/20090704
Issue 124 - July 04, 2009
---------------------------------------------------------------------------

   Welcome to issue 124 of HWN, a newsletter covering developments in the
   [1]Haskell community.

Announcements

   HLint 1.6. Neil Mitchell [2]announced the release of [3]HLint 1.6, a
   tool for automatically suggesting improvements to Haskell code.

   Haskell Implementers Workshop: accepted talks. Simon Marlow
   [4]announced that the list of talks at the [5]Haskell Implementers
   Workshop 2009 has now been posted.

   bloxorz clone. Patai Gergely [6]announced a [7]Haskell clone of the
   game "bloxorz", written by Viktor Devecseri.

   Fun with type functions. Simon Peyton-Jones [8]announced that he, Ken
   Shan, and Oleg have finished Version 2 of their [9]paper "Fun with Type
   Functions", which gives a programmer's tour of what type functions are
   and how they are useful. If you have a moment to look at, and wanted to
   help them improve it, leave comments on the linked wiki page.

   package Boolean: Generalized booleans. Conal Elliott [10]announced
   [11]Boolean, a new package for generalized booleans, which provides
   type classes with generalizations of Boolean values and operations,
   if-then-else, Eq and Ord.

   TernaryTrees-0.1.1.1 - An efficient ternary tree implementation of Sets
   and Maps. Alex Mason [12]announced the release of [13]TernaryTrees, a
   package that extends Data.Set ad Data.Map with some ternary tree
   structures, one of the more efficient ways of storing strings in a set.

   6.12.1 planning. Simon Marlow [14]announced plans for a release of GHC
   6.12.1, sometime around September. If you have the time and inclination
   to help with any of the listed features, please get involved!

   regular-0.1. José Pedro Magalhães [15]announced the release of the
   [16]regular library. Many generic programs require information about
   the recursive positions of a data type, such as generic fold, generic
   rewriting, and the Zipper data structure. Regular provides a fixed
   point view on data which allows these definitions for regular data
   types. It also serves as the basis for a [17]generic rewriting library.

Google Summer of Code

   Progress updates from participants in the 2008 [18]Google Summer of
   Code.

   Haddock improvements. Isaac Dupree has made it easier to generate
   Haddock documentation [19]for non-exported functions, posted an
   [20]overview of the issues involved in getting proper cross-package
   documentation working, and his current [21]plan.

   EclipseFP. Thomas Ten Cate has done a lot of work on EclipseFP,
   including some [22]cosmetic updates and getting [23]error reporting to
   work better.

   space profiling. Gergely Patai is [24]working on a network protocol for
   his profiling grapher tool, so that other tools can monitor the
   profiling information.

   haskell-src-exts. Niklas Broberg has [25]released [26]haskell-src-exts
   version 1.0.0!

   fast darcs. Petr Rockai has completed [27]quite a bit of work on darcs,
   including a [28]beta release of darcs 2.3.

Discussion

   Monoid wants a (++) equivalent. Bryan O'Sullivan [29]suggested adding a
   more concise operator to the Monoid class for 'mappend', leading to a
   long, bike-shed-ish (but hopefully still useful) discussion.

   Reflections on the ICFP 2009 programming contest. Justin Bailey began a
   [30]discussion on results and experiences from the ICFP 2009
   programming contest.

Blog noise

   [31]Haskell news from the [32]blogosphere. Blog posts from people new
   to the Haskell community are marked with >>>, be sure to welcome them!
     * Gergely Patai: [33]Playing and learning.
     * Ketil Malde: [34]A set of tools for working with 454 sequences.
     * Sebastian Fischer: [35]FP Overview.
     * Magnus Therning: [36]Making a choice from a list in Haskell, Vty
       (part 1).
     * David Amos: [37]Conjugacy classes, part 1.
     * Well-Typed.Com: [38]GHC and Windows DLLs.
     * Manuel M T Chakravarty: [39]Converting typed term representations:
       from HOAS to de Bruijn..
     * >>> Ivan Uemlianin: [40]Haskell: sort and sortBy.
     * Gregory Collins: [41]Building a website with Haskell, part 3.
     * Michael Snoyman: [42]Hack sample- chat server.
     * Luke Palmer: [43]On the By functions.
     * Magnus Therning: [44]Dataenc finally making it into Debian.
     * Thomas ten Cate: [45]New build instructions.
     * Erik de Castro Lopo: [46]Three More for the Debian New Queue.
     * >>> Yuval Kogman: [47]What Haskell did to my brain.
     * Greg Bacon: [48]FFI: calling into kernel32.dll.
     * Greg Bacon: [49]Setting up a simple test with Cabal.
     * Ketil Malde: [50]Dephd updates.
     * Bryan O'Sullivan: [51]What's in a text API?.
     * Brent Yorgey: [52]2009 ICFP programming contest reflections.
     * Galois, Inc: [53]Galois, Inc. Wins Two Small Business Research
       Awards from Federal Agencies.
     * Greg Bacon: [54]Cleaning up your Haskell imports.
     * Douglas M. Auclair (geophf): [55]Realized Constants are Comonadic.

Quotes of the Week

     * KF8NH: all monads are functors, but for Hysterical Raisins not all
       Monads are Functors.
     * lilac: lambda actually is just the greek letter l. it stands for
       lilac.
     * lilac: before mauke we all implemented map with a fold every time
       we needed it.
     * luqui: I'll just stick to my religion: I have a personal
       relationship with our lord and savior, the untyped lambda calculus.
     * copumpkin: I think I was implemented in haskell. I mean, my parents
       never used seq, ever.
     * Benjamin Russell: Haskell. "Avoid success at all costs." Made with
       dinosaur technology.

About the Haskell Weekly News

   New editions are posted to [56]the Haskell mailing list as well as to
   [57]the Haskell Sequence and [58]Planet Haskell. [59]RSS is also
   available, and headlines appear on [60]haskell.org.

   To help create new editions of this newsletter, please see the
   information on [61]how to contribute. Send stories to byorgey at cis
   dot upenn dot edu. The darcs repository is available at darcs get
   [62]http://code.haskell.org/~byorgey/code/hwn/ .

References

   1. http://haskell.org/
   2. http://article.gmane.org/gmane.comp.lang.haskell.general/17332
   3. http://community.haskell.org/~ndm/hlint/
   4. http://article.gmane.org/gmane.comp.lang.haskell.general/17331
   5. http://haskell.org/haskellwiki/HaskellImplementorsWorkshop
   6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/60907
   7. http://just-bottom.blogspot.com/2009/07/playing-and-learning.html
   8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/60846
   9. http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns
  10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/60716
  11. http://hackage.haskell.org/package/Boolean
  12. http://www.haskell.org//pipermail/haskell-cafe/2009-June/063625.html
  13. http://hackage.haskell.org/package/TernaryTrees
  14. http://www.haskell.org//pipermail/haskell-cafe/2009-June/063681.html
  15. http://www.haskell.org//pipermail/haskell/2009-July/021468.html
  16. http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Regular
  17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rewriting
  18. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008
  19. http://haddock2009.wordpress.com/2009/06/23/how-to-navigate-your-code/
  20. http://haddock2009.wordpress.com/2009/06/24/cross-package-documentation-part-1/
  21. http://haddock2009.wordpress.com/2009/06/25/cross-package-plan-a/
  22. http://eclipsefp.wordpress.com/2009/06/20/cosmetics/
  23. http://eclipsefp.wordpress.com/2009/06/30/compiling-and-error-reporting/
  24. http://just-bottom.blogspot.com/2009/06/short-term-hp2any-plans.html
  25. http://nibrofun.blogspot.com/2009/06/gsoc-status-report-week-4.html
  26. http://hackage.haskell.org/package/haskell%2Dsrc%2Dexts
  27. http://web.mornfall.net/blog/soc_progress_5.html
  28. http://web.mornfall.net/blog/darcs_2.3_beta_1.html
  29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/60754
  30. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/60690
  31. http://planet.haskell.org/
  32. http://haskell.org/haskellwiki/Blog_articles
  33. http://just-bottom.blogspot.com/2009/07/playing-and-learning.html
  34. http://blog.malde.org/index.php/2009/07/03/a-set-of-tools-for-working-with-454-sequences/
  35. http://www-ps.informatik.uni-kiel.de/~sebf/haskell/fp-overview.html
  36. http://therning.org/magnus/archives/685
  37. http://haskellformaths.blogspot.com/2009/06/conjugacy-classes-part-1.html
  38. http://blog.well-typed.com/2009/07/ghcdlls/
  39. http://justtesting.org/post/134566537
  40. http://llaisdy.wordpress.com/2009/07/03/haskell-sort-and-sortby/
  41. http://gregorycollins.net/posts/2009/07/02/building-a-website-part-3
  42. http://blog.snoyman.com/2009/07/01/hack-sample-chat-server/
  43. http://lukepalmer.wordpress.com/2009/07/01/on-the-by-functions/
  44. http://therning.org/magnus/archives/672
  45. http://eclipsefp.wordpress.com/2009/07/01/new-build-instructions/
  46. http://www.mega-nerd.com/erikd/Blog/CodeHacking/Debian/polyparse_dataenc_json.html
  47. http://nothingmuch.woobling.org/talks/takahashi.xul?data=yapc_na_2009/haskell_brain.txt#page1
  48. http://feedproxy.google.com/~r/gbacon/~3/o-lAJeIoUbk/ffi-calling-into-kernel32dll.html
  49. http://feedproxy.google.com/~r/gbacon/~3/7rlf4Dd1JKU/setting-up-simple-test-with-cabal.html
  50. http://blog.malde.org/index.php/2009/06/16/dephd-updates/
  51. http://www.serpentine.com/blog/2009/06/30/python-and-haskell-text-apis-compare/
  52. http://byorgey.wordpress.com/2009/06/29/2009-icfp-programming-contest-reflections/
  53. http://www.galois.com/blog/2009/06/29/galois-awarded-two-federal-sbirs/
  54. http://feedproxy.google.com/~r/gbacon/~3/AGNKaCB2-GI/cleaning-up-your-haskell-imports.html
  55. http://logicaltypes.blogspot.com/2009/06/realized-constants-are-comonadic.html
  56. http://www.haskell.org/mailman/listinfo/haskell
  57. http://sequence.complete.org/
  58. http://planet.haskell.org/
  59. http://sequence.complete.org/node/feed
  60. http://haskell.org/
  61. http://haskell.org/haskellwiki/HWN
  62. http://code.haskell.org/~byorgey/code/hwn/
Michael Dever | 5 Jul 15:43 2009
Picon
Picon

ANN: Gtk2hsGenerics

Hi all,

Apologies if this goes through twice.

I extracted some functions from working on haskellfm, and made them a bit generic. There's no new functionality in this, but some handy functions that I found useful while working on it. They take some of the pain out extracting information from stores and adding more information in.

The modules are:

Graphics.UI.Gtk.Generics.ListStore:

Functionality for:
Repopulating an existing ListStore with a list of new data.
Obtaining an element from a ListStore, identified by a TreePath.
Prepending/Appending a ListStore with another list.

Graphics.UI.Gtk.Generics.TreeStore:

Functionality for:
Obtaining all the objects from a TreeStore that correspond to a TreePath.
Finding a TreePath to match the elements in a supplied list.

Graphics.UI.Gtk.Generics.TreeView

*At the moment this only applies to a TreeView with  ListStore.*

Functionality for:
Getting a single selection from a TreeView containing a ListStore.
Getting multiple selections from a TreeView containing a ListStore.
Applying a function to a single selection of a TreeView containing a ListStore.
Applying a function across multiple selections from a TreeView containing a ListStore.

The package is available on Hackage at:
http://hackage.haskell.org/package/Gtk2hsGenerics-0.1


Regards,
Michael
_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Michael Dever | 5 Jul 15:39 2009
Picon

ANN: Gtk2hs Generics

Hi all,

I extracted some functions from working on haskellfm, and made them a  
bit generic. There's no new functionality in this, but some handy  
functions that I found useful while working on it. They take some of  
the pain out extracting information from stores and adding more  
information in.

The modules are:

Graphics.UI.Gtk.Generics.ListStore:

Functionality for:
	Repopulating an existing ListStore with a list of new data.
	Obtaining an element from a ListStore, identified by a TreePath.
	Prepending/Appending a ListStore with another list.

Graphics.UI.Gtk.Generics.TreeStore:

Functionality for:
	Obtaining all the objects from a TreeStore that correspond to a  
TreePath.
	Finding a TreePath to match the elements in a supplied list.

Graphics.UI.Gtk.Generics.TreeView

*At the moment this only applies to a TreeView with  ListStore.*

Functionality for:
	Getting a single selection from a TreeView containing a ListStore.
	Getting multiple selections from a TreeView containing a ListStore.
	Applying a function to a single selection of a TreeView containing a  
ListStore.
	Applying a function across multiple selections from a TreeView  
containing a ListStore.

The package is available on Hackage at:
	http://hackage.haskell.org/package/Gtk2hsGenerics-0.1
	

Regards,
Michael

------------------------------------------------------------------------------
Matthew Elder | 5 Jul 21:57 2009

ANNOUNCE: sendfile-0.2, now with portable offset + bytecount parameters

Announcing sendfile-0.2, now with portable offset + bytecount parameters!

See: http://hackage.haskell.org/package/sendfile-0.2

Testers needed / wanted!

Happy Hacking,
Matthew Elder


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "HAppS" group.
To post to this group, send email to HAppS <at> googlegroups.com
To unsubscribe from this group, send email to HAppS+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
For more options, visit this group at http://groups.google.com/group/HAppS?hl=en
-~----------~----~----~----~------~----~------~--~---

Simon Marlow | 7 Jul 16:04 2009
Picon

Announcing the new Haskell Prime process, and Haskell 2010

At last year's Haskell Symposium, it was announced that we would change 
the Haskell Prime process to make it less monolithic.  Since then, 
everyone has been busy using Haskell (or implementing it), and we 
haven't made much progress on the standardisation side of things.  Well, 
with ICFP and the Haskell Symposium approaching we felt it was time to 
get the new process moving and hopefully produce a language revision 
this year.

I've updated the Haskell' wiki with the new information; in particular 
the process is documented here:

   http://hackage.haskell.org/trac/haskell-prime/wiki/Process

We're aiming to announce the list of accepted proposals at the Haskell 
Symposium this year.  However, owing to the short timescale, the list is 
going to be correspondingly short, and limited to extensions which are 
either already fully specified (i.e. the FFI) or are small and 
well-understood.  The following list is very provisional; we'll be 
making the final decisions next month.

ForeignFunctionInterface
LineCommentSyntax
PatternGuards
DoAndIfThenElse
Remove n+k patterns
RelaxedDependencyAnalysis
EmptyDataDeclarations
HierarchicalModules
NonDecreasingIndentation
remove FixityResolution from the context-free grammar
change the syntax of QualifiedOperators

In the coming weeks we'll be refining proposals in preparation for 
Haskell 2010.  By all means suggest more possibilities; however note 
that as per the new process, a proposal must be "complete" (i.e. in the 
form of an addendum) in order to be a candidate for acceptance.

I have updated the status page

   http://hackage.haskell.org/trac/haskell-prime/wiki/Status

marking everything except the proposals that have been already 
implemented in the draft Report as "old".  The new process requires a 
proposal to have an owner or owners in order to make progress; once a 
proposal has an owner it will move into the "under discussion" state. To 
take up ownership of an existing proposal, or to start a new proposal, 
ask on the mailing list.  There are other ways you can get involved; 
some suggestions are on the Haskell' main page:

   http://hackage.haskell.org/trac/haskell-prime/wiki

(hmm, I suppose we should fix that logo too...)

Cheers,
	Simon

Gmane