Difference between revisions of "Template:Main/News"

From HaskellWiki
Jump to: navigation, search
m (wibbles)
(This week's news)
Line 1: Line 1:
''2006-08-14''
+
''2006-09-18''
   
 
<ul>
 
<ul>
Line 5: Line 5:
 
<p>
 
<p>
 
<em>
 
<em>
The Haskell Workshop
 
  +
Haskell98 Termination Analyser
</em>. Andres Loeh
+
</em>. Stephan Swidersk
[http://article.gmane.org/gmane.comp.lang.haskell.general/14104 announced]
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14193 announced] the integration of an automatic Haskell98 termination analyzer in the termination tool AProVE. The tool accepts full Haskell as specified in the Haskell 98 Report and is available through our web interface. [http://aprove.informatik.rwth-aachen.de/ More]
the preliminary schedule of the Haskell Workshop 2006, part of the 2006 International Conference on Functional Programming (ICFP)
 
 
</p>
 
</p>
 
</li>
 
</li>
Line 14: Line 14:
 
<p>
 
<p>
 
<em>
 
<em>
dbus haskell bindings
 
  +
Free theorems
</em>. Evan Martin
+
</em>. Janis Voigtlaender
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/13771 announced] preliminary D-Bus Haskell bindings. D-Bus is a message bus system, a simple way for applications to talk to one another. [http://neugierig.org/software/hdbus/ More]
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14160 announced] that Sascha Boehme has done a project to implement the Reynolds/Wadler algorithm generating theorems from polymorphic types, plus simplifications and postprocessings for such free theorems. [http://haskell.as9x.info/ More info]
 
</p>
 
</p>
 
</li>
 
</li>
Line 23: Line 23:
 
<p>
 
<p>
 
<em>
 
<em>
The GHC typechecker is Turing-complete
 
  +
Haddock/GHC SoC
</em>. Robert Dockins
+
</em>. David Waern
was able to [http://article.gmane.org/gmane.comp.lang.haskell.general/14088 show] how that the GHC typechecker with multi-parameter typeclasses, functional dependencies, and undecidable instances is Turing-complete.
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14149 announced] a short status report of the "Port Haddock to use GHC" Summer of Code project. The GHC modifications, are finished and will be included in the GHC head repository soon.
 
</p>
 
</p>
 
</li>
 
</li>
Line 32: Line 32:
 
<p>
 
<p>
 
<em>
 
<em>
Haskell Program Coverage
 
  +
AutoForms release 0.2
</em>. Colin Runciman
+
</em>. Mads Lindstr�m
[http://article.gmane.org/gmane.comp.lang.haskell.general/14087 announced] the first release of hpc, a new tool for Haskell developers. Hpc records and displays Haskell program coverage. It provides coverage information of two kinds: source coverage and boolean-control coverage. [http://www.galois.com/~andy/hpc-intro.html More here]
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14148 released] AutoForms 0.2, a library to ease the creation of GUIs. It does this by using generic programming (SYB) to construct GUI components. [http://autoforms.sourceforge.net/ More info]
 
</p>
 
</p>
 
</li>
 
</li>
Line 41: Line 41:
 
<p>
 
<p>
 
<em>
 
<em>
Smash your boiler-plate without class and Typeable
 
  +
HSPClientside 0.2
</em>. Oleg Kiselyov
+
</em>. Joel Bj�rnson
[http://article.gmane.org/gmane.comp.lang.haskell.general/14086 described] a new generic programming technique, expressive enough to traverse a term and return another term of a different type, determined by the original term's type/structure. [http://okmij.org/ftp/Haskell/syb4.hs More details]
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14133 announced] a new version of HSPClientside (0.2) ,developed as a GSoC project during this summer. HSPClientside is a Haskell Server Pages library for generating JavaScript code. [http://darcs.haskell.org/SoC/hsp.clientside/ More info]
 
</p>
 
</p>
 
</li>
 
</li>
Line 50: Line 50:
 
<p>
 
<p>
 
<em>
 
<em>
Paper: Software Extension and Integration with Type Classes
 
  +
SOE implementation based on Gtk2Hs
</em>. Ralf Laemmel and Klaus Ostermann
 
  +
</em>. Duncan Coutts
[http://article.gmane.org/gmane.comp.lang.haskell.general/14040 invite] comments towards the final version of their paper [http://homepages.cwi.nl/~ralf/gpce06/ Software Extension and Integration with Type Classes]
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14132 Due to popular demand] the new SOE implementation based on Gtk2Hs is [now available]. The rendering quality is better than the original HGL version. [http://haskell.org/~duncan/gtk2hs/SOE-cairo.png Here's a side-by-side comparison]
 
</p>
 
</p>
 
</li>
 
</li>
Line 59: Line 59:
 
<p>
 
<p>
 
<em>
 
<em>
HSP.Clientside 0.01
 
  +
The experimental GHCi debugger
</em>. Joel Bjornson
+
</em>. Pepe
[http://article.gmane.org/gmane.comp.lang.haskell.general/14023 announced] a release of his Summer of Code project HSP.Clientside 0.01. Present features include an embedding of (typed) JavaScript language in Haskell, a small combinator library for generating JavaScript code, and high-level interface to Ajax functionality.
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14131 announced] the results of his SoC project, the experimental Haskell debugger. [http://haskell.org/haskellwiki/GHC/GHCiDebugger More details]
 
</p>
 
</p>
 
</li>
 
</li>
Line 68: Line 68:
 
<p>
 
<p>
 
<em>
 
<em>
Monadic probabilistic functional programing
 
  +
SmallCheck
</em>. Stefan Karrmann
+
</em>. Colin Runciman
[http://article.gmane.org/gmane.comp.lang.haskell.general/14012 announced] that he had extended Martin Erwig's PFP library to support abstract monads, cabal and darcs
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14129 released] a prototype tool that is similar in spirit, and in some of its workings, to QuickCheck. SmallCheck is, though, based on exhaustive testing in a bounded space of test values. [http://www.cs.york.ac.uk/fp/smallcheck0.0.tar More info]
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
hdbc-odbc 1.0.0.1
 
</em>. John Goerzen
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13998 released] DBC-odbc, the ODBC backend driver for HDBC, version 1.0.0.1.
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
Few Digits 0.5.0
 
</em>. Russell O'Connor
 
This year, Few Digits competed in the [http://rnc7.loria.fr/competition.html More Digits contest]. To celebrate, version 0.5.0 of Few Digits is available. Few Digits 0.5.0 is now ten times faster and three times more complicated. Few Digits has been Cabalized for your convenience. [http://r6.ca/FewDigits/ More info]
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
System.FilePath 0.9
 
</em>. Neil Mitchell
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13985 announced] System.FilePath 0.9
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
The History of Haskell
 
</em>. Phil Wadler, John Hughes, Paul Hudak and Simon Peyton Jones
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13983 have been writing] a paper, The History of Haskell, for the History Of Programming Languages conference (HOPL'07), and they invite feedback. Wiki page [http://haskell.org/haskellwiki/History_of_Haskell here].
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
AngloHaskell
 
</em>. Lemmih
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13979 mentioned] that AngloHaskell will be held at Cambridge in August. The agenda includes beer, unicycles, hacking and other fun. [http://haskell.org/haskellwiki/AngloHaskell More info]
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
Haskell XML Toolbox Version 6.0, 6.1
 
</em>. Uwe Schmidt
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13924 announced] [http://article.gmane.org/gmane.comp.lang.haskell.general/13949 two] new versions of the Haskell XML Toolbox. New features include ghc 6.4.2 support, better XPath integration, separate documentation for filter API and an arrow API
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
Down the rabbit hole
 
</em>. Bulat Ziganshin
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13914 announced] the availability of a new tutorial directed toward comprehensive explanation of the IO monad, and it's use in complex programs
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
ldap-haskell, arch2darcs and darcs-buildpackage
 
</em>. John Goerzen
 
[http://article.gmane.org/gmane.comp.lang.haskell.general/13912 posted] new versions of these packages
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
Internships on GHC and Haskell at MSR Cambridge
 
</em>. Simon Peyton-Jones
 
[http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/10219 announced] that MSR Cambridge is taking interns year-round, not just in the summer months. GHC HQ are keen to attract motivated and well-qualified folk to work on improving or developing GHC. [http://hackage.haskell.org/trac/ghc/wiki/Internships More details]
 
</p>
 
</li>
 
 
<li>
 
<p>
 
<em>
 
FGL
 
</em>. Martin Erwig
 
[http://article.gmane.org/gmane.comp.lang.haskell.libraries/4948 announced] a new release of his well known Functional Graph Library (FGL).
 
 
</p>
 
</p>
 
</li>
 
</li>
Line 77: Line 77:
 
<p>
 
<p>
 
<em>
 
<em>
Takusen
 
  +
Frisby: composable, linear time parser for arbitrary PEG grammers
</em>. Alistair Bayley and Oleg Kiselyov
 
  +
</em>. John Meacham
[http://article.gmane.org/gmane.comp.lang.haskell.libraries/4887 released] a new version of Takusen, a library for accessing DBMSs. The most significant code change is a new internal design, giving better separation of concerns like statement preparation, binding, and result-set processing. Takusen is now held in darcs, and [http://darcs.haskell.org/takusen hosted] at haskell.org
 
  +
[http://article.gmane.org/gmane.comp.lang.haskell.general/14128 released] Frisby, an implementation of the 'packrat' parsing algorithm, which parse PEG grammars and have a number of very useful qualities, they are a generalization of regexes in a sense that can parse everything in LL(k), LR(k), and more, including things that require unlimited lookahead, all in guaranteed linear time. [http://repetae.net/computer/frisby/ More information]
 
</p>
 
</p>
 
</li>
 
</li>
Line 86: Line 86:
 
<p>
 
<p>
 
<em>
 
<em>
Text.Regex.Lazy 0.44, 0.56, 0.66 and 0.70
 
  +
HaskellNet
</em>. Chris Kuklewicz
+
</em>. Jun Mukai
[http://article.gmane.org/gmane.comp.lang.haskell.libraries/4977 announced] [http://sourceforge.net/projects/lazy-regex Text.Regex.Lazy] 0.44-0.70, with many enhancements. Multiple backends are supported, in addition to the "full lazy" and the DFA backends. Text.Regex.Lazy is a replacement and enhancement for Text.Regex. More details [http://article.gmane.org/gmane.comp.lang.haskell.libraries/5028 here]
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14126 published] a status report on the state of his SoC project, HaskellNet
 
</p>
 
</p>
 
</li>
 
</li>
Line 95: Line 95:
 
<p>
 
<p>
 
<em>
 
<em>
Streams 0.2.1 beta
 
  +
GHC's new support engineer
</em>. Bulat Ziganshin
+
</em>. Simon Marlow
[http://thread.gmane.org/gmane.comp.lang.haskell.libraries/4865/focus=4865 released] Streams 0.2.1 beta, featuring various bug fixes and improvements to the streams library
+
[http://article.gmane.org/gmane.comp.lang.haskell.general/14125 announced] that GHC now has a full-time support engineer, Ian Lynagh (aka Igloo on IRC). He'll be helping with all aspects of GHC, especially release management, bug diagnosis and tracking, documentation, packaging, and supporting other GHC hackers. Welcome Ian!
 
</p>
 
</p>
 
</li>
 
</li>

Revision as of 09:01, 18 September 2006

2006-09-18

  • Haskell98 Termination Analyser . Stephan Swidersk announced the integration of an automatic Haskell98 termination analyzer in the termination tool AProVE. The tool accepts full Haskell as specified in the Haskell 98 Report and is available through our web interface. More

  • Free theorems . Janis Voigtlaender announced that Sascha Boehme has done a project to implement the Reynolds/Wadler algorithm generating theorems from polymorphic types, plus simplifications and postprocessings for such free theorems. More info

  • Haddock/GHC SoC . David Waern announced a short status report of the "Port Haddock to use GHC" Summer of Code project. The GHC modifications, are finished and will be included in the GHC head repository soon.

  • AutoForms release 0.2 . Mads Lindstr�m released AutoForms 0.2, a library to ease the creation of GUIs. It does this by using generic programming (SYB) to construct GUI components. More info

  • HSPClientside 0.2 . Joel Bj�rnson announced a new version of HSPClientside (0.2) ,developed as a GSoC project during this summer. HSPClientside is a Haskell Server Pages library for generating JavaScript code. More info

  • SOE implementation based on Gtk2Hs . Duncan Coutts Due to popular demand the new SOE implementation based on Gtk2Hs is [now available]. The rendering quality is better than the original HGL version. Here's a side-by-side comparison

  • The experimental GHCi debugger . Pepe announced the results of his SoC project, the experimental Haskell debugger. More details

  • SmallCheck . Colin Runciman released a prototype tool that is similar in spirit, and in some of its workings, to QuickCheck. SmallCheck is, though, based on exhaustive testing in a bounded space of test values. More info

  • Frisby: composable, linear time parser for arbitrary PEG grammers . John Meacham released Frisby, an implementation of the 'packrat' parsing algorithm, which parse PEG grammars and have a number of very useful qualities, they are a generalization of regexes in a sense that can parse everything in LL(k), LR(k), and more, including things that require unlimited lookahead, all in guaranteed linear time. More information

  • HaskellNet . Jun Mukai published a status report on the state of his SoC project, HaskellNet

  • GHC's new support engineer . Simon Marlow announced that GHC now has a full-time support engineer, Ian Lynagh (aka Igloo on IRC). He'll be helping with all aspects of GHC, especially release management, bug diagnosis and tracking, documentation, packaging, and supporting other GHC hackers. Welcome Ian!

More news