Difference between revisions of "Template:Main/News"
DonStewart (talk | contribs) (wibble) |
DonStewart (talk | contribs) (this week's news) |
||
| Line 1: | Line 1: | ||
| − | ''2006-09- |
+ | ''2006-09-27'' |
| + | <ul><li><p><em>ICFP Contest Results</em>. CMU's Principles of Programming Group |
||
| − | <ul> |
||
| + | [http://icfpcontest.org announced] the results of this year's [http://icfp06.cs.uchicago.edu/ ICFP] programming contest. Congratulations to the winning team from Google, 'Team Smartass', (Christopher Hendrie, Derek Kisman, Ambrose Feinstein and Daniel Wright), who used Haskell along with C++, Bash and Python. Haskell has now been used by the winning team three years running! An honourable mention to team Lazy Bottoms, another Haskell team, who managed to crack several of the puzzles first. Five teams from the [http://haskell.org/haskellwiki/IRC_channel #haskell IRC channel] were [http://icfpcontest.org/scoreboard.shtml placed] in the top 50. A video stream of the results announcement is [http://video.google.com/videoplay?docid=6419094369756184531 available], shot and cut by Malcolm Wallace. Many thanks to the [http://www.cs.cmu.edu/afs/cs/Web/Groups/pop/pop.html CMU team] for organising such a great contest!</p></li> |
||
| − | <li> |
||
| + | |||
| − | <p> |
||
| + | <li><p><em>New release of Hugs</em>. Ross Paterson |
||
| − | <em> |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.hugs.user/493/ announced] a new minor release of Hugs, fixing a few bugs with the May 2006 release, and with libraries roughly matching the forthcoming GHC 6.6 release. It is available from [http://www.haskell.org/hugs/ the Hugs page].</p></li> |
||
| − | Haskell98 Termination Analyser |
||
| + | |||
| − | </em>. Stephan Swidersk |
||
| + | <li><p><em>HAppS version 0.8.2</em>. Einar Karttunen |
||
| − | [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] |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.general/14292/ announced] the release of the Haskell Application Server version 0.8.2. HAppS is a Haskell web application server for building industrial strength internet applications safely, quickly, and easily. With HAppS you focus entirely on application functionality implemented in your favourite language and you don't have to worry about making sure all sorts of server subsystems are functioning properly. [http://happs.org/ More info].</p></li> |
||
| − | </p> |
||
| + | |||
| − | </li> |
||
| + | <li><p><em>Codec.Compression.GZip and .BZip</em>. Duncan Coutts |
||
| − | |||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.general/14265/ released] two new packages: zlib and bzlib, which provide functions for compression and decompression in the gzip and bzip2 formats, directly on [http://www.cse.unsw.edu.au/~dons/fps.html ByteStrings]. Both provide pure functions on streams of data represented by lazy ByteStrings. This makes it easy to use either in memory or with disk or network IO. There is API documentation is available [http://haskell.org/~duncan/zlib/docs here] and [http://haskell.org/~duncan/bzlib/docs here].</p></li> |
||
| − | <li> |
||
| + | |||
| − | <p> |
||
| + | <li><p><em>System Fc branch merged into GHC</em>. Manuel Chakravarty |
||
| − | <em> |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.cvs.all/28297/ merged] the [http://www.cse.unsw.edu.au/~chak/papers/SCP06.html System Fc] branch of GHC into GHC head. This is a significant development, adding extensions to GHC to support an [http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes FC-based intermediate language], a new implementation of GADTs, along with indexed data types and indexed newtypes (generalised [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html associated data types]). [http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions More details] about the implementation.</p></li> |
||
| − | Free theorems |
||
| + | |||
| − | </em>. Janis Voigtlaender |
||
| + | <li><p><em>Job writing security software in Haskell</em>. Andrew Pimlott |
||
| − | [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] |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.cafe/15439/ announced] that Planning Systems, Inc. has a job opportunity for Haskell programmers, writing a high-assurance authorization system. [http://www.plansys.com/careers/job_details.cfm?JobID=28 Job description].</p></li> |
||
| − | </p> |
||
| + | |||
| − | </li> |
||
| + | <li><p><em>Dr Haskell 0.1</em>. Neil Mitchell |
||
| − | |||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.general/14285/ released] Dr Haskell, a tool to help suggest improvements to your Haskell code. Dr Haskell will analyse your code, and suggest shorter alternatives for rewriting. [http://www-users.cs.york.ac.uk/~ndm/projects/drhaskell.php More details].</p></li> |
||
| − | <li> |
||
| + | |||
| − | <p> |
||
| + | <li><p><em>BitSyntax for Haskell</em>. Adam Langley |
||
| − | <em> |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.general/14287/ released] a [http://www.imperialviolet.org/binary/bitsyntax/ bit syntax library] for Haskell, based on Erlang's [http://www.erlang.org/doc/doc-5.4.12/doc/programming_examples/bit_syntax.html bit syntax] (great for building and breaking up binary structures). Nice!</p></li> |
||
| − | Haddock/GHC SoC |
||
| + | |||
| − | </em>. David Waern |
||
| + | <li><p><em>File fuzzing</em>. Tim Newsham |
||
| − | [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. |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.cafe/15386/ made available] FileH, a Haskell tool for generating test data via random file mutation. [http://www.isecpartners.com/file_fuzzers.html More details].</p></li> |
||
| − | </p> |
||
| + | |||
| − | </li> |
||
| + | <li><p><em>A DSL for state machines</em>. Stephane Bortzmeyer |
||
| − | |||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.cafe/15116/ announced] a Haskell implementation of a proposal to the IETF to standardize [http://www.cosmogol.fr/ a language] used for finite state machines (which are common in IETF standards). The reference implementation is [http://www.cosmogol.fr/shadok.html available].</p></li> |
||
| − | <li> |
||
| + | |||
| − | <p> |
||
| + | <li><p><em>A language tag parser</em>. Stephane Bortzmeyer |
||
| − | <em> |
||
| + | announced [http://www.bortzmeyer.org/gabuzomeu-parsing-language-tags.html GaBuZoMeu], a set of programs to parse and check [http://www.iana.org/assignments/language-subtag-registry language tags] (see RFC 4646 produced by the IETF Working Group LTRU - Language Tag Registry Update).</p></li></ul> |
||
| − | AutoForms release 0.2 |
||
| − | </em>. Mads Lindstrm |
||
| − | [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> |
||
| − | </li> |
||
| − | |||
| − | <li> |
||
| − | <p> |
||
| − | <em> |
||
| − | HSPClientside 0.2 |
||
| − | </em>. Joel Bjrnson |
||
| − | [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> |
||
| − | </li> |
||
| − | |||
| − | <li> |
||
| − | <p> |
||
| − | <em> |
||
| − | SOE implementation based on Gtk2Hs |
||
| − | </em>. Duncan Coutts |
||
| − | [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> |
||
| − | </li> |
||
| − | |||
| − | <li> |
||
| − | <p> |
||
| − | <em> |
||
| − | The experimental GHCi debugger |
||
| − | </em>. Pepe |
||
| − | [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> |
||
| − | </li> |
||
| − | |||
| − | <li> |
||
| − | <p> |
||
| − | <em> |
||
| − | SmallCheck |
||
| − | </em>. Colin Runciman |
||
| − | [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> |
||
| − | Frisby: composable, linear time parser for arbitrary PEG grammers |
||
| − | </em>. John Meacham |
||
| − | [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> |
||
| − | </li> |
||
| − | |||
| − | <li> |
||
| − | <p> |
||
| − | <em> |
||
| − | HaskellNet |
||
| − | </em>. Jun Mukai |
||
| − | [http://article.gmane.org/gmane.comp.lang.haskell.general/14126 published] a status report on the state of his SoC project, HaskellNet |
||
| − | </p> |
||
| − | </li> |
||
| − | |||
| − | <li> |
||
| − | <p> |
||
| − | <em> |
||
| − | GHC's new support engineer |
||
| − | </em>. Simon Marlow |
||
| − | [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> |
||
| − | </li> |
||
| − | </ul> |
||
[[Old news|More news]] |
[[Old news|More news]] |
||
Revision as of 05:53, 27 September 2006
2006-09-27
ICFP Contest Results. CMU's Principles of Programming Group announced the results of this year's ICFP programming contest. Congratulations to the winning team from Google, 'Team Smartass', (Christopher Hendrie, Derek Kisman, Ambrose Feinstein and Daniel Wright), who used Haskell along with C++, Bash and Python. Haskell has now been used by the winning team three years running! An honourable mention to team Lazy Bottoms, another Haskell team, who managed to crack several of the puzzles first. Five teams from the #haskell IRC channel were placed in the top 50. A video stream of the results announcement is available, shot and cut by Malcolm Wallace. Many thanks to the CMU team for organising such a great contest!
New release of Hugs. Ross Paterson announced a new minor release of Hugs, fixing a few bugs with the May 2006 release, and with libraries roughly matching the forthcoming GHC 6.6 release. It is available from the Hugs page.
HAppS version 0.8.2. Einar Karttunen announced the release of the Haskell Application Server version 0.8.2. HAppS is a Haskell web application server for building industrial strength internet applications safely, quickly, and easily. With HAppS you focus entirely on application functionality implemented in your favourite language and you don't have to worry about making sure all sorts of server subsystems are functioning properly. More info.
Codec.Compression.GZip and .BZip. Duncan Coutts released two new packages: zlib and bzlib, which provide functions for compression and decompression in the gzip and bzip2 formats, directly on ByteStrings. Both provide pure functions on streams of data represented by lazy ByteStrings. This makes it easy to use either in memory or with disk or network IO. There is API documentation is available here and here.
System Fc branch merged into GHC. Manuel Chakravarty merged the System Fc branch of GHC into GHC head. This is a significant development, adding extensions to GHC to support an FC-based intermediate language, a new implementation of GADTs, along with indexed data types and indexed newtypes (generalised associated data types). More details about the implementation.
Job writing security software in Haskell. Andrew Pimlott announced that Planning Systems, Inc. has a job opportunity for Haskell programmers, writing a high-assurance authorization system. Job description.
Dr Haskell 0.1. Neil Mitchell released Dr Haskell, a tool to help suggest improvements to your Haskell code. Dr Haskell will analyse your code, and suggest shorter alternatives for rewriting. More details.
BitSyntax for Haskell. Adam Langley released a bit syntax library for Haskell, based on Erlang's bit syntax (great for building and breaking up binary structures). Nice!
File fuzzing. Tim Newsham made available FileH, a Haskell tool for generating test data via random file mutation. More details.
A DSL for state machines. Stephane Bortzmeyer announced a Haskell implementation of a proposal to the IETF to standardize a language used for finite state machines (which are common in IETF standards). The reference implementation is available.
A language tag parser. Stephane Bortzmeyer announced GaBuZoMeu, a set of programs to parse and check language tags (see RFC 4646 produced by the IETF Working Group LTRU - Language Tag Registry Update).