[Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

Daryoush Mehrtash dmehrtash at gmail.com
Sun Sep 14 00:06:21 EDT 2008


I have a newbie question....  Does theorem proofs have a use for an
application?  Take for example the IRC bot example (
http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot)  listed below.  Is
there any insight to be gained by theorem proofs (as in COQ) into the app?

Thanks,

Daryoush

On Sat, Sep 13, 2008 at 4:07 PM, Brent Yorgey <byorgey at seas.upenn.edu>wrote:

> ---------------------------------------------------------------------------
> Haskell Weekly News
> http://sequence.complete.org/hwn/20080913
> Issue 85 - September 13, 2008
> ---------------------------------------------------------------------------
>
>   Welcome to issue 85 of HWN, a newsletter covering developments in the
>   [1]Haskell community.
>
> Announcements
>
>   citeproc-hs. Andrea Rossato [2]announced the first release of
>   [3]citeproc-hs, a Haskell implementation of the [4]Citation Style
>   Language. citeproc-hs adds a Bibtex-like citation and bibliographic
>   formatting and generation facility to [5]Pandoc.
>
>   Twidge. John Goerzen [6]announced the release of [7]Twidge, a
>   command-line Twitter and Identi.ca client.
>
>   Real World HAppS: Cabalized, Self-Demoing HAppS Tutorial (Version 3).
>   Thomas Hartman [8]announced a new version of [9]happs-tutorial, with a
>   correspondingly updated [10]online demo.
>
>   generic list functions fixed. Jim Apple reported that genericTake,
>   genericDrop, and genericSplitAt have [11]been fixed so they are now
>   total functions (they used to fail on negative integer inputs, unlike
>   their ungeneric counterparts).
>
>   The Monad.Reader (13) - Call for copy. Wouter Swierstra [12]announced a
>   call for copy for Issue 13 of the [13]Monad.Reader. The deadline for
>   submitting articles is February 13, 2009.
>
>   Heads Up: code.haskell.org is upgrading to darcs 2. Duncan Coutts
>   [14]announced that /usr/bin/darcs on code.haskell.org will soon be
>   upgraded to version 2. Most users should be unaffected as darcs 2 works
>   just fine with repositories in darcs 1 format, and has been extensively
>   tested for correctness.
>
> Discussion
>
>   packages and QuickCheck. Conal Elliott [15]asked what methods of
>   organization people use to package up QuickCheck tests for their
>   libraries.
>
>   Hackage needs a theme song!. Jason Dagit wrote a [16]theme song for
>   Hackage!
>
> Jobs
>
>   Gamr7. Lionel Barret De Nazaris [17]announced that [18]Gamr7, a startup
>   in France focused on procedural city generation for the game and
>   simulation market, is looking for a senior developer/technical
>   director.
>
>   senior role at Credit Suisse. Ganesh Sittampalam [19]announced that
>   [20]Credit Suisse is seeking to recruit an expert in functional
>   programming for a senior role in the Global Modelling and Analytics
>   Group (GMAG) in the Securities Division.
>
> Blog noise
>
>   [21]Haskell news from the [22]blogosphere.
>     * Douglas M. Auclair (geophf): [23]What is declarative programming?.
>     * John Goerzen (CosmicRay): [24]New Twitter Client: Twidge.
>     * Mark Jason Dominus: [25]Return return. Mark's mind is blown by the
>       code "return return" appearing in a paper by Mark Jones.
>     * Eric Kow (kowey): [26]darcs weekly news #3.
>     * Ketil Malde: [27]The FastQ file format for sequences.
>     * >>> Nathan Sanders: [28]Real World Haskell. Nathan experiments with
>       porting some of his Python code to Haskell.
>     * Andrea Vezzosi (Saizan): [29]Results from GSoC. Andrea's GSoC work
>       on a high-level dependency framework for Cabal is going to be
>       released in a separate package for now, [30]hbuild.
>     * >>> Ricky Clarkson: [31]An IRC Bot in Haskell, 20% code, 80% GRR.
>       Ricky shares his experiences, frustrations, and eventual success
>       writing a simple IRC bot in Haskell.
>     * >>> Yaakov Nemoy: [32]Xmonad 0.8 released.
>     * Luke Palmer: [33]The problem with Coq. ...is, according to Luke,
>       that it doesn't have a nice graphical interface.
>     * >>> James Cowie: [34]Haskell! yes no?. James dives into learning
>       some Haskell. Verdict so far: a "very nice language".
>
> Quotes of the Week
>
>     * EvilTerran: this is hard to express in this type system. i'm going
>       to make my own type system instead!
>
> About the Haskell Weekly News
>
>   New editions are posted to [35]the Haskell mailing list as well as to
>   [36]the Haskell Sequence and [37]Planet Haskell. [38]RSS is also
>   available, and headlines appear on [39]haskell.org.
>
>   To help create new editions of this newsletter, please see the
>   information on [40]how to contribute. Send stories to byorgey at cis
>   dot upenn dot edu. The darcs repository is available at darcs get
>   [41]http://code.haskell.org/~byorgey/code/hwn/<http://code.haskell.org/%7Ebyorgey/code/hwn/>.
>
> References
>
>   1. http://haskell.org/
>   2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/44471
>   3.
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/citeproc%2Dhs
>   4. http://xbiblio.sourceforge.net/csl/
>   5. http://johnmacfarlane.net/pandoc/
>   6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/44453
>   7. http://software.complete.org/twidge
>   8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/44410
>   9.
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial
>  10. http://happstutorial.com:5001/
>  11. http://hackage.haskell.org/trac/ghc/ticket/2533
>  12. http://article.gmane.org/gmane.comp.lang.haskell.general/16420
>  13. http://www.haskell.org/haskellwiki/The_Monad.Reader
>  14. http://article.gmane.org/gmane.comp.lang.haskell.general/16419
>  15. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/44259
>  16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/44450
>  17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/44211
>  18. http://www.gamr7.com/
>  19. http://article.gmane.org/gmane.comp.lang.haskell.general/16422
>  20. http://www.credit-suisse.com/
>  21. http://planet.haskell.org/
>  22. http://haskell.org/haskellwiki/Blog_articles
>  23.
> http://logicaltypes.blogspot.com/2008/09/what-is-declarative-programming.html
>  24.
> http://changelog.complete.org/posts/752-New-Twitter-Client-Twidge.html
>  25. http://blog.plover.com/prog/springschool95.html
>  26. http://koweycode.blogspot.com/2008/09/darcs-weekly-news-3.html
>  27.
> http://blog.malde.org/index.php/2008/09/09/the-fastq-file-format-for-sequences/
>  28. http://sandersn.com/blog/index.php?title=real_world_haskell
>  29.
> http://vezzosi.blogspot.com/2008/09/even-if-this-blog-has-been-silent-since.html
>  30. http://hackage.haskell.org/trac/hackage/wiki/HBuild
>  31.
> http://rickyclarkson.blogspot.com/2008/09/irc-bot-in-haskell-20-code-80-grr.html
>  32. http://loupgaroublond.blogspot.com/2008/09/xmonad-08-released.html
>  33. http://luqui.org/blog/archives/2008/09/07/the-problem-with-coq/
>  34. http://www.jcowie.co.uk/2008/09/haskell-yes-no/
>  35. http://www.haskell.org/mailman/listinfo/haskell
>  36. http://sequence.complete.org/
>  37. http://planet.haskell.org/
>  38. http://sequence.complete.org/node/feed
>  39. http://haskell.org/
>  40. http://haskell.org/haskellwiki/HWN
>  41. http://code.haskell.org/~byorgey/code/hwn/<http://code.haskell.org/%7Ebyorgey/code/hwn/>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080913/faa86498/attachment.htm


More information about the Haskell-Cafe mailing list