[Haskell] Haskell Weekly News: Issue 145 - January 10, 2010
jfredett at gmail.com
jfredett at gmail.com
Sun Jan 10 12:01:19 EST 2010
---------------------------------------------------------------------------
Haskell Weekly News
http://sequence.complete.org/hwn/20100110
Issue 145 - January 10, 2010
---------------------------------------------------------------------------
Welcome to issue 145 of HWN, a newsletter covering developments in the
[1]Haskell community.
Welcome back Haskellers to the HWN! After a short hiatus we return with
a megaedition covering the last three weeks of Haskell news and
discussion. Needless to say, lots of new package and event
announcements, as well as some really great discussions (the discussion
about 'lawless' uninstances of Functors was particularly interesting)
over the holiday break. Hopefully everyone had a safe and happy holiday
season, and is back now steadily working off the winter-weight (in
accordance with resolutions or no) by tapping steadily at the keyboard,
producing wonderful new packages for me to place in this, your Haskell
Weekly News!
Announcements
Last CfP for TGC 2010: EXTENDED deadline Jan. 20 2010. Emilio Tuosto
[2]announced an extension to the TGC'10 call for papers.
SourceGraph-0.6.0.0 and Graphalyze-0.9.0.0. Ivan Lazar Miljenovic
[3]announced new releases of the SourceGraph and Graphalyze packages.
Streaming Component Combinators 0.4. Mario Blazevic [4]announced
version 0.4 of Streaming Component Combinators (SCC).
safer-file-handles-0.1. Bas van Dijk [5]announced a new member of the
'monadic regions' family -- safer-file-handles. This package provides
safety features on top of System.IO for handling file handles and
operations.
HOR 2010 1st CALL FOR ABSTRACTS. Frederic Blanqui [6]1f4e
gmane.comp.lang.haskell.general/17710 announced the first call for
abstracts for the Fifth International Workshop on Higher-Order
Rewriting.
vty-4.2.1.0. Corey O'Connor [7]announced a new version of the vty
package.
stm-io-hooks-0.6.0. Peter Robinson [8]announced a new version of
stm-io-hooks. This version includes major interface changes, including
the elimation of the 'onRetry' combinator.
hecc-0.2. Marcel Fourne [9]announced the second release of his elliptic
curve cryptography package, hecc. This release includes a license
change to the BSD3 license, speed improvements, and new algorithms for
point multiplication, as well as other changes.
ghc-6.12.1 binary package for OpenSolaris. Michael Lee [10]announced a
binary package availability of ghc-6.12 for OpenSolaris.
Final Call for Participation: TLDI'10. Andrew Kennedy [11]announced the
final call for participation in TLDI'10, the Workshop on Types in
Language Design and Implementation.
Haskell Web News: Looking back on 2009. Don Stewart [12]announced The
Haskell Web News, a monthly summary of the hottest news about the
Haskell programming language.
hakyll-0.4. Jasper Van der Jeugt [13]announced the release of hakyll, a
static site generator library.
system-uuid-1.2.0. Jason Dusek [14]announced a new release of
system-uuid.
New versions of ALL the monadic regions packages. Bas van Dijk
[15]announced a new version of all of the monadic regions packages,
explanation of what this means is best left to the original post,
linked previously.
tuntap-0.0.1. John Van Enk [16]announced a new package, extracted from
his in-progress VPN project. This package provides access to the
TUN/TAP device in Linux.
CPython / libpython bindings. John Millikin [17]announced a package
providing bindings to the C API for CPython/libpython.
Discussion
Typed Configuration Files. Sebastian Fischer [18]asked about whether
there was an analogue to CmdArgs for config files.
Review request for my permutations implementation. CK Kashyap [19]asked
for a review of his implementation of a function for finding
permutations -- in addition to a review he asked for earlier for code
involving monads. The result is a nice pair of threads with
introductory material about idiomatic, efficient Haskell code.
lawless instances of Functor. Paul Brauner [20]asked about 'lawless'
instances (Editor's Note: more so -- 'uninstances', since by
definition, it cannot be a functor without satisfying the laws, even if
it an instance can be written) of the `Functor` class. This is in an
effort to better understand how Functors work in Haskell and in the
wider theory.
Blog noise
[21]Haskell news from the [22]blogosphere. Blog posts from people new
to the Haskell community are marked with >>>, be sure to welcome them!
* Neil Mitchell: [23]Using .ghci files to run projects.
* Tom Moertel: [24]A formal language for recipes: brain dump.
* Mark Jason Dominus: [25]A monad for probability and provenance.
* Alex Mason: [26]A small follow up.
* Russell O'Connor: [27]Constructive Classical Completeness.
* Galois, Inc: [28]GHC Nominated for Programming Language Award.
* Neil Brown: [29]CHP vs CML, Forking and Picky Receivers.
* Conal Elliott: [30]Is Haskell a purely functional language?.
* Conal Elliott: [31]Can functional programming be liberated from the
von Neumann paradigm?.
* Real-World Haskell: [32]Real World Haskell in
Japaneseâå®æ¦ã§å¦ã¶é¢æ°åè¨èªããã°ã©ãã³ã°.
* Conal Elliott: [33]Garbage collecting the semantics of FRP.
* Alex Mason: [34]Why I love Cereal.
* Mark Jason Dominus: [35]A short bibliography of probability monads.
* Conal Elliott: [36]Communication, curiosity, and personal style.
* Epilogue for Epigram: [37]Bidirectional Basics.
* Neil Mitchell: [38]Explaining Haskell IO without Monads.
* Conal Elliott: [39]Is program proving viable and useful?.
* Conal Elliott: [40]Why program with continuous time?.
Quotes of the Week
* fasta: Haskell is like an efficient version of Python and is used
for the same things.
* koeien37: there are the languages that everybody complains about,
and the languages that nobody use
* Pseudonym: Olegs can be warded off by adding a note claiming that
it's impossible to implement in the type system.
* elly: I leave for five minutes and godel numbering of endofunctors
is invokved as a potential proof that the universe is simulated.
Thanks, #haskell :P
* kmc: a monad is like an invisible train filled with jello traveling
backwards in time
* conal: "Obviously" is one of those words that is most useful when
it is least true
* Jafet: Javascript is pretty much a DSL for making your web browser
take up more CPU
* copumpkin: limpac: in this channel we're all automata with no
feelings, except for the occasional feeling of hate.
* dmhouse: I'm not sure it's working correctly but it sure is fast...
* Cale: We need a bunch of "Will it monad?" video clips, with "It
monads!" at the end of each.
* merijn: I run on HST (Hacker Standard Time) which is essentially
current time zone -3
* ray: [about an anti-FP blog post] i came up with some contrived
example, announced that it's impossible, and therefore FP sucks
* hiredman: I used to think "dons" was a title, like people who were
recognized as being really good at haskell were called dons
About the Haskell Weekly News
New editions are posted to [41]the Haskell mailing list as well as to
[42]the Haskell Sequence and [43]Planet Haskell. [44]RSS is also
available, and headlines appear on [45]haskell.org.
To help create new editions of this newsletter, please see the
information on [46]how to contribute. Send stories to jfredett . at .
gmail . dot . com. The darcs repository is available at darcs get
[47]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .
References
1. http://haskell.org/
2. http://article.gmane.org/gmane.comp.lang.haskell.general/17716
3. http://article.gmane.org/gmane.comp.lang.haskell.general/17714
4. http://article.gmane.org/gmane.comp.lang.haskell.general/17713
5. http://article.gmane.org/gmane.comp.lang.haskell.general/17711
6. http://article.gmane.org/
7. http://article.gmane.org/gmane.comp.lang.haskell.general/17705
8. http://article.gmane.org/gmane.comp.lang.haskell.general/17704
9. http://article.gmane.org/gmane.comp.lang.haskell.general/17701
10. http://article.gmane.org/gmane.comp.lang.haskell.general/17700
11. http://article.gmane.org/gmane.comp.lang.haskell.general/17699
12. http://article.gmane.org/gmane.comp.lang.haskell.general/17698
13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/68864
14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/68857
15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/68827
16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/68807
17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/68388
18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/68865
19. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/68811
20. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/68711
21. http://planet.haskell.org/
22. http://haskell.org/haskellwiki/Blog_articles
23. http://neilmitchell.blogspot.com/2010/01/using-ghci-files-to-run-projects.html
24. http://blog.moertel.com/articles/2010/01/08/a-formal-language-for-recipes-brain-dump
25. http://blog.plover.com/prog/haskell/probmonad.html
26. http://random.axman6.com/blog/?p=139
27. http://r6.ca/blog/20100107T035902Z.html
28. http://www.galois.com/blog/2010/01/06/ghc-nominated-for-programming-language-award/
29. http://chplib.wordpress.com/2010/01/06/chp-vs-cml-forking-and-picky-receivers/
30. http://conal.net/blog/posts/is-haskell-a-purely-functional-language/
31. http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm/
32. http://www.realworldhaskell.org/blog/2010/01/05/real-world-haskell%e2%80%94%e5%ae%9f%e6%88%a6%e3%81%a7%e5%ad%a6%e3%81%b6%e9%96%a2%e6%95%b0%e5%9e%8b%e8%a8%80%e8%aa%9e%e3%83%97%e3%83%ad%e3%82%b0%e3%83%a9%e3%83%9f%e3%83%b3%e3%82%b0/
33. http://conal.net/blog/posts/garbage-collecting-the-semantics-of-frp/
34. http://random.axman6.com/blog/?p=124
35. http://blog.plover.com/prog/haskell/probmonad-refs.html
36. http://conal.net/blog/posts/communication-curiosity-and-personal-style/
37. http://www.e-pig.org/epilogue/?p=283
38. http://neilmitchell.blogspot.com/2010/01/haskell-io-without-monads.html
39. http://conal.net/blog/posts/is-program-proving-viable-and-useful/
40. http://conal.net/blog/posts/why-program-with-continuous-time/
41. http://www.haskell.org/mailman/listinfo/haskell
42. http://sequence.complete.org/
43. http://planet.haskell.org/
44. http://sequence.complete.org/node/feed
45. http://haskell.org/
46. http://haskell.org/haskellwiki/HWN
47. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2
More information about the Haskell
mailing list