Difference between revisions of "Template:Main/News"

From HaskellWiki
Jump to: navigation, search
(and some of the old news for balance)
(this week's news)
Line 1: Line 1:
''2007-08-07''
 
   
<ul><li><p><em>OSCON Haskell Tutorial</em>. Simon Peyton-Jones
 
 
''2007-09-23''
Appeared at the O'Reilly Open Source Convention (OSCON) in Portland, delivering a range of talks, including [http://conferences.oreillynet.com/cs/os2007/view/e_sess/14016 A Taste of Haskell], [http://conferences.oreillynet.com/cs/os2007/view/e_sess/14773 A Keynote on Functional Languages], [http://conferences.oreillynet.com/cs/os2007/view/e_sess/14014 Nested Data Parallelism] and [http://conferences.oreillynet.com/cs/os2007/view/e_sess/14017 Transactional Memory for Concurrent Programming]. Videos are available for most of these talks: [http://blip.tv/file/324976 A Taste of Haskell: Part 1], [http://www.blip.tv/file/325646/ A Taste of Haskell: Part 2], [http://conferences.oreillynet.com/presentations/os2007/os_peytonjones.pdf slides for A Taste of Haskell], [http://www.blip.tv/file/317758/ Transactional Memory for Concurrent Programming] and [http://video.google.co.uk/videoplay?docid=370317485066035666 the NDP talk] at the London Hugs meeting.</p></li>
 
  +
  +
<ul><li><p><em>Cabal 1.2.0 released</em>. Thomas Schilling
  +
[http://article.gmane.org/gmane.comp.lang.haskell.libraries/7491 announced] that [http://www.haskell.org/cabal Cabal] version 1.2.0 is available. The major new feature in this release is support for Cabal configurations. This allows package authors to more easily adopt their package descriptions to different system parameters such as operating system, architecture, or compiler. In addition, some optional features may be enabled or disabled explicitly by the package user.</p></li>
 
 
<li><p><em>hpodder 1.0</em>. John Goerzen
+
<li><p><em>SparseCheck</em>. Matthew Naylor
[http://article.gmane.org/gmane.comp.lang.haskell.general/15452 announced] version 1.0.0 of hpodder, the command-line podcatcher (podcast downloader) that just happens to be written in everyone's favorite language. You can get it [http://software.complete.org/hpodder here]. Version 1.0.0 sports a new mechanism for detecting and disabling feeds or episodes that repeatedly result in errors, updates to the Sqlite database schema, and several bugfixes.</p></li>
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/15593 announced] SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for properties with sparse domains. More information on the [http://www.cs.york.ac.uk/~mfn/sparsecheck/ home page].</p></li>
 
 
<li><p><em>encoding-0.1</em>. Henning Gnther
+
<li><p><em>monadLib 3.3.0</em>. Iavor Diatchki
[http://article.gmane.org/gmane.comp.lang.haskell.general/15481 announced] the release of 'encoding', a Haskell library to cope with many character encodings found on modern computers. At the moment it supports (much more is planned): ASCII, UTF-8, -16, -32, ISO 8859-* (alias latin-*), CP125* (windows codepages), KOI8-R, Bootstring (base for punycode)</p></li>
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/15586 announced] a new version of monadLib, adding the identiy transformer, and a family of deriving functions.</p></li>
 
 
<li><p><em>Dimensional 0.6: Statically checked physical dimensions</em>. Bjrn Buckwalter
 
  +
<li><p><em>ListLlke</em>. John Goerzen
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/26944 announced] a library providing data types for performing arithmetic with physical quantities and units. Information about the physical dimensions of the quantities/units is embedded in their types and the validity of operations is verified by the type checker at compile time. The boxing and unboxing of numerical values as quantities is done by multiplication and division with units.</p></li></ul>
 
  +
[http://article.gmane.org/gmane.comp.lang.haskell.general/15582 announced] ListLike, a generic interface to the various list-like structures in Haskell.</p></li>
 
''2007-07-23''
 
 
<ul><li><p><em>Learn Haskell in 10 minutes</em>. Chris Smith
 
[http://haskell.org/haskellwiki/Learn_Haskell_in_10_minutes prepared] a new tutorial on the basics of Haskell</p></li>
 
 
 
<li><p><em>Haskell Program Coverage 0.4</em>. Andy Gill
+
<li><p><em>HaL2: Meeting Haskell in Leipzig 2: videos</em>. Klaus Meier
[http://article.gmane.org/gmane.comp.lang.haskell.general/15381 announced] release 0.4 of Hpc, a tool for Haskell developers. Hpc is a tool-kit to record and display Haskell Program Coverage. Hpc includes tools that instrument Haskell programs to record program coverage, run instrumented programs, and display the coverage information obtained.</p></li>
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/15565 announced] that the videos and presentations of the talks given at HaL2 are [http://iba-cg.de/haskell.html now online].</p></li>
 
 
<li><p><em>Uniplate 1.0</em>. Neil Mitchell
+
<li><p><em>The Monad.Reader: Issue 8</em>. Wouter Swierstra
[http://article.gmane.org/gmane.comp.lang.haskell.general/15366 announced] Uniplate (formerly known as Play), a library for boilerplate removal requiring only Haskell 98 (for normal use) and optionally multi-parameter type classes (for more advanced features).</p></li>
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/15554 announced] that the latest issue of The Monad.Reader is [http://www.haskell.org/haskellwiki/The_Monad.Reader now available]. Issue 8 consists of the following two articles: Brent Yorgey on 'Generating Multiset Partitions' and Conrad Parker's 'Type-Level Instant Insanity'</p></li>
 
 
<li><p><em>Atom: Hardware description in Haskell</em>. Tom Hawkins
+
<li><p><em>Haskell mode plugins for Vim</em>. Claus Reinke
[http://article.gmane.org/gmane.comp.lang.haskell.general/15341 announced] Atom, a high-level hardware description language embedded in Haskell that compiles conditional term rewriting systems into conventional HDL.</p></li>
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/15553 announced] improved [http://article.gmane.org/gmane.comp.lang.haskell.general/15553 haskell mode plugins for vim].</p></li>
 
 
<li><p><em>Catch</em>. Neil Mitchell
+
<li><p><em>hstats-0.1</em>. Marshall Beddoe
[http://article.gmane.org/gmane.comp.lang.haskell.general/15334 announced] a pattern-match checker for Haskell, named Catch. Do you sometimes encounter the dreaded 'pattern match failure: head' message? Do you have incomplete patterns which sometimes fail? Do you have incomplete patterns which you know don't fail, but still get compiler warnings about them? Would you like to statically ensure the absence of all calls to error? This is what Catch helps ... catch!</p></li>
+
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28973 announced] a statistical computing module for Haskell. </p></li>
 
 
<li><p><em>Asterisk Gateway Interface</em>. Jeremy Shaw
+
<li><p><em>HIntegerByInt</em>. Isaac Dupree
[http://article.gmane.org/gmane.comp.lang.haskell.general/15245 uploaded] a simple AGI interface to [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AGI hackage]. For more about Asterix, see [http://www.voip-info.org/wiki-Asterisk+AGI here].</p></li>
+
[http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7285 announced] a [http://isaac.cedarswampstudios.org/2007/HIntegerByInt reimplementation], in Haskell, of the Integer type that Haskell provides in its Prelude. It is designed in mind of being actually usable as the implementation of that type, for compilers. It is also a module that exports a working Integer type. It is in terms of only basic Prelude functions, lists, and Int. It is NOT a purely inductive definition, because Int is much faster than a purely inductive definition would allow, and nevertheless often easier to come by (more portable, license-wise, size-wise, nuisance-wise...) than GMP or other C bignum libraries. </p></li>
 
 
<li><p><em>Yaml Reference</em>. Gaal Yahas
+
<li><p><em>OzHaskell: Australian Haskell Programmers Group</em>. Manuel Chakravarty
[http://ben-kiki.org/oren/YamlReference/ announced] a Haskell (Cabal) package containing the YAML spec productions wrapped in Haskell magic to convert them to an executable parser. The parser is streaming. It isn't intended to serve as a basis for a YAML tool chain; instead it is meant to serve as a reference implementation of the spec.</p></li></ul>
+
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28883 started] organising OzHaskell, and Australian Haskell user's group.</p></li>
+
  +
<li><p><em>Israeli Haskell Programmers Group</em>. B K
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28877 also seeks] to form an Israeli Haskell user's group</p></li>
  +
  +
<li><p><em>xmonad 0.3</em>. Don Stewart
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28425 announced] the 0.3 release of [http://xmonad.org xmonad]. xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use.</p></li>
  +
  +
<li><p><em>HPDF 1.0</em>. alpheccar
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28371 announced] version 1.0 of the [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.0 HPDF library].</p></li>
  +
  +
<li><p><em>pcap: user-level network packet capture</em>. Bryan O'Sullivan
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28139 announced] the release of pcap 0.3.1</p></li>
  +
  +
<li><p><em>Gtk2Hs Tutorial</em>. Hans van Thiel
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27954 announced] a port of the GTK2 [http://tinyurl.com/yrbtsu tutorial] by Tony Gail and Ian Main to Haskell's gtk2hs.</p></li>
  +
  +
<li><p><em>An efficient lazy suffix tree library</em>. Bryan O'Sullivan
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27891 posted] a [http://www.serpentine.com/software/suffixtree/ suffix tree library] to hackage. It implements Giegerich and Kurtz's lazy construction algorithm, with a few tweaks for better performance and resource usage.</p></li>
  +
  +
<li><p><em>Bay Area Functional Programmers</em>. Keith Fahlgren
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27860 announced] the formation of the [http://bayfp.org Bay Area Functional Programmers] group. This group is for anyone using or interested in functional programming and functional programming languages, particularly strongly typed languages such as Haskell, OCaml and SML.</p></li>
  +
  +
<li><p><em>Haskell irc channel reaches 400 users</em>. Don Stewart
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27826 noticed that], five and a half years after its inception, under the guiding hand of Shae Erisson (aka shapr), the [http://www.haskell.org/haskellwiki/IRC_channel Haskell IRC channel] on freenode has reached 400 users!</p></li>
  +
  +
<li><p><em>Guihaskell and PropLang 0.1</em>. Asumu Takikawa
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27598 announced] the results of his Google Summer of Code project: Guihaskell, a graphical REPL using PropLang and work on PropLang, a GUI library built on Gtk2hs that allows for high level design.</p></li>
  +
  +
<li><p><em>HAppS-Data 0.9: XML, Pairs, HList, deriveAll</em>. Alex Jacobson
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27597 announced] that the components of [http://happs.org HAppS] are being released as individual useful packages. HAppS-Data is the first in a series, and provides useful operations on XML data.</p></li>
  +
  +
<li><p><em>Introduction to proving Haskell code</em>. Tim Newsham
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27523 put together] [http://www.thenewsh.com/%7Enewsham/formal/reverse/ a small intro lesson] on proving Haskell code using quickcheck, equational reasoning and Isabelle/HOL.</p></li>
  +
  +
<li><p><em>Very Fast Searching of ByteStrings</em>. Chris Kuklewicz
  +
[http://article.gmane.org/gmane.comp.lang.haskell.libraries/7363 announced] a Boyer-Moore algorithm implemented for strict and lazy bytestrings (and combinations thereof). It finds all the overlapping instances of the pattern inside the target.</p></li>
  +
  +
<li><p><em>Infinity 0.1</em>. Austin Seipp
  +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27445 announced] Infinity v0.1. an IRC bot in the essence of lambdabot; that is, it should be extendable through plugins and plugins should be easy to write, modify and contribute.</p></li></ul>
   
 
[[Old news|More news]]
 
[[Old news|More news]]

Revision as of 03:13, 24 September 2007

2007-09-23

  • Cabal 1.2.0 released. Thomas Schilling announced that Cabal version 1.2.0 is available. The major new feature in this release is support for Cabal configurations. This allows package authors to more easily adopt their package descriptions to different system parameters such as operating system, architecture, or compiler. In addition, some optional features may be enabled or disabled explicitly by the package user.

  • SparseCheck. Matthew Naylor announced SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for properties with sparse domains. More information on the home page.

  • monadLib 3.3.0. Iavor Diatchki announced a new version of monadLib, adding the identiy transformer, and a family of deriving functions.

  • ListLlke. John Goerzen announced ListLike, a generic interface to the various list-like structures in Haskell.

  • HaL2: Meeting Haskell in Leipzig 2: videos. Klaus Meier announced that the videos and presentations of the talks given at HaL2 are now online.

  • The Monad.Reader: Issue 8. Wouter Swierstra announced that the latest issue of The Monad.Reader is now available. Issue 8 consists of the following two articles: Brent Yorgey on 'Generating Multiset Partitions' and Conrad Parker's 'Type-Level Instant Insanity'

  • Haskell mode plugins for Vim. Claus Reinke announced improved haskell mode plugins for vim.

  • hstats-0.1. Marshall Beddoe announced a statistical computing module for Haskell.

  • HIntegerByInt. Isaac Dupree announced a reimplementation, in Haskell, of the Integer type that Haskell provides in its Prelude. It is designed in mind of being actually usable as the implementation of that type, for compilers. It is also a module that exports a working Integer type. It is in terms of only basic Prelude functions, lists, and Int. It is NOT a purely inductive definition, because Int is much faster than a purely inductive definition would allow, and nevertheless often easier to come by (more portable, license-wise, size-wise, nuisance-wise...) than GMP or other C bignum libraries.

  • OzHaskell: Australian Haskell Programmers Group. Manuel Chakravarty started organising OzHaskell, and Australian Haskell user's group.

  • Israeli Haskell Programmers Group. B K also seeks to form an Israeli Haskell user's group

  • xmonad 0.3. Don Stewart announced the 0.3 release of xmonad. xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use.

  • HPDF 1.0. alpheccar announced version 1.0 of the HPDF library.

  • pcap: user-level network packet capture. Bryan O'Sullivan announced the release of pcap 0.3.1

  • Gtk2Hs Tutorial. Hans van Thiel announced a port of the GTK2 tutorial by Tony Gail and Ian Main to Haskell's gtk2hs.

  • An efficient lazy suffix tree library. Bryan O'Sullivan posted a suffix tree library to hackage. It implements Giegerich and Kurtz's lazy construction algorithm, with a few tweaks for better performance and resource usage.

  • Bay Area Functional Programmers. Keith Fahlgren announced the formation of the Bay Area Functional Programmers group. This group is for anyone using or interested in functional programming and functional programming languages, particularly strongly typed languages such as Haskell, OCaml and SML.

  • Haskell irc channel reaches 400 users. Don Stewart noticed that, five and a half years after its inception, under the guiding hand of Shae Erisson (aka shapr), the Haskell IRC channel on freenode has reached 400 users!

  • Guihaskell and PropLang 0.1. Asumu Takikawa announced the results of his Google Summer of Code project: Guihaskell, a graphical REPL using PropLang and work on PropLang, a GUI library built on Gtk2hs that allows for high level design.

  • HAppS-Data 0.9: XML, Pairs, HList, deriveAll. Alex Jacobson announced that the components of HAppS are being released as individual useful packages. HAppS-Data is the first in a series, and provides useful operations on XML data.

  • Introduction to proving Haskell code. Tim Newsham put together a small intro lesson on proving Haskell code using quickcheck, equational reasoning and Isabelle/HOL.

  • Very Fast Searching of ByteStrings. Chris Kuklewicz announced a Boyer-Moore algorithm implemented for strict and lazy bytestrings (and combinations thereof). It finds all the overlapping instances of the pattern inside the target.

  • Infinity 0.1. Austin Seipp announced Infinity v0.1. an IRC bot in the essence of lambdabot; that is, it should be extendable through plugins and plugins should be easy to write, modify and contribute.

More news