Difference between revisions of "Template:Main/News"
DonStewart (talk | contribs) (This week's news) |
DonStewart (talk | contribs) (This week's news) |
||
Line 1: | Line 1: | ||
⚫ | |||
+ | <ul><li><p><em>Compiling Haskell to Javascript: YCR2JS</em>. Dimitry Golubovsky |
||
⚫ | |||
+ | [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> |
+ | <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> |
+ | <li><p><em>Major typeclass overhaul</em>. Simon Peyton-Jones |
− | [http://article.gmane.org/gmane.comp.lang.haskell. |
+ | [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> |
+ | <li><p><em>Implementing the lambda calculus</em>. Lennart Augustsson |
− | [http:// |
+ | [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> |
+ | <li><p><em>Great language shootout: reloaded</em>. Don Stewart |
− | [http:// |
+ | [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.