Difference between revisions of "Template:Main/News"
DonStewart (talk | contribs) (one more item) |
DonStewart (talk | contribs) (This week's news) |
||
Line 1: | Line 1: | ||
⚫ | |||
⚫ | |||
− | <ul><li><p><em>A type-based solution to the "strings problem"</em>. Tom |
||
+ | |||
− | Moertel wrote on |
||
+ | <ul><li><p><em>SmallCheck 0.2</em>. Colin Runciman |
||
− | [http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem a solution] to the problem of keeping web applications free of |
||
⚫ | |||
− | string-based XSS and SQL-injection vulnerabilities, by employing the |
||
+ | is out, and can be [http://www.cs.york.ac.uk/fp/smallcheck0.2.tar obtained]. |
||
− | Haskell type system.</p></li> |
||
+ | 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>Associated data types in GHC</em>. Manuel Chakravarty |
||
− | [http://article.gmane.org/gmane.comp.lang.haskell.general/14447 announced] the availability of indexed data types, an extension of our earlier proposal for [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html associated data types], in GHC's development version. Detailed information on where to get the right GHC and how to use indexed types is available from [http://haskell.org/haskellwiki/GHC/Indexed_types the Haskell wiki].</p></li> |
||
− | |||
− | <li><p><em>Yhc Bytecode library 0.3</em>. Robert Dockins |
||
⚫ | |||
− | <li><p><em> |
+ | <li><p><em>Hoogle Command Line 3 Beta</em>. Neil Mitchell |
− | [http:// |
+ | [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>The Monad.Reader</em>. Wouter Swierstra |
+ | [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> |
||
− | [http://www.augustsson.net/Darcs/MT/ made available] his Haskell implementation of the Mersenne Twister random number generator.</p></li> |
||
− | <li><p><em>Haskell |
+ | <li><p><em>Haskell Communities and Activities Report</em>. Andres Loeh |
+ | [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://www.google.com/coop/cse?cx=015832023690232952875%3Acunmubfghzq initialised] a Haskell-specific search engine, as part of Google's coop engine system, which seems to do a good job of targeting just Haskell sites, in particular, mailing list items</p></li> |
||
− | <li><p><em> |
+ | <li><p><em>HsMan</em>. Frederik Eaton |
− | [http:// |
+ | [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> |
− | <li><p><em> |
+ | <li><p><em>HaL, Haskell meeting in Leipzig</em>. Johannes Waldmann |
+ | [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/16164/focus=16164 prepared] some guidelines on starting your own Haskell project.</p></li></ul> |
||
[[Old news|More news]] |
[[Old news|More news]] |
Revision as of 04:43, 8 November 2006
2006-11-08
SmallCheck 0.2. Colin Runciman announced that SmallCheck 0.2, a lightweight testing library for Haskell, is out, and can be 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.
Hoogle Command Line 3 Beta. Neil Mitchell released Hoogle Command Line version 3 Beta, an alternative to the Hoogle website. Hoogle lets you search for Haskell functions by name and by type signature.
The Monad.Reader. Wouter Swierstra issued a call for submissions for articles for the next issue of 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.
Haskell Communities and Activities Report. Andres Loeh 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 the call for contributions.
HsMan. Frederik Eaton announced hsman, a tool that indexes Haddock-generated HTML files, and allows users to search for functions and also GHC manual topics.
HaL, Haskell meeting in Leipzig. Johannes Waldmann 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. Details and (free) registration.