Haskell Weekly News: Issue 137 - October 31, 2009

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

Haskell Weekly News: Issue 137 - October 31, 2009

jfredett

---------------------------------------------------------------------------
Haskell Weekly News
http://sequence.complete.org/hwn/20091031
Issue 137 - October 31, 2009
---------------------------------------------------------------------------
   Welcome to issue 137 of HWN, a newsletter covering developments in the
   [1]Haskell community.

   This week brings a new release of xmonad, some cool bindings to allow
   interaction with GNOME, KDE, and XFCE desktops and a new version of
   haskell-mode for the lesser of two editors... Some progress has also
   been made on the new HWN software, though this was mitigated by the
   fact that I started playing with the Isabelle theorem prover (after
   reading about Haskabelle) and so now I find myself convinced I should
   formally prove all of my software, and also that I'm pretty much
   incapable of getting things done when cool tools present themselves. In
   fact, I don't think I'll even be able to finish this [2]editori*
   [3]Exception: The Haskell Weekly News!

Announcements

   xmonad 0.9 is now available! Don Stewart [4]announced a new version of
   everyone's favorite Tiling Window Manager, xmonad! The changes and
   improvments are too numerous to mention, see the post for details!

   WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9. Pablo
   Nogueira [5]announced a second call for papers for the Workshop on
   Functional and Constraint Logic Programming.

   dbus-core 0.5 and dbus-client 0.1. John Millikin [6]announced
   pure-Haskell client libraries for using the D-Bus protocol. D-Bus is
   heavily used for inter-application IPC on Free and open-source desktop
   platforms, such as Linux, OpenSolaris, and FreeBSD. These libraries
   allow applications written in Haskell to inter-operate with other
   components of recent GNOME, KDE, and XFCE desktops.

   Singapore Functional Programmer Group First Meetup. Kenny Lu
   [7]announced (with apologies for the late notice) an informal meeting
   for the Functional Programmer Group in Singapore on 2 Nov 2009. The
   theme for the first meeting will be 'meet and greet'.

   GeBoP 1.7. Henk-Jan van Tuyl [8]updated and cabalized GeBoP (the
   General Boardgames Player) and uploaded it to hackage.

   GPS package on Hackage. Thomas DuBuisson [9]announced that he fixed up
   the GPS package to add correct distance calculation and a separate
   module for exporting KML.

   GPipe-TextureLoad 1.0.0 and GPipe 1.0.3. Tobias Bexelius [10]announced
   a new version of GPipe as well as a utility package for loading
   textures.

   HoleyMonoid-0.1. Martijn van Steenbergen [11]announced announce the
   first release of HoleyMonoid, a datatype that helps you build monoids
   with holes in them. The holes are filled in later using normal function
   application.

   GlomeVec, IcoGrid. Jim Snow [12]announced a couple of packages,
   GlomeVec is a vector library used in Jim's ray-tracer, and IcoGrid is a
   library for dealing with grids of hexagons and pentagons wrapped on a
   sphere.

   attempt-0.0.0. Michael Snoyman [13]announced a new package for
   exceptions

   haskell-mode 2.5. Svein Ove Aas [14]announced a new version of
   haskell-mode for that other 'editor'...

Discussion

   Applicative but not Monad. Yusaku Hashimoto [15]asked about an example
   of a datatype that was an instance of Applicative, but not an instance
   of Monad.

   AND/OR Perceptron. Hector Guilarte [16]asked about how to understand a
   particular portion of JP Moresmau's [17]Perceptron in Haskell

   What is the current state of affairs with supercompilation? Eugene
   Kirpichov [18]asked about supercompilation in Haskell.

Blog noise

   [19]Haskell news from the [20]blogosphere. Blog posts from people new
   to the Haskell community are marked with >>>, be sure to welcome them!
     * Magnus Therning: [21]Playing with sockets in Haskell.
     * Holumbus: [22]Switched to Git.
     * Manuel M T Chakravarty: [23]Finally found the ghci bug on Snow
       Leopard.
     * Galois, Inc: [24]Tech Talk: Testing First-Order-Logic Axioms in
       AutoCert.
     * Brent Yorgey: [25]Collecting Attributes.
     * Darcs: [26]darcs weekly news #44.
     * FP Lunch: [27]Parser Combinators are as expressive as possible.
     * David Amos: [28]Simple groups, the atoms of symmetry.
     * Xmonad: [29]xmonad 0.9 available now!.
     * Michael Snoyman: [30]Introduction to attempt error reporting
       library.
     * FP-Syd: [31]Sydney FP Group: FP-Syd #20..

Quotes of the Week

     * hexpuem: [on learning haskell] the best way is to shove a SD card
       up your nose with learn yourself a haskell good on it
     * copumpkin:
       copumpkin: 'YOU ARE SUCH A PULLBACK'
       copumpkin: 'YOU KNOW WHAT? I FUNCTORED YOUR MOTHER LAST NIGHT'
     * saml and mauke:
       saml: 'How can I convert python file to haskell?'
       mauke: 'By piping it through a programmer'
     * monochrom: premature generality is the root of OOP
     * EvilTerran: {-# LANGUAGE FlexibleMorals #-} -- needed for
       unsafeLaunchMissiles
     * Warrigal: Hey, the module loaded. I didn't expect that.
     * lilac:
       class Monad m where
       return and Kleisli compose
       must form a monoid

About the Haskell Weekly News

   New editions are posted to [32]the Haskell mailing list as well as to
   [33]the Haskell Sequence and [34]Planet Haskell. [35]RSS is also
   available, and headlines appear on [36]haskell.org.

   To help create new editions of this newsletter, please see the
   information on [37]how to contribute. Send stories to jfredett . at .
   gmail . dot . com. The darcs repository is available at darcs get
   [38]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .

References

   1. http://haskell.org/
   2. http://uncyclopedia.wikia.com/wiki/Haskell
   3. http://www.reddit.com/r/haskell/comments/9yt9m/haskell_is_an_obscure_and_mostly_disused_esoteric/
   4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65286
   5. http://article.gmane.org/gmane.comp.lang.haskell.general/17596
   6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65436
   7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65406
   8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65384
   9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65326
  10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65320
  11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65311
  12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65294
  13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65281
  14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/65268
  15. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/65418
  16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/65393
  17. http://jpmoresmau.blogspot.com/2007/05/perceptron-in-haskell.html
  18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/65227
  19. http://planet.haskell.org/
  20. http://haskell.org/haskellwiki/Blog_articles
  21. http://therning.org/magnus/archives/778
  22. http://holumbus.fh-wedel.de/blog/?p=25
  23. http://justtesting.org/post/227629236
  24. http://www.galois.com/blog/2009/10/28/ahn-autocert/
  25. http://byorgey.wordpress.com/2009/10/28/collecting-attributes/
  26. http://blog.darcs.net/2009/10/darcs-weekly-news-44.html
  27. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=271
  28. http://haskellformaths.blogspot.com/2009/10/simple-groups-atoms-of-symmetry.html
  29. http://xmonad.wordpress.com/2009/10/26/xmonad-0-9-available-now/
  30. http://blog.snoyman.com/2009/10/25/introduction-to-attempt-error-reporting-library/
  31. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-20.html
  32. http://www.haskell.org/mailman/listinfo/haskell
  33. http://sequence.complete.org/
  34. http://planet.haskell.org/
  35. http://sequence.complete.org/node/feed
  36. http://haskell.org/
  37. http://haskell.org/haskellwiki/HWN
  38. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Haskell Weekly News: Issue 137 - October 31, 2009

Benjamin L. Russell
On Fri, 30 Oct 2009 21:38:25 -0700 (PDT), [hidden email] wrote:

>
>  ... a new version of
>   haskell-mode for the lesser of two editors....
                         ^^^^^^
>  
>  [...]
>  
>   haskell-mode 2.5. Svein Ove Aas [14]announced a new version of
>   haskell-mode for that other 'editor'...
                                ^      ^

Hey, careful now.... No need to start another Emacs vs. the other
'editor' flamewar ... lest someone run "M-x nethack" and summon a
Demogorgon against you ... er, make that "M-x haskellhack," since a
Haskell version needs to be created. ;-)

-- Benjamin L. Russell
--
Benjamin L. Russell  /   DekuDekuplex at Yahoo dot com
http://dekudekuplex.wordpress.com/
Translator/Interpreter / Mobile:  +011 81 80-3603-6725
"Furuike ya, kawazu tobikomu mizu no oto."
-- Matsuo Basho^

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Re: Haskell Weekly News: Issue 137 - October 31, 2009

Max Rabkin-2
On Mon, Nov 2, 2009 at 6:42 AM, Benjamin L.Russell
<[hidden email]> wrote:
> Hey, careful now.... No need to start another Emacs vs. the other
> 'editor' flamewar ... lest someone run "M-x nethack" and summon a
> Demogorgon against you ... er, make that "M-x haskellhack," since a
> Haskell version needs to be created. ;-)

There's MazesOfMonad on Hackage, Roguestar at
http://roguestar.downstairspeople.org/, and I think there are more on
Hackage too but it's still down.

> -- Benjamin L. Russell

--Max
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Re: Haskell Weekly News: Issue 137 - October 31, 2009

jfredett
In reply to this post by Benjamin L. Russell
It's not my fault you emacs-y people chose the wrong editor... :)


/Joe

On Nov 1, 2009, at 11:42 PM, Benjamin L.Russell wrote:

> On Fri, 30 Oct 2009 21:38:25 -0700 (PDT), [hidden email] wrote:
>
>>
>> ... a new version of
>>  haskell-mode for the lesser of two editors....
>                         ^^^^^^
>>
>> [...]
>>
>>  haskell-mode 2.5. Svein Ove Aas [14]announced a new version of
>>  haskell-mode for that other 'editor'...
>                                ^      ^
>
> Hey, careful now.... No need to start another Emacs vs. the other
> 'editor' flamewar ... lest someone run "M-x nethack" and summon a
> Demogorgon against you ... er, make that "M-x haskellhack," since a
> Haskell version needs to be created. ;-)
>
> -- Benjamin L. Russell
> --
> Benjamin L. Russell  /   DekuDekuplex at Yahoo dot com
> http://dekudekuplex.wordpress.com/
> Translator/Interpreter / Mobile:  +011 81 80-3603-6725
> "Furuike ya, kawazu tobikomu mizu no oto."
> -- Matsuo Basho^
>
> _______________________________________________
> Haskell-Cafe mailing list
> [hidden email]
> http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Re: Haskell Weekly News: Issue 137 - October 31, 2009

Andrew Coppin
In reply to this post by Benjamin L. Russell
Benjamin L.Russell wrote:
> Hey, careful now.... No need to start another Emacs vs. the other
> 'editor' flamewar ... lest someone run "M-x nethack" and summon a
> Demogorgon against you ... er, make that "M-x haskellhack," since a
> Haskell version needs to be created. ;-)
>  

Yes, because nobody truly believes your language is "fringe" until
somebody implements an obscure text advanture game with it. ;-)

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe