[Haskell-cafe] Haskell Weekly News: Issue 101 - January 19, 2009
Brent Yorgey
byorgey at seas.upenn.edu
Mon Jan 19 15:43:48 EST 2009
---------------------------------------------------------------------------
Haskell Weekly News
http://sequence.complete.org/hwn/20090119
Issue 101 - January 19, 2009
---------------------------------------------------------------------------
Welcome to issue 101 of HWN, a newsletter covering developments in the
[1]Haskell community.
Gee whiz, people, stop being so darn productive or you're going to burn
me out. Seriously.
Announcements
curl-1.3.4. Sigbjorn Finne [2]announced that a new version of [3]curl,
a complete Haskell binding to the libcurl API, is now available and
have been uploaded to Hackage. The most notable change is the
overloading of representation of response buffers (and headers),
allowing for the use of ByteStrings.
Turbinado V0.4. Alson Kemp [4]announced the release of version 0.4 of
[5]Turbinado, an easy to use Model-View-Controller-ish web framework
for Haskell. Highlights for the 0.4 release include a dramatically
improved ORM which handles foreign keys, and improved documentation.
Hackage about to reach 1000 releases. Don Stewart [6]announced that
Hackage is about to reach the 1000 release mark, 2 years after it went
live. Some pretty charts [7]can be seen here.
leapseconds-announced-2009. Bjorn Buckwalter [8]announced the release
of the [9]leapseconds-announced package, which contains a single module
and a single function implementing the
Data.Time.Clock.TAI.LeapSecondTable interface.
zipper-0.1. Andres Loeh [10]announced [11]zipper-0.1, a library
offering a generic zipper for systems of recursive datatypes.
multirec-0.2. Andres Loeh [12]announced [13]multirec-0.2, a library
which provides a mechanism to talk about fixed points of systems of
datatypes that may be mutually recursive. On top of these
representations, generic functions such as the fold or the Zipper can
then be defined.
ghci-haskeline 0.1. Judah Jacobson [14]announced the first release of
[15]ghci-haskeline. This package uses the GHC API to reimplement ghci
with the [16]Haskeline library as a backend. Haskeline is a library for
line input in command-line programs, similar to readline or editline,
which is written in Haskell and thus (hopefully) more easily integrated
into other Haskell programs.
The Monad.Reader (13) - Call for copy. Wouter Swierstra [17]announced a
Call for Copy for Issue 13 of [18]The Monad.Reader. The submission
deadline is February 13, 2009. Please get in touch with Wouter if you
intend to submit something.
Cabal 2.0. Duncan Coutts [19]announced that he has started a [20]wiki
page to collect ideas for Cabal 2. The basic idea for Cabal 2 is to
learn lessons from our how the existing design has fared and how we can
make a better design to tackle an expanded set of goals.
Announcing Haskell protocol-buffers 1.4.0 (the smashing recursive
edition). Chris Kuklewicz [21]announced version 1.4.0 (the smashing
recursive edition) of [22]protocol-buffers, a Haskell interface to
Google's "..language-neutral, platform-neutral, extensible way of
serializing structured data for use in communications protocols, data
storage, and more."
Haskell WikiProject. Robin Green [23]asked: is anyone else interested
in forming a Haskell WikiProject on Wikipedia, to collaborate on
improving and maintaining the coverage and quality of articles on
Haskell-related software and topics (broadly defined)?
darcs 2.2.0. Petr Rockai [24]announced the release of darcs 2.2.0, with
both a [25]source tarball and a [26]cabalized tarball available. This
version features many improvements and bug fixes; see Petr's original
announcement for a list.
hledger 0.3. Simon Michael [27]announced the release of [28]hledger
0.3, a partial haskell clone of John Wiegley's "ledger" text-based
accounting tool. It generates transaction and balance reports from a
plain text ledger file, and demonstrates a functional implementation of
ledger.
language-sh-0.0.3.1. Stephen Hicks [29]announced the [30]language-sh
package, a set of modules for parsing, manipulating, and printing
sh-style shell scripts. It's being developed alongside shsh, the
[31]Simple Haskell Shell.
Coadjute 0.0.1, generic build tool. Matti Niemenmaa [32]announced
version 0.0.1 of [33]Coadjute, a generic build tool intended as an
easier to use and more portable replacement for make.
dataenc 0.12. Magnus Therning [34]announced version 0.12 of
[35]dataenc, a data encoding library currently providing Uuencode,
Base64, Base64Url, Base32, Base32Hex, Base16, Base85, and (new in 0.12)
yEncoding.
3 applications of "indexed composition" as a language design principle.
Greg Meredith [36]announced that he has found a way to generalize the
LogicT transformer, and calculated it's [37]application to three fairly
interesting examples.
HTTPbis / HTTP-4000.x package available. Sigbjorn Finne [38]announced
the availability of a modernization of the venerable and trusted
[39]HTTP package. The headline new feature of this version is the
parametrization of the representation of payloads in both HTTP requests
and responses; two new representations are supported, strict and lazy
ByteStrings.
monad-interleave 0.1. Patrick Perry [40]announced the
[41]monad-interleave package, which provides a type class generalizing
his two favorite functions in Haskell, "unsafeInterleaveIO" and
"unsafeInterleaveST".
hs-dotnet, version 0.3.0. Sigbjorn Finne [42]announced the [43]first
public release of [44]hs-dotnet, a pragmatic take on interoperating
between Haskell (via GHC) and .NET.
HEADS UP: finalizer changes coming in GHC 6.10.2. Simon Marlow
[45]announced that, by popular demand, GHC 6.10.2 will support
finalizers that are actually guaranteed to run, and run promptly.
However, there's a catch. If you want to know what the catch is, read
his message.
split-0.1.1 (doc bugfix; new functions wordsBy and linesBy). Brent
Yorgey [46]announced version 0.1.1 of the [47]split library. This
version fixes some Haddock bugs, and adds two new convenience functions
suggested by Neil Mitchell, wordsBy and linesBy.
json-0.4.1. Sigbjorn Finne [48]announced a new release (0.4.1) of the
[49]json package. New in this release is a generic JSON encoder
contributed by Lennart Augustsson along with a number of other, smaller
changes.
haskell-platform mailing list. Duncan Coutts [50]announced that anyone
interested in helping out with the haskell platform project is invited
to subscribe to the [51]haskell-platform mailing list. This mailing
list is for discussing practical stuff; policy questions will be
discussed on the libraries mailing list.
bytestring-trie 0.1.4. wren ng thornton [52]announced version 0.1.4 of
the [53]bytestring-trie package. This release fixes a number of bugs,
adds functions such as keys, toListBy, fromList{L,R,S}, and separated
Data.Trie (the main module for users) from Data.Trie.Internal (gritty
details, and core implementation).
HLint 1.2. Neil Mitchell [54]announced [55]HLint version 1.2, a
lint-like tool for Haskell that detects and suggests improvements for
your code. The biggest new feature is list recursion suggestions.
Working with HLint from Emacs. Alex Ott [56]announced an [57]emacs
module for integration with [58]HLint.
Discussion
An Alternative Data.List.Zipper. Jeff Wheeler [59]posted [60]an
improved version of Data.List.Zipper, and requested feedback or
constructive criticism.
Comments from OCaml Hacker Brian Hurt. John Goerzen [61]posted a link
to a [62]blog post by Brian Hurt, along with some thoughts about naming
things in the standard libraries, spawning the longest ML thread in
recent history.
Blog noise
[63]Haskell news from the [64]blogosphere.
* Jeff Heard: [65]The Docuverse.. Cool search query visualization for
massive numbers of documents.
* Ben Moseley: [66]The Category Theory of Appendages.
* Galois, Inc: [67]Galois at POPL.
* Colin Ross: [68]Does your IDE define you or support you?.
* Alson Kemp: [69]ANNOUNCE: Turbinado V0.4.
* Jeff Heard: [70]ProteinVis: Visualizing a large tree in Haskell and
OpenGL.
* ezekiel smithburg: [71]what to do when you can't solve a problem
with a hackage library you need?.
* Jeff Heard: [72]Simple Futures in Haskell.
* Dan Piponi (sigfpe): [73]Haskell Monoids and their Uses. A nice
introductory tutorial on Monoids in Haskell.
* Real-World Haskell: [74]John Goerzen on Why You Should Learn
Haskell.
* LHC Team: [75]LLVM is great..
* Jeff Heard: [76]iBiblio traffic, search engine hits, and
cross-traffic.
* Luke Palmer: [77]Use MonadRandom!.
* LHC Team: [78]Why LLVM probably won't replace C--..
* Magnus Therning: [79]Series of posts on testing Haskell code.
* Magnus Therning: [80]Useful thing when adopting test-framework
after already using HUnit.
* Magnus Therning: [81]dataenc 0.12 posted to HackageDB.
* Jeff Heard: [82]The new HTTP library.
* Jeff Heard: [83]Beautiful Code, Compelling Evidence.
* LHC Team: [84]The case against C/LLVM..
* Manuel M T Chakravarty: [85]Some nice code examples showing how to
use type families..
* Manuel M T Chakravarty: [86]Enforcing a relation between
independent type families..
* Nick Mudge: [87]Zunes, Year 2038 Problem, Real World Haskell, Why,
Potion, Games.
* Darcs: [88]darcs 2.2.0 is released!.
* GHC / OpenSPARC Project: [89]Info tables.
* LHC Team: [90]What is LHC?.
* LHC Team: [91]Resources..
* LHC Team: [92]Typeclass Blues.
* GHC / OpenSPARC Project: [93]Liveness lies.
* Galois, Inc: [94]Real World Haskell: Intel Parallel Programming
Podcast.
* Real-World Haskell: [95]Intel Parallel Programming Podcast: Real
World Haskell.
* Brent Yorgey: [96]Abstraction, intuition, and the "monad tutorial
fallacy".
* Luke Palmer: [97]Ha! I can't even get Events right.
* GHC / OpenSPARC Project: [98]Bootstrapping 7.
* Colin Ross: [99]Finding a member of an infinite list.
* LHC Team: [100]The mess with variable ids..
* Luke Palmer: [101]Ridding ourselves of IO before there is a good
replacement.
* GHC / OpenSPARC Project: [102]Bootstrapping 7.
* Colin Ross: [103]Notes on working with finite sorted lists.
* Bryan O'Sullivan: [104]Fun with Haskell view patterns.
* Conal Elliott: [105]3D rendering as functional reactive
programming.
Quotes of the Week
* luqui: sigh: mathematicians. can't live with 'em, can't prove 'em
wrong.
* mauke: YO DAWG I HEARD YOU LIKE METACIRCULARITY SO WE PUT AN
INTERPRETER IN YOUR INTERPRETER SO YOU CAN RUN CODE WHILE YOU RUN
CODE
* lament: tuples are proof that haskell is inherently broken and will
never work.
* roconnor: [after a long -cafe thread on the suckiness of using math
terms in Haskell] we don't use Integer anymore. Too abstract. It is
now called CountingThingy.
* quicksilver: partially applied type synonym = type lambdas =
unrestricted type functions = can of pants
* ddarius: In the spirit of that article on monoids, we should drop
the term "tree" and replace it with the term "free pointed magma"
* ski_: unique among types, 'Void -> X' has its own charm. tourists
should definitely pay a visit.
* pao: Cale: thanks ... I really think you deserve a statue ... or,
at least, a portrait in ascii art on haskell.org :-)
* byorgey: TDD replaces a type checker in Ruby in the same way that a
strong drink replaces sorrows.
About the Haskell Weekly News
New editions are posted to [106]the Haskell mailing list as well as to
[107]the Haskell Sequence and [108]Planet Haskell. [109]RSS is also
available, and headlines appear on [110]haskell.org.
To help create new editions of this newsletter, please see the
information on [111]how to contribute. Send stories to byorgey at cis
dot upenn dot edu. The darcs repository is available at darcs get
[112]http://code.haskell.org/~byorgey/code/hwn/ .
References
1. http://haskell.org/
2. http://article.gmane.org/gmane.comp.lang.haskell.general/16792
3. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/curl
4. http://article.gmane.org/gmane.comp.lang.haskell.general/16788
5. http://www.turbinado.com/
6. http://article.gmane.org/gmane.comp.lang.haskell.general/16782
7. http://archhaskell.wordpress.com/2009/01/18/open-source-haskell-releases-and-growth/
8. http://article.gmane.org/gmane.comp.lang.haskell.general/16770
9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/leapseconds-announced
10. http://article.gmane.org/gmane.comp.lang.haskell.general/16756
11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/zipper
12. http://www.haskell.org//pipermail/haskell/2009-January/020925.html
13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multirec
14. http://article.gmane.org/gmane.comp.lang.haskell.general/16751
15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ghci-haskeline
16. http://trac.haskell.org/haskeline
17. http://article.gmane.org/gmane.comp.lang.haskell.general/16750
18. http://www.haskell.org/haskellwiki/The_Monad.Reader
19. http://article.gmane.org/gmane.comp.lang.haskell.libraries/10568
20. http://hackage.haskell.org/trac/hackage/wiki/Cabal-2
21. http://article.gmane.org/gmane.comp.lang.haskell.libraries/10497
22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/protocol-buffers
23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51037
24. http://www.haskell.org//pipermail/haskell-cafe/2009-January/053732.html
25. http://www.darcs.net/darcs-2.2.0.tar.gz
26. http://hackage.haskell.org/packages/archive/darcs/2.2.0/darcs-2.2.0.tar.gz
27. http://www.haskell.org//pipermail/haskell-cafe/2009-January/053843.html
28. http://joyful.com/hledger
29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50907
30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/language-sh
31. http://code.haskell.org/shsh/
32. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50896
33. http://iki.fi/matti.niemenmaa/coadjute/
34. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50831
35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dataenc
36. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50756
37. http://biosimilarity.blogspot.com/2009/01/3-applications-of-indexed-composition.html
38. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50748
39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP
40. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50648
41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/monad-interleave
42. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50548
43. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hs-dotnet
44. http://haskell.forkIO.com/dotnet
45. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50477
46. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50421
47. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/split
48. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50362
49. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/json
50. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50336
51. http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platform
52. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50292
53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-trie
54. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50283
55. http://www-users.cs.york.ac.uk/~ndm/hlint/
56. http://article.gmane.org/gmane.comp.lang.haskell.cafe/50264
57. http://xtalk.msk.su/~ott/common/emacs/hs-lint.el
58. http://www-users.cs.york.ac.uk/~ndm/hlint/
59. http://thread.gmane.org/gmane.comp.lang.haskell.general/16771
60. http://hpaste.org/14030
61. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/50590
62. http://enfranchisedmind.com/blog/2009/01/15/random-thoughts-on-haskell/
63. http://planet.haskell.org/
64. http://haskell.org/haskellwiki/Blog_articles
65. http://vis.renci.org/jeff/?p=66
66. http://nattermorphisms.blogspot.com/2009/01/category-theory-of-appendages.html
67. http://www.galois.com/blog/2009/01/18/galois-at-popl/
68. http://vcolin.com/2009/01/18/ide-define-support/
69. http://www.alsonkemp.com/haskell/announce-turbinado-v04/
70. http://vis.renci.org/jeff/?p=52
71. http://tehgeekmeister.wordpress.com/2009/01/17/what-to-do-when-you-cant-solve-a-proble/
72. http://vis.renci.org/jeff/?p=27
73. http://sigfpe.blogspot.com/2009/01/haskell-monoids-and-their-uses.html
74. http://www.realworldhaskell.org/blog/2009/01/17/john-goerzen-on-why-you-should-learn-haskell/
75. http://lhc-compiler.blogspot.com/2009/01/llvm-is-great.html
76. http://vis.renci.org/jeff/?p=33
77. http://lukepalmer.wordpress.com/2009/01/17/use-monadrandom/
78. http://lhc-compiler.blogspot.com/2009/01/why-llvm-probably-wont-replace-c.html
79. http://therning.org/magnus/archives/436
80. http://therning.org/magnus/archives/437
81. http://therning.org/magnus/archives/434
82. http://vis.renci.org/jeff/?p=8
83. http://vis.renci.org/jeff/?p=4
84. http://lhc-compiler.blogspot.com/2009/01/case-against-cllvm.html
85. http://justtesting.org/post/70895924
86. http://justtesting.org/post/70893530
87. http://nickmudge.info/?post=103
88. http://blog.darcs.net/2009/01/darcs-220-is-released.html
89. http://ghcsparc.blogspot.com/2009/01/info-tables.html
90. http://lhc-compiler.blogspot.com/2009/01/what-is-lhc.html
91. http://lhc-compiler.blogspot.com/2009/01/resources.html
92. http://lhc-compiler.blogspot.com/2009/01/typeclass-blues.html
93. http://ghcsparc.blogspot.com/2009/01/liveness-lies.html
94. http://www.galois.com/blog/2009/01/13/real-world-haskell-intel-parallel-programming-podcast/
95. http://www.realworldhaskell.org/blog/2009/01/13/intel-parallel-programming-podcast-real-world-haskell/
96. http://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
97. http://lukepalmer.wordpress.com/2009/01/13/ha-i-cant-even-get-events-right/
98. http://ghcsparc.blogspot.com/2009/01/bootstrapping-7.html
99. http://vcolin.com/2009/01/12/finding-member-infinite-list/
100. http://lhc-compiler.blogspot.com/2009/01/mess-with-variable-ids.html
101. http://lukepalmer.wordpress.com/2009/01/12/ridding-ourselves-of-io-before-there-is-a-good-replacement/
102. http://ghcsparc.blogspot.com/2009/01/bootstrapping-7.html
103. http://vcolin.com/2009/01/11/notes-working-finite-sorted-lists/
104. http://www.serpentine.com/blog/2009/01/11/fun-with-haskell-view-patterns/
105. http://conal.net/blog/posts/3d-rendering-as-functional-reactive-programming/
106. http://www.haskell.org/mailman/listinfo/haskell
107. http://sequence.complete.org/
108. http://planet.haskell.org/
109. http://sequence.complete.org/node/feed
110. http://haskell.org/
111. http://haskell.org/haskellwiki/HWN
112. http://code.haskell.org/~byorgey/code/hwn/
More information about the Haskell-Cafe
mailing list