Difference between revisions of "Template:Main/News"

From HaskellWiki
Jump to navigation Jump to search
(This week's news)
(This week's news)
Line 1: Line 1:
  ⚫
''2006-11-14''
   
  +
<ul><li><p><em>Compiling Haskell to Javascript: YCR2JS</em>. Dimitry Golubovsky
⚫
''2006-11-08''
  
  +
[http://article.gmane.org/gmane.comp.lang.haskell.general/14471 announced] Ycr2js, a sub-project within the [http://darcs.haskell.org/yhc York Haskell Compiler] (Yhc) project. It is aimed to create a tool to convert an arbitrary Haskell program into Javascript which in turn may be executed in any Web browser. With great amount of help from the Yhc Team, the converter has been integrated into the Yhc project, and initial stage of coding and development has been completed. [http://haskell.org/haskellwiki/Yhc/Javascript More documentation].</p></li>
−  
−
<ul><li><p><em>SmallCheck 0.2</em>. Colin Runciman
  
−
[http://article.gmane.org/gmane.comp.lang.haskell.general/14461 announced] that SmallCheck 0.2, a lightweight testing library for Haskell,
  
−
is out, and can be [http://www.cs.york.ac.uk/fp/smallcheck0.2.tar obtained].
  
−
Since version 0.1: there's now a choice of interactive or non-interactive test-drivers using iterative deepening; more pre-defined test-data generators, including revised Int, Integer, Float, Double, Nat and Natural and additional examples. SmallCheck is similar to QuickCheck but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.</p></li>
  
−
 
−
<li><p><em>Hoogle Command Line 3 Beta</em>. Neil Mitchell
  
−
[http://article.gmane.org/gmane.comp.lang.haskell.general/14464 released] Hoogle Command Line version 3 Beta, an alternative to [http://haskell.org/hoogle the Hoogle website]. Hoogle lets you search for Haskell functions by name and by type signature.</p></li>
  
 
 
−
<li><p><em>The Monad.Reader</em>. Wouter Swierstra
 +
<li><p><em>System.FilePath 0.10</em>. Neil Mitchell
  +
[http://article.gmane.org/gmane.comp.lang.haskell.general/14467 announced] System.FilePath 0.10, which hopefully is pretty close to final. [http://www-users.cs.york.ac.uk/~ndm/projects/libraries.php#filepath This library] manipulates FilePath's correctly on both Posix and Windows.</p></li>
−
[http://article.gmane.org/gmane.comp.lang.haskell.general/14449 issued] a call for submissions for articles for the next issue of [http://www.haskell.org/haskellwiki/TheMonadReader The Monad.Reader]. There are a large number of conferences and journals that accept research papers related to Haskell; unfortunately, the platform for non-academic publications is far less developed. This is where The Monad.Reader fits in. So if you are tossing around some ideas, write it up, and submit! Deadline for submissions is January 19th, 2007.</p></li>
  
 
 
−
<li><p><em>Haskell Communities and Activities Report</em>. Andres Loeh
 +
<li><p><em>Major typeclass overhaul</em>. Simon Peyton-Jones
−
[http://article.gmane.org/gmane.comp.lang.haskell.general/14453 reminded us] that the deadline for the November 2006 edition of the Haskell Communities and Activities Report is now! -- there may still be just enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting Haskell in some way. For more info see [http://www.haskell.org/pipermail/haskell/2006-October/018646.html the call for contributions].</p></li>
 +
[http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11192 mentioned] that for some time he has been promising an overhaul of GHC's type inference machinery to fix the interactions between type classes and GADTs. This overhaul has now been completed, and user-visible changes are summarised, including: GHC's type inference becomes complete, the restriction that every constraint in a type signature must mention at least one of the quantified type variables is lifted, dictionaries are packaged in data constructors and the proper interaction between GADTs and type classes is now respected.</p></li>
 
 
−
<li><p><em>HsMan</em>. Frederik Eaton
 +
<li><p><em>Implementing the lambda calculus</em>. Lennart Augustsson
−
[http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11153/focus=11153 announced] hsman, a tool that indexes Haddock-generated HTML files, and allows users to search for functions and also GHC manual topics.</p></li>
 +
[http://article.gmane.org/gmane.comp.lang.haskell.cafe/16490 wrote] about implementing interpreters for the lambda-calculus in Haskell, to [http://darcs.augustsson.net/Darcs/Lambda/ experiment] with different implementation methods.</p></li>
 
 
−
<li><p><em>HaL, Haskell meeting in Leipzig</em>. Johannes Waldmann
 +
<li><p><em>Great language shootout: reloaded</em>. Don Stewart
−
[http://article.gmane.org/gmane.comp.lang.haskell.general/14454 announced] that a local Haskell meeting is to take place on December 5th in Leipzig, Germany. The meeting will be hosted by IBA Consulting. It will be quite informal, with some very short talks (most probably in German). Interessenten sind herzlich eingeladen. [http://iba-cg.de/haskell.html Details and (free) registration].</p></li></ul>
 +
[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16454/focus=16454 mentioned] that now [http://haskell.org/ghc GHC 6.6] is available on the shootout machines, the time has come to improve the existing [http://shootout.alioth.debian.org/ language shootout] entries. Improvements can be posted to the [http://www.haskell.org/haskellwiki/Great_language_shootout wiki] for review.</p></li></ul>
   
 
[[Old news|More news]]
  
[[Old news|More news]]

Revision as of 03:10, 14 November 2006

2006-11-14

  • Compiling Haskell to Javascript: YCR2JS. Dimitry Golubovsky announced Ycr2js, a sub-project within the York Haskell Compiler (Yhc) project. It is aimed to create a tool to convert an arbitrary Haskell program into Javascript which in turn may be executed in any Web browser. With great amount of help from the Yhc Team, the converter has been integrated into the Yhc project, and initial stage of coding and development has been completed. More documentation.

  • System.FilePath 0.10. Neil Mitchell announced System.FilePath 0.10, which hopefully is pretty close to final. This library manipulates FilePath's correctly on both Posix and Windows.

  • Major typeclass overhaul. Simon Peyton-Jones mentioned that for some time he has been promising an overhaul of GHC's type inference machinery to fix the interactions between type classes and GADTs. This overhaul has now been completed, and user-visible changes are summarised, including: GHC's type inference becomes complete, the restriction that every constraint in a type signature must mention at least one of the quantified type variables is lifted, dictionaries are packaged in data constructors and the proper interaction between GADTs and type classes is now respected.

  • Implementing the lambda calculus. Lennart Augustsson wrote about implementing interpreters for the lambda-calculus in Haskell, to experiment with different implementation methods.

  • Great language shootout: reloaded. Don Stewart mentioned that now GHC 6.6 is available on the shootout machines, the time has come to improve the existing language shootout entries. Improvements can be posted to the wiki for review.

More news

Retrieved from "https://wiki.haskell.org/index.php?title=Template:Main/News&oldid=8247"