Difference between revisions of "Template:Main/News"
DonStewart (talk | contribs) (clarify new news items) |
DonStewart (talk | contribs) (this week's news) |
||
| Line 1: | Line 1: | ||
| − | ''2006-11- |
+ | ''2006-11-28'' |
| − | <ul><li><p><em> |
+ | <ul><li><p><em>QuickCheck 2 development version</em>. Bjorn Bringert |
| − | [http://article.gmane.org/gmane.comp.lang.haskell.general/ |
+ | [http://article.gmane.org/gmane.comp.lang.haskell.general/14511 announced] that the development version of QuickCheck 2 is now available in a public darcs repository. Highlights of the new QuickCheck version include: shrinking of failing test cases; supports testing monadic code; handles exceptions gracefully; coarbitrary has moved to a separate class; type-level modifiers for changing test data generation (e.g. NonNegative); function table printing; and user-defined actions when properties fail. The source is [http://www.cs.chalmers.se/~bringert/darcs/QuickCheck/ available via darcs].</p></li> |
| − | <li><p><em> |
+ | <li><p><em>PQC: QuickCheck in the Age of Concurrency</em>. Don Stewart |
| − | [http://article.gmane.org/gmane.comp.lang.haskell.general/ |
+ | [http://article.gmane.org/gmane.comp.lang.haskell.general/14503 announced] PQC: Parallel QuickCheck. [http://www.cse.unsw.edu.au/~dons/pqc.html PQC] provides a single module: [http://www.cse.unsw.edu.au/~dons/pqc/Test-QuickCheck-Parallel.html Test.QuickCheck.Parallel]. This is a QuickCheck driver that runs property lists as jobs in parallel, and will utilise as many cores as you wish, with the SMP parallel GHC 6.6 runtime. It is simple, scalable replacement for Test.QuickCheck.Batch.</p></li> |
| − | <li><p><em> |
+ | <li><p><em>cabal-test: automatic testing for Cabal projects</em>. David Himmelstrup |
| − | [http://article.gmane.org/gmane.comp.lang.haskell.general/ |
+ | [http://article.gmane.org/gmane.comp.lang.haskell.general/14519 announced] cabal-test, the automatic tester for Cabal projects. The cabal-test tool is capable of testing embedded QuickCheck properties in any and all cabalized projects. The tests are currently executed in parallel with PQC. QuickCheck properties can reside anywhere in the code and don't have to be exported. The [http://darcs.haskell.org/~lemmih/cabal-test darcs repo] is available.</p></li> |
| − | <li><p><em> |
+ | <li><p><em>Streams 0.1.7</em>. Bulat Ziganshin |
| − | [http://article.gmane.org/gmane.comp. |
+ | [http://article.gmane.org/gmane.comp.lang.haskell.general/14504 announced] Streams version 0.1.7, a fast extensible [http://haskell.org/haskellwiki/Library/Streams I/O and serialization library]. Changes include: GHc 6.6 support, support for files larger than 4G on Windows, haddock documentation.</p></li> |
| − | <li><p><em> |
+ | <li><p><em>Ranged Sets 0.0.3</em>. Paul Johnson |
| − | [http://article.gmane.org/gmane.comp.lang.haskell.general/ |
+ | [http://article.gmane.org/gmane.comp.lang.haskell.general/14492/ announced] the 0.0.3 release of [http://ranged-sets.sourceforge.net/Ranged/ Ranged Sets]. Ranged sets allow programming with sets of values described by a list of ranges. A value is a member of the set if it lies within one of the ranges. The ranges in a set are ordered and non-overlapping, so the standard set operations can be implemented by merge algorithms in O(n) time.</p></li> |
| − | <li><p><em> |
+ | <li><p><em>Type-class overloaded functions</em>. Oleg Kiselyov |
| + | [http://thread.gmane.org/gmane.comp.lang.haskell.general/14482/focus=14483 presented] functions polymorphic over classes of types. Each instance of such (2-polymorphic) function uses ordinary 1-polymorphic methods, to generically process values of many types, members of that 2-instance type class. The typeclass constraints are thus manipulated as first-class entities. We also show how to write typeclass instances with back-tracking: if one instance does not apply, the typechecker will chose the `next' instance -- in the precise meaning of `next'.</p></li> |
||
| − | [http://article.gmane.org/gmane.comp.lang.haskell.general/14475 announced] the release of LocH, a small Haskell module providing source location-specific error messages and debugging strings for Haskell code. It uses the compiler-expanded 'assert' token, rather than cpp or m4, to provide a lightweight approach to generating source locations. No preprocessor is required. More information is available at [http://www.cse.unsw.edu.au/~dons/loch.html the LocH site], including [http://www.cse.unsw.edu.au/~dons/loch/Debug-Trace-Location.html API documentation].</p></li> |
||
| − | <li><p><em> |
+ | <li><p><em>Cabal mode for emacs</em>. Matthew Danish |
| + | [http://mapcar.org/haskell/cabal-mode/ released] a small (and developing) major mode for editing Cabal files in emacs.</p></li> |
||
| − | [http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16689/focus=16689 expanded] on the document describing how best to [http://haskell.org/haskellwiki/How_to_write_a_Haskell_program set up a new Haskell project], leading to the creation of [http://article.gmane.org/gmane.comp.lang.haskell.cabal.devel/269 mkcabal],a new tool for setting up cabalised Haskell projects.</p></li> |
||
| + | |||
| + | <li><p><em>YCR2JS Programmers Guide Draft</em>. Dimitry Golubovsky |
||
| + | [http://article.gmane.org/gmane.comp.lang.haskell.cafe/16764 announced] the draft of low-level [http://haskell.org/haskellwiki/Yhc/Javascript/Programmers_guide programming guide for Yhc Core to Javascript converter]. Everyone interested in future use of this tool is encouraged to read and review the Guide. Its purpose is to give some ideas about interaction of Haskell programs converted into Javascript with a web browser on the lowest possible level, without application frameworks and support libraries (just because these haven't been developed).</p></li> |
||
| + | |||
| + | <li><p><em>NeHe Tutorials in Haskell</em>. Jason Dagit [http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16870/focus=16870 announced] the availability of the (somewhat) famous NeHe tutorials for OpenGL have been ported to HOpenGL. A [http://codersbase.com/index.php/Nehe-tuts darcs repository] is provided.</p></li></ul> |
||
| + | |||
| + | ''2006-11-26'' |
||
| + | <ul> |
||
<li><p><em>How to build an adaptable interpreter in one day</em>. The slides of this paper, by Dan Popa, presented at ICMI 45, and not included in the proceedings, are [http://www.haskell.org/haskellwiki/Image:Building_an_interpreter.pdf available now] (pdf). The paper is a step by step guide on the building of a small monadic interpreter. The [http://www.haskell.org/sitewiki/images/5/54/Building_an_interpreter.pdf papers slides] are also available.</p></ul> |
<li><p><em>How to build an adaptable interpreter in one day</em>. The slides of this paper, by Dan Popa, presented at ICMI 45, and not included in the proceedings, are [http://www.haskell.org/haskellwiki/Image:Building_an_interpreter.pdf available now] (pdf). The paper is a step by step guide on the building of a small monadic interpreter. The [http://www.haskell.org/sitewiki/images/5/54/Building_an_interpreter.pdf papers slides] are also available.</p></ul> |
||
Revision as of 00:59, 28 November 2006
2006-11-28
QuickCheck 2 development version. Bjorn Bringert announced that the development version of QuickCheck 2 is now available in a public darcs repository. Highlights of the new QuickCheck version include: shrinking of failing test cases; supports testing monadic code; handles exceptions gracefully; coarbitrary has moved to a separate class; type-level modifiers for changing test data generation (e.g. NonNegative); function table printing; and user-defined actions when properties fail. The source is available via darcs.
PQC: QuickCheck in the Age of Concurrency. Don Stewart announced PQC: Parallel QuickCheck. PQC provides a single module: Test.QuickCheck.Parallel. This is a QuickCheck driver that runs property lists as jobs in parallel, and will utilise as many cores as you wish, with the SMP parallel GHC 6.6 runtime. It is simple, scalable replacement for Test.QuickCheck.Batch.
cabal-test: automatic testing for Cabal projects. David Himmelstrup announced cabal-test, the automatic tester for Cabal projects. The cabal-test tool is capable of testing embedded QuickCheck properties in any and all cabalized projects. The tests are currently executed in parallel with PQC. QuickCheck properties can reside anywhere in the code and don't have to be exported. The darcs repo is available.
Streams 0.1.7. Bulat Ziganshin announced Streams version 0.1.7, a fast extensible I/O and serialization library. Changes include: GHc 6.6 support, support for files larger than 4G on Windows, haddock documentation.
Ranged Sets 0.0.3. Paul Johnson announced the 0.0.3 release of Ranged Sets. Ranged sets allow programming with sets of values described by a list of ranges. A value is a member of the set if it lies within one of the ranges. The ranges in a set are ordered and non-overlapping, so the standard set operations can be implemented by merge algorithms in O(n) time.
Type-class overloaded functions. Oleg Kiselyov presented functions polymorphic over classes of types. Each instance of such (2-polymorphic) function uses ordinary 1-polymorphic methods, to generically process values of many types, members of that 2-instance type class. The typeclass constraints are thus manipulated as first-class entities. We also show how to write typeclass instances with back-tracking: if one instance does not apply, the typechecker will chose the `next' instance -- in the precise meaning of `next'.
Cabal mode for emacs. Matthew Danish released a small (and developing) major mode for editing Cabal files in emacs.
YCR2JS Programmers Guide Draft. Dimitry Golubovsky announced the draft of low-level programming guide for Yhc Core to Javascript converter. Everyone interested in future use of this tool is encouraged to read and review the Guide. Its purpose is to give some ideas about interaction of Haskell programs converted into Javascript with a web browser on the lowest possible level, without application frameworks and support libraries (just because these haven't been developed).
NeHe Tutorials in Haskell. Jason Dagit announced the availability of the (somewhat) famous NeHe tutorials for OpenGL have been ported to HOpenGL. A darcs repository is provided.
2006-11-26
How to build an adaptable interpreter in one day. The slides of this paper, by Dan Popa, presented at ICMI 45, and not included in the proceedings, are available now (pdf). The paper is a step by step guide on the building of a small monadic interpreter. The papers slides are also available.