- Haskell - Haskell.org

detecting existing instances
by Jorge Marques Pelizzoni 10 Jan '08

10 Jan '08

Hi, all! I guess this belongs to haskell-cafe or glasgow-haskell-users, but I've already been there and got no replies. Thanks in advance for anyone taking the time to read on. Given two type classes A t and B t, I'd like the typechecker to derive different A t instances depending exactly on whether t is an instance of B. In other words, is it possible to define a class (actually a type-level function) IsB t f such that: IsB t HTrue <=> instance (B t) exists IsB t HFalse <=> otherwise? If not, is this wish intrisically pointless? After experimenting a bit with multiparameter classes, overlapping instances and suchlike, it looks like Haskell is being purposedly designed not to support this. Yes, I believe that would require the typechecker to take a whole new theorem-proving (undecidable?) stance :o) On the other hand, any interesting type-level programming seems to require undecidable+overlapping instances, so we are usually working on undecidable grounds... Sorry if this is an overdebated matter (is it?), but searching through the endless haskell archives is not trivial. Thanks in advance for any pointers or thoughts on the matter. Cheers, Jorge.

4 4

Problems with Unicode Symbols as Infix Function Names in Propositional Calculus Haskell DSL
by Cetin Sert 09 Jan '08

09 Jan '08

I want to design a DSL in Haskell for propositional calculus. But instead of using natural language names for functions like or, and, implies etc. I want to use Unicode symbols as infix functions ¬, ˅, ˄, →, ↔ But I keep getting error messages from the GHC parser. Is there a way to make GHC parse my source files correctly? If it is not possible yet, please consider this as a “feature request”. Best Regards, Cetin Sert INF 521, 4-6-2 69120 Heidelberg Germany http://www.corsis.de

1 0

ANNOUNCE: Haddock version 2.0.0.0
by David Waern 09 Jan '08

09 Jan '08

Dear Haskell community, I'm proud to announce the release of Haddock 2.0.0.0! http://www.haskell.org/haddock http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-2.0.0.0 Changes in version 2.0.0.0: * The GHC API is used as the front-end * Haddock now understands all syntax understood by GHC 6.8.2 * Haddock can generate documentation for some of the language extensions in GHC 6.8.2 * Format of module attributes has changed. The only way of specifiying module attributes is via a new OPTIONS_HADDOCK pragma. Example: {-# OPTIONS_HADDOCK hide, prune #-} * Haddock understands literate source files * Add a small library to read Haddock's interface files * Add a flag -B for passing the path to the GHC lib dir * Add a flag --optghc for passing options to GHC * Add a flag --ghc-version for printing the GHC version * Remove --use-package, --allow-missing-html, --ghc-pkg, in favour of only supporting --read-interface * Remove --package flag, the GHC flag -package-name can be used instead * Remove --no-implicit-prelude flag, the GHC flag -XNoImplicitPrelude can be used instead * Hoogle support temporarily removed It should be noted that this version of Haddock is not compatible with interface files from previous versions. Also, currently, when Haddock comes across a GHC language extension that it doesn't know how to render as HTML, it will bail out. If this happens to you, bug me about it, or help out by sending a patch. On the development side, Haddock has been slightly refactored for easier code navigation, and has the beginnings of a test suite. Haddock also ships with (as noted in the list of changes) a small, experimental library that can be used to read its interface files. Tools and IDE-type applications can use this library to e.g. look up the documentation for identifiers. The code repository is at http://code.haskell.org/haddock. David

3 3

MSFP call for papers
by Venanzio Capretta 09 Jan '08

09 Jan '08

CALL FOR PAPERS Second Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 6 July 2008, Reykjavik - Iceland A satellite workshop of ICALP 2008 PRESENTATION The workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Monadic programming in Haskell is the paradigmatic example, but there are many more mathematical insights manifest in programs and in programming language design: Freyd-categories in reactive programming, symbolic differentiation yielding context structures, and comonadic presentations of dataflow, to name but three. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006. An associated special issue of the Journal of Functional Programming is in preparation. SUBMISSIONS Electronic Notes in Theoretical Computer Science have provisionally agreed to publish the proceedings of MSFP 2008. ENTCS require submissions in LaTeX, formatted according to their guidelines (http://www.entcs.org/prelim.html) Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Programme Committee members, barring the co-chairs, may (and indeed are encouraged) to contribute. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. We are using the EasyChair software to manage submissions. To submit a paper, please log in at: http://www.easychair.org/conferences/?conf=msfp2008. TIMELINE: Submission of abstracts: 4 April Submission of papers: 11 April Notification: 16 May Final versions due: 13 June Workshop: 6 July For more information about the workshop, go to: http://msfp.org.uk/ Programme Committee * Yves Bertot, INRIA, Sophia-Antipolis, France * Venanzio Capretta (co-chair), Radboud University, Nijmegen, The Netherlands * Jacques Carette, McMaster University, Hamilton, Ontario, Canada * Thierry Coquand, Chalmers University, Göteborg, Sweden * Andrzej Filinski, DIKU, University of Copenhagen, Denmark * Jean-Christophe Filliâtre, LRI, Université Paris Sud, France * Jeremy Gibbons, Oxford University, England * Andy Gill, Galois Inc., Portland, Oregon, USA * Peter Hancock, University of Nottingham, England * Oleg Kiselyov, FNMOC, Monterey, California, USA * Paul Blain Levy, University of Birmingham, England * Andres Löh, Utrecht University, The Netherlands * Marino Miculan, Università di Udine, Italy * Conor McBride (co-chair), Alta Systems, Northern Ireland * James McKinna, Radboud University, Nijmegen, The Netherlands * Alex Simpson, University of Edinburgh, Scotland * Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia

1 0

2nd ANNOUNCE: HCAR 12/2007
by Andres Loeh 09 Jan '08

09 Jan '08

Hi everyone. [For everyone who missed the first announcement because they were already in the holidays ...] The December 2007 edition of the Haskell Communities and Activities Report is out and available for download from http://haskell.org/communities Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de

2 1

What dates are best for a hackathon in Gothenburg?
by Bjorn Bringert 08 Jan '08

08 Jan '08

We are planning to hold the 4th Haskell Hackathon in Gothenburg in April. If you would be at all interested in coming, please indicate which of the three candidate dates Apr 4-6, Apr 11-13, or Apr 18-20 suit you by editing: http://www.haskell.org/haskellwiki/Hac_2008/Dates If you haven't been to a Haskell Hackathon before, check out the web page from the 3rd hackathon which was held in Freiburg in October: http://www.haskell.org/haskellwiki/Hac_2007_II /Björn

1 0

Call for papers TASE2008
by tase08 08 Jan '08

08 Jan '08

(Apologies if you have already received this message.) TASE 2008 2nd IEEE Symposium on Theoretical Aspects of Software Engineering Nanjing, China June 17-19, 2008 http://cs.nju.edu.cn/tase08/index.html Large scale software systems and Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect & object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2008 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Validation * Software Testing * Component-based Development * Model Checking for Software * Software Processes and Workflows * Software Frameworks and Middleware * Software Architectures and Design * Software safety and reliability * Reverse Engineering and Software Maintenance * Aspect and Objected �Corientation Techniques * Embedded and Real-time Software * Service-oriented Computing and Web Services * Model-driven Development * Coordination and Feature Interaction * Parallel and Distributed Computing * Logics of Programs * Program Analysis * Semantics and Design of Programming Languages * Type Theory Submission Guidelines: Authors should submit and register their paper through our web-interface at: http://www.easychair.org/conferences/?conf=TASE2008 by January 28, 2008. Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Important Dates: * January 21, 2008: Title and abstract submission deadline * January 28, 2008: Paper submission deadline * March 10, 2008: Acceptance/rejection notification * March 23, 2008: Camera-ready version due * June 17-19, 2008: TASE 2008 Organization: General Co-Chairs: Jifeng He, East China Normal University, China Jian Lu, Nanjing University, China Program Co-chairs: Jim Davies, Oxford University, UK �� Xuandong Li, Nanjing University, China Local Organization Chair: Linzhang Wang, Nanjing University, China Program Committee: Bernhard Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyzushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Jonathan Bowen (King's College London, UK) Michael Butler (University of Southampton, UK) Ana Cavalcanti (University of York, UK) Jim Davies (Oxford University, UK) Geoff Dromey (Griffith University, Australia) Jin Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xi��dian University, China) Colin Fidge (Queensland University of Technology, Australia) Dieter Gollmann (Hamburg University of Technology, Germany) Kung-Kiu Lau (Manchester University, UK) Jing Liu (East China Normal University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Annabelle Mclver (Macquarie University, Australia) Hong Mei (Peking University, China) Huaikou Miao (Shanghai University, China) Masoud Mohammadian(University of Canberra, Australia) Shankar Natarajan (SRI International, USA) Nimal Nissanke (London South Bank University, UK) Geguang Pu(East China Normal University, China) Shengchao Qin (Durham University, UK) Zongyan Qiu (Peking University, China) Zhong Shao (Yale University, USA) Joseph Sifakis (Verimag, France) Zhengdong Su (University of California at Davis, USA) Margus Veanes (Microsoft, USA) Sergiy Vilkomir (University of Limerick, Ireland) Farn Wang (National Taiwan University, Taiwan) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang(Nanjing University, China) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK) Dianxiang Xu(North Dakota State University, USA) Wang Yi (Uppsala University, Sweden) Gianluigi Zavattaro (University of Bologna, Italy) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Huibiao Zhu (East China Normal University, China) Steering Program Committee Michael Hinchey(Chair), USA Keijiro Araki, Japan Jifeng He, China Zhiming Liu, Macau Mike Reed, Macau Huibiao Zhu, China Keynote Speakers Edmund M. Clarke (Carnegie Mellon University) Joost-Pieter Katoen (RWTH Aachen University)

1 0

Question concerning the "Data Parallel Haskell: a status report" paper
by Stephan Friedrichs 08 Jan '08

08 Jan '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Haskellers, the paper "Data Parallel Haskell: a status report" (Chakravarty, Leshchinskiy, Peyton Jones, Keller and Marlow) is an important source of my seminar handout about skeletons and parallelisation. It contains code samples concerning the ArrElem type family: class ArrElem e where data [:e:] (!:) :: [:e:] -> Int -> e and various instance declarations, e.g.: class ArrElem Int where -- sic! -- ... My question is: Is "class ArrElem Int" a typo and should be "instance ArrElem Int" or did I get something wrong? Thanks in advance and a happy new year - Stephan - -- Früher hieß es ja: Ich denke, also bin ich. Heute weiß man: Es geht auch so. - Dieter Nuhr -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.8 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkd/zecACgkQyui/cGVQfkizigCdHZ7DrL+v+OcyHZDF8hWk9jO7 fQEAnR5niACeaSASPLzMqfclirzjHPRU =Yvj6 -----END PGP SIGNATURE-----

3 2

CMCS 2008: Final call for papers
by Clemens Kupke 07 Jan '08

07 Jan '08

CMCS 2008 Final Announcement Please excuse multiple copies 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 Key Note Speaker: Dexter Kozen (to be confirmed) Invited Speakers: Stefan Milius and Dirk Pattinson The workshop will be held in conjunction with the 11th European Joint Conferences on Theory and Practice of Software ETAPS 2008 March 29 - April 6, 2008 Programme Committee Jiri Adamek (chair, Braunschweig), Corina Cirstea (Southampton), Neil Ghani (Nottingham), H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Clemens Kupke (co-chair, Amsterdam), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Indiana), John Power (Bath), Jan Rutten (Amsterdam), Lutz Schröder (Bremen), Tarmo Uustalu (Tallinn), Yde Venema (Amsterdam), Hiroshi Watanabe (Osaka). Submissions Two sorts of submissions will be possible this year: Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. Short contributions: These will not be published but will be compiled into a technical report of the Technical University of Braunschweig. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs08(a)cwi.nl. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. Important Dates Deadline for submission of regular papers: January 13, 2008. Notification of acceptance of regular papers: February 11, 2008. Final version for the preliminary proceedings: February 18, 2008. Deadline for submission of short contributions: March 10, 2008. Notification of acceptance of short contributions: March 17, 2008. For more information, please write to cmcs08(a)cwi.nl

1 0

Haskell Weekly News: Issue 68 - January 05, 2008
by Don Stewart 06 Jan '08

06 Jan '08

--------------------------------------------------------------------------- Haskell Weekly News Issue 68 - January 05, 2008 --------------------------------------------------------------------------- Welcome to issue 68 of HWN, a newsletter covering developments in the [1]Haskell community. This HWN features new releases of the GHC and nhc98 Haskell compilers, a pre-release of darcs 2.0, several new user groups formed, and of course, more than 100 updated and new libraries 1. http://haskell.org/ Announcements GHC 6.8.2. The GHC Team [2]announced the release of GHC 6.8.2, featuring optimisation improvements, improvements to ghci and fixes to standalone deriving. 2. http://www.haskell.org/ghc/download_ghc_682.html nhc98 1.2 released. Malcolm Wallace [3]announced the release of nhc98 1.2. 1.20 is a refreshed release with many of the current core library packages included, and a variety of small bugfixes since the last release. It successfully compiles and runs more programs from the nobench suite than jhc, hbc, Hugs, or yhc. It generates an interpreted bytecode that, on the whole runs faster than that generated by Hugs or yhc, and in many cases is also faster than ghci. Although nhc98 is written in Haskell, you don't need an existing Haskell compiler on your platform to build nhc98 - a C compiler will do. Hence, it is portable to almost any unix-like machine with a 32-bit compatibility mode. Many useful build tools come included: hmake (the inspiration for ghc --make), hi (interactive read-eval-print, like Hugs or ghci), cpphs (Haskell-aware replacement for cpp) and hsc2hs (preprocessor for FFI code) 3. http://article.gmane.org/gmane.comp.lang.haskell.general/15770 darcs 2.0.0pre2. David Roundy [4]announced the availability of the second prerelease of [5]darcs two, darcs 2.0.0pre2. This release fixes several severe performance bugs that were present in the first prerelease. These issues were identified and fixed thanks to the helpful testing of Simon Marlow and Peter Rockai. We also added support for compilation under ghc 6.4, so even more users should be able to test this release. 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/33483 5. http://darcs.net/ The Monad.Reader Issue 9: SoC special. Wouter Swierstra [6]announced a new issue of The Monad.Reader, a 'Summer of Code Special' - it consists of three articles from student participants of Google's Summer of Code, describing the projects they worked on. 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/31848 What's happening with Haskell? The 13th HCAR. Andres Loeh [7]announced the 13th edition of the Haskell Communities and Activities Report 7. http://www.haskell.org/communities/ Teach yourself gtk2hs in 21 hours. Hans van Thiel [8]announced a Gtk2Hs basics tutorial, based on the Tony Gale and Ian Main GTK+2.0 tutorial, is now available for review and comment. 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/32671 Minimalistic Haskell blog framework. Paul Brown [9]announced a lightweight, experimental blog publishing application, [10]perpubplat 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/34503 10. http://datapr0n.com/repos/perpubplat atom. Tom Hawkins [11]announced the release of atom 2007.12; atom is a domain-specific language embedded in Haskell for describing real-time control applications 11. http://www.haskell.org/pipermail/haskell-cafe/2007-December/035742.html Hackage New and updated libraries in [12]the Hackage library database. 12. http://hackage.haskell.org/ * bytestring 0.9.0.4. Uploaded by DonaldStewart. [13]bytestring: Fast, packed, strict and lazy byte arrays with a list interface. * uuagc 0.9.5. Uploaded by ArieMiddelkoop. [14]uuagc: Attribute Grammar System of Universiteit Utrecht. * uulib 0.9.5. Uploaded by ArieMiddelkoop. [15]uulib: Haskell Utrecht Tools Library. * llvm 0.0.2. Uploaded by BryanOSullivan. [16]llvm: Bindings to the LLVM compiler toolkit. * HDBC-sqlite3 1.1.3.1. Uploaded by JohnGoerzen. [17]HDBC-sqlite3: Sqlite v3 driver for HDBC. * HDBC-odbc 1.1.3.1. Uploaded by JohnGoerzen. [18]HDBC-odbc: ODBC driver for HDBC. * dimensional 0.7.2. Uploaded by BjornBuckwalter. [19]dimensional: Statically checked physical dimensions.. * uulib 0.9.5. Uploaded by ArieMiddelkoop. [20]uulib: Haskell Utrecht Tools Library. * hsc3 0.1. Uploaded by RohanDrape. [21]hsc3: Haskell SuperCollider. * hosc 0.1. Uploaded by RohanDrape. [22]hosc: Haskell Open Sound Control. 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-0.9.0… 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uuagc-0.9.5 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uulib-0.9.5 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/llvm-0.0.2 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-sqlite3-1.1… 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-odbc-1.1.3.1 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dimensional-0.7.2 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uulib-0.9.5 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsc3-0.1 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hosc-0.1 * GLFW 0.2. Uploaded by PaulLiu. [23]GLFW: A binding for GLFW, An OpenGL Framework. * control-timeout 0.1. Uploaded by AdamLangley. [24]control-timeout: Timeout handling. * hiccup 0.35. Uploaded by KyleConsalus. [25]hiccup: Relatively efficient Tcl interpreter with support for basic operations. * phooey 2.0. Uploaded by ConalElliott. [26]phooey: Functional user interfaces. * reactive 0.0. Uploaded by ConalElliott. [27]reactive: Simple foundation for functional reactive programming. * phooey 1.4. Uploaded by ConalElliott. [28]phooey: Functional user interfaces. * hburg 1.1.1. Uploaded by IgorBohm. [29]hburg: Haskell Bottom Up Rewrite Generator. * hinotify 0.2. Uploaded by LennartKolmodin. [30]hinotify: Haskell binding to INotify. * cabal-rpm 0.3.3. Uploaded by BryanOSullivan. [31]cabal-rpm: RPM package builder for Haskell Cabal source packages.. * codec-libevent 0.1. Uploaded by AdamLangley. [32]codec-libevent: Cross-platform structure serialisation. 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLFW-0.2 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/control-timeout-… 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hiccup-0.35 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/phooey-2.0 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/reactive-0.0 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/phooey-1.4 29. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hburg-1.1.1 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hinotify-0.2 31. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-rpm-0.3.3 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/codec-libevent-0… * irc 0.4. Uploaded by TrevorElliott. [33]irc: A small library for parsing IRC messages.. * dlist 0.4. Uploaded by DonaldStewart. [34]dlist: Differences lists. * AutoForms 0.4.0. Uploaded by MadsLindstroem. [35]AutoForms: GUI library based upon generic programming (SYB3). * bktrees 0.2.1. Uploaded by JosefSvenningsson. [36]bktrees: A set data structure with approximate searching. * bktrees 0.2. Uploaded by JosefSvenningsson. [37]bktrees: A set data structure with approximate searching. * binary-strict 0.1. Uploaded by AdamLangley. [38]binary-strict: Binary deserialisation using strict ByteStrings. * haddock 0.9. Uploaded by SimonMarlow. [39]haddock: Haddock is a documentation-generation tool for Haskell libraries. * bytestring-mmap 0.2.0. Uploaded by DonaldStewart. [40]bytestring-mmap: mmap support for strict ByteStrings. * bytestring 0.9.0.3. Uploaded by DonaldStewart. [41]bytestring: Fast, packed, strict and lazy byte arrays with a list interface. * hiccup 0.3. Uploaded by KyleConsalus. [42]hiccup: Added by KyleConsalus, Wed Dec 19 17:00:42 PST 2007.. 33. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/irc-0.4 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dlist-0.4 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AutoForms-0.4.0 36. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bktrees-0.2.1 37. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bktrees-0.2 38. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/binary-strict-0.1 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-0.9 40. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-mmap-… 41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-0.9.0… 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hiccup-0.3 * cedict 0.1.1. Uploaded by JasonDusek. [43]cedict: Convenient Chinese character lookup.. * TypeCompose 0.3. Uploaded by ConalElliott. [44]TypeCompose: Type composition classes & instances. * bytestring-mmap 0.1.2. Uploaded by DonaldStewart. [45]bytestring-mmap: mmap support for strict ByteStrings. * bytestring 0.9.0.2. Uploaded by DonaldStewart. [46]bytestring: Fast, packed, strict and lazy byte arrays with a list interface. * bytestring-mmap 0.1.1. Uploaded by DonaldStewart. [47]bytestring-mmap: mmap support for strict ByteStrings. * mkcabal 0.3. Uploaded by DonaldStewart. [48]mkcabal: Generate cabal files for a Haskell project. * terminfo 0.1. Uploaded by Judah Jacobson. [49]terminfo: Haskell bindings to the terminfo library.. * Cabal 1.2.3.0. Uploaded by Duncan Coutts. [50]Cabal: A framework for packaging Haskell software. * hxt 7.4. Uploaded by UweSchmidt. [51]hxt: A collection of tools for processing XML with Haskell.. * X11 1.4.1. Uploaded by Spencer Janssen. [52]X11: A binding to the X11 graphics library. 43. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cedict-0.1.1 44. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/TypeCompose-0.3 45. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-mmap-… 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-0.9.0… 47. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-mmap-… 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mkcabal-0.3 49. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/terminfo-0.1 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal-1.2.3.0 51. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.4 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-1.4.1 * dataenc 0.10.1. Uploaded by Magnus Therning. [53]dataenc: Data encoding library currently providing Uuencode, Base64, Base64Url, Base32, Base32Hex, and Base16.. * bytestringreadp 0.1. Uploaded by Gracjan Polak. [54]bytestringreadp: A ReadP style parser library for ByteString. * encoding 0.3. Uploaded by HenningGuenther. [55]encoding: A library for various character encodings. * hslua 0.2. Uploaded by Gracjan Polak. [56]hslua: A Lua language interpreter embedding in Haskell. * xmonad-contrib 0.5. Uploaded by Spencer Janssen. [57]xmonad-contrib: Third party extensions for xmonad. * xmonad 0.5. Uploaded by SpencerJanssen. [58]xmonad: A tiling window manager. * pandoc 0.45. Uploaded by John MacFarlane. [59]pandoc: Conversion between markup formats. * markov-chain 0.0.1. Uploaded by Henning Thielemann. [60]markov-chain: Markov Chains for generating random sequences with a user definable behaviour.. * parsedate 3000.0.0. Uploaded by Bjorn Bringert. [61]parsedate: Data and time parsing for CalendarTime. * hackage2hwn 0.1. Uploaded by Don Stewart. [62]hackage2hwn: Convert hackage = Hackage RSS feeds to Haskell Weekly News format. 53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dataenc-0.10.1 54. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestringreadp-… 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/encoding-0.3 56. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hslua-0.2 57. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-contrib-0… 58. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-0.5 59. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pandoc-0.45 60. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/markov-chain-0.0… 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parsedate-3000.0… 62. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hackage2hwn-0.1 * hask-home 2007.12.6. Uploaded by BjornBringert. [63]hask-home: Generate homepages for cabal packages. * hmarkup 3000.0.1. Uploaded by BjornBringert. [64]hmarkup: Simple wikitext-like markup format implementation.. * hspread 0.2. Uploaded by AndreaVezzosi. [65]hspread: A client library for the spread toolkit. * pcap 0.4.2. Uploaded by BryanOSullivan. [66]pcap: A system-independent interface for user-level packet capture. * hogg 0.3.0. Uploaded by ConradParker. [67]hogg: Library and tools to manipulate the Ogg container format. * Finance-Quote-Yahoo 0.4.1. Uploaded by BradClawsie. [68]Finance-Quote-Yahoo: Obtain quote data from finance.yahoo.com. * Monadius 0.9.20071204. Uploaded by GwernBranwen. [69]Monadius: 2-D arcade scroller. * Shu-thing 1.0.20071203. Uploaded by GwernBranwen. [70]Shu-thing: A vector shooter game. * hmatrix 0.1.1.0. Uploaded by AlbertoRuiz. [71]hmatrix: Linear algebra and numerical computations. * HTTP 3001.0.3. Uploaded by BjornBringert. [72]HTTP: Added by BjornBringert, Fri Nov 30 14:50:55 PST 2007.. 63. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hask-home-2007.1… 64. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmarkup-3000.0.1 65. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hspread-0.2 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pcap-0.4.2 67. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hogg-0.3.0 68. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Ya… 69. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Monadius-0.9.200… 70. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shu-thing-1.0.20… 71. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-0.1.1.0 72. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP-3001.0.3 * rss 3000.0.1. Uploaded by BjornBringert. [73]rss: A library for generating RSS 2.0 feeds.. * haxr 3000.0.1. Uploaded by BjornBringert. [74]haxr: XML-RPC client and server library.. * fitsio 0.1. Uploaded by EricSessoms. [75]fitsio: A library for reading and writing data files in the FITS data format.. * YamlReference 0.6. Uploaded by Oren Ben Kiki. [76]YamlReference, YAML reference implementation * LambdaShell 0.9.1. Uploaded by Robert Dockins. [77]LambdaShell, simple shell for evaluating lambda expressions * Shellac 0.9.1. Uploaded by Robert Dockins. [78]Shellac, a framework for creating shell envinronments * EdisonCore 1.2.1.1. Uploaded by Robert Dockins. [79]EdisonCore, a library of efficent, purely-functional data structures (Core Implementations) * hmatrix 0.1.0.0. Uploaded by Alberto Ruiz. [80]hmatrix, linear algebra and numerical computations * strict-concurrency 0.1. Uploaded by Don Stewart. [81]strict-concurrency, strict concurrency abstractions * X11 1.4.0. Uploaded by Don Stewart. [82]X11, binding to the X11 graphics library 73. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rss-3000.0.1 74. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haxr-3000.0.1 75. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fitsio-0.1 76. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/YamlReference-0.6 77. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/LambdaShell-0.9.1 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shellac-0.9.1 79. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EdisonCore-1.2.1… 80. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-0.1.0.0 81. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-concurren… 82. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-1.4.0 * safecopy 0.3. Uploaded by David Himmelstrup. [83]safecopy, binary serialization with version control * HaXml 1.13.3. Uploaded by Malcolm Wallace. [84]HaXml, utilities for manipulating XML documents * c2hs 0.15.1. Uploaded by Duncan Coutts. [85]c2hs, C->Haskell Interface Generator * calc 0.1. Uploaded by Austin Seipp. [86]calc, small compiler for arithmetic expressions. * miniplex 0.2.1. Uploaded by Lukas Mai. [87]miniplex, simple 1-to-N interprocess communication * sat 1.1.1. Uploaded by Andrii Zvorygin. [88]sat, CNF SATisfier * dimensional 0.7.1. Uploaded by Bjorn Buckwalter. [89]dimensional, statically checked physical dimensions * hxt 7.4. Uploaded by Uwe Schmidt. [90]hxt, collection of tools for processing XML with Haskell. * dlist 0.3.2. Uploaded by Don Stewart. [91]dlist, difference lists. A list type supporting fast append. * mkcabal 0.2. Uploaded by Don Stewart. [92]mkcabal, generate cabal files for a Haskell project 83. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/safecopy-0.3 84. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HaXml-1.13.3 85. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/c2hs-0.15.1 86. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/calc-0.1 87. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/miniplex-0.2.1 88. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sat-1.1.1 89. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dimensional-0.7.1 90. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.4 91. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dlist-0.3.2 92. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mkcabal-0.2 * Chart 0.5. Uploaded by Tim Docker. [93]Chart, a library for generating 2D Charts and Plots * MaybeT 0.1.1. Uploaded by Don Stewart. [94]MaybeT, MaybeT monad transformer * regex-pcre 0.93. Uploaded by Chris Kuklewicz. [95]regex-pcre, replaces Text.Regex * fixpoint 0.1. Uploaded by Roman Leshchinskiy. [96]fixpoint, data types as fixpoints * ChasingBottoms 1.2.2. Uploaded by Nils Anders Danielsson. [97]ChasingBottoms, support for testing partial and infinite values * GrowlNotify 0.3. Uploaded by Nicholas Burlett. [98]GrowlNotify, notification utility for Growl * pcap 0.4.1. Uploaded by Bryan OSullivan. [99]pcap, a system-independent interface for user-level packet capture * bencode 0.3. Uploaded by David Himmelstrup. [100]bencode, parser and printer for bencoded data. * stream-fusion 0.1.1. Uploaded by Don Stewart. [101]stream-fusion, provides the standard Haskell list library reimplemented to allow stream fusion. This should in general provide faster list operations, and faster code for list-heavy programs. * HTTP 3001.0.2. Uploaded by Bjorn Bringert. [102]HTTP, library for client-side HTTP 93. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Chart-0.5 94. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/MaybeT-0.1.1 95. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-pcre-0.93 96. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fixpoint-0.1 97. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ChasingBottoms-1… 98. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GrowlNotify-0.3 99. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pcap-0.4.1 100. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bencode-0.3 101. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/stream-fusion-0.… 102. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP-3001.0.2 * X11-xft 0.2. Uploaded by Clemens Fruhwirth. [103]X11-xft, bindings to the Xft, X Free Type interface library, and some Xrender parts * GrowlNotify 0.1. Uploaded by Nicholas Burlett. [104]GrowlNotify, notification utility for Growl. * HsHaruPDF 0.0.0. Uploaded by Audrey Tang. [105]HsHaruPDF, Haskell binding to libharu * unicode-normalization 0.1. Uploaded by Reinier Lamers. [106]unicode-normalization, Unicode normalization using the ICU library * uniplate 1.0.1. Uploaded by Neil Mitchell. [107]uniplate, uniform type generic traversals * lax-0.0.0. Uploaded by Wolfgang Jeltsch. [108]lax, Lax arrows are variants of other arrows which are ?less strict? than the original arrows. They can be used, for example, to produce I/O fixpoints in situations where fixIO would fail. * fastcgi 3001.0.1. Uploaded by Bjorn Bringert. [109]fastcgi, a Haskell library for writing FastCGI programs 103. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-xft-0.2 104. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GrowlNotify-0.1 105. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsHaruPDF-0.0.0 106. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/unicode-normaliz… 107. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uniplate-1.0.1 108. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lax-0.0.0 109. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fastcgi-3001.0.1 Conference roundup New user groups * [110]Portland Functional Programmers Group * [111]FPSIG @ Southampton * [112]SingHaskell 110. http://groups.google.com/group/pdxfunc 111. http://article.gmane.org/gmane.comp.lang.haskell.cafe/32753 112. http://article.gmane.org/gmane.comp.lang.haskell.cafe/32268 Jobs Prototyping. Peter Verswyvelen [113]announced a job using Haskell for prototyping computer animation and games 113. http://article.gmane.org/gmane.comp.lang.haskell.cafe/33377 Blog noise [114]Haskell news from the [115]blogosphere. 114. http://planet.haskell.org/ 115. http://haskell.org/haskellwiki/Blog_articles * [116]Small shots of lambda calculus * [117]Pattern Matching in Ruby * [118]Haskell 'words' and Perl 'split' * [119]Word numbers, Part 4: Sort the words, sum the numbers * [120]Improve Your C#! Borrow from F#... * [121]Sun battling Microsoft (over F#?) * [122]zip in F# and Haskell * [123]Random numbers in Haskell * [124]A survey of Haskell unicode support * [125]Using Haskell for scripting tasks 116. http://fmota.tk/2007/11/small-shots-of-lambda-calculus-part-iii.html 117. http://blog.pretheory.com/arch/2007/11/pattern_matching_in_ruby_1.php 118. http://osfameron.vox.com/library/post/haskell-words-and-perl-split.html 119. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers4/ 120. http://diditwith.net/2007/11/14/ImproveYourCBorrowFromF.aspx 121. http://vanirsystems.com/danielsblog/?p=227 122. http://jyliao.blogspot.com/2007/11/learning-wpf-with-f-dock-and-grid.html 123. http://monadicheadaches.blogspot.com/2007/11/random-numbers-where-it-all-st… 124. http://blog.kfish.org/2007/10/survey-haskell-unicode-support.html 125. http://pinderkent.blogsavy.com/archives/142 * [126]Princeton lost the DARPA Grand Challenge because of a C# memory leak * [127]Laziness in C#/LINQ * [128]Getting functional programming: currying * [129]The magic foldr * [130]Nested Parallel List Comprehensions * [131]FFI in Haskell * [132]Broadening ones horizons * [133]Monad Wars - 1: the Prompt * [134]Monad Wars - 2: the command line * [135]Holy Shmoly, GHC Haskell 6.8 smokes Python and Ruby away! 126. http://www.codeproject.com/showcase/IfOnlyWedUsedANTSProfiler.asp 127. http://gavinbierman.blogspot.com/2007/11/laziness-in-clinq.html 128. http://overwatering.blogspot.com/2007/11/currying.html 129. http://caos.di.uminho.pt/~ulisses/blog/2007/11/20/foldr-the-magic-function/ 130. http://tomschrijvers.blogspot.com/2007/11/nested-parallel-list-comprehensio… 131. http://notes-on-haskell.blogspot.com/2007/02/ffi-in-haskell.html 132. http://ms-os.com/showthread.php?t=116050 133. http://osfameron.vox.com/library/post/monad-wars---1-the-prompt.html 134. http://osfameron.vox.com/library/post/monad-wars---2-the-command-line.html 135. http://www.cse.unsw.edu.au/~dons/blog/2007/11/29#smoking * [136]Use those extra cores and beat C today! (Parallel Haskell redux) * [137]Parallelizing Haskell * [138]Python, Haskell, Ruby Smackdown * [139]Legitimate uses of micro-benchmarks: parameter passing and function call costs * [140]Holy Shmoly, GHC does some magic all by itself! * [141]PARE - PARallel Execution in Erlang - a response to Haskell * [142]Haskell design patterns are (probably) needed * [143]Deriving a Virtual Machine * [144]Games, cores, and functional languages * [145]Structure of a functional Java, er, method 136. http://www.cse.unsw.edu.au/~dons/blog/2007/11/29#smoking-4core 137. http://cmssphere.blogspot.com/2007/11/parallelizing-haskell.html 138. http://feedingthesnake.wordpress.com/2007/11/30/python-haskell-ruby-smackdo… 139. http://eigenclass.org/hiki/legitimate-microbenchmarks 140. http://geekrant.wordpress.com/2007/11/29/holy-shmoly-ghc-does-some-magic-al… 141. http://chlorophil.blogspot.com/2007/11/pare-parallel-execution-in-erlang.ht… 142. http://jpmoresmau.blogspot.com/2007/11/haskell-design-patterns-are-probably… 143. http://www.iis.sinica.edu.tw/~scm/?p=42 144. http://www.antipode.ca/2007/games-cores-and-functional-languages/ 145. http://jpmoresmau.blogspot.com/2007/11/structure-of-functional-java-er-meth… * [146]Current Fixation: Haskell * [147]Multicores, F# and SPJ: leading people to Haskell * [148]The IO Monad for People who Simply Don't Care * [149]Why I chose to learn Haskell * [150]Some Playing with Derivatives * [151]Solve Ball Clock Puzzle in Python and Haskell * [152]Back to functional languages... at least for a while? * [153]Overloading Semicolon, or, monads from 10,000 Feet * [154]Getting started with Haskell * [155]Arrows first encounter 146. http://onerousmachinations.blogspot.com/2007/11/current-fixation-haskell.ht… 147. http://nxtgenug.spaces.live.com/Blog/cns!59F714755D6E2A69!221.entry 148. http://sigfpe.blogspot.com/2007/11/io-monad-for-people-who-simply-dont.html 149. http://offthelip.org/?p=91 150. http://cdsmith.wordpress.com/2007/11/29/some-playing-with-derivatives/ 151. http://the-little-haskeller.blogspot.com/2007/11/solve-ball-clock-puzzle-in… 152. http://afurtado1980.spaces.live.com/Blog/cns!63514833CE40C143!518.entry 153. http://osteele.com/archives/2007/12/overloading-semicolon 154. http://talkingcode.co.uk/2007/12/03/getting-started-with-haskell/ 155. http://monadicheadaches.blogspot.com/2007/12/arrows-first-encounter.html * [156]Arithmetic for lists * [157]Functional Programming on .NET - Part 1 * [158]N-Queens in Haskell * [159]N-Queens in the writer monad * [160]Unit testing in Haskell * [161]Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck * [162]Visualizing 2D convex hull using Gtk and OpenGL in Haskell * [163]Hugs for the Nintendo DS * [164]Comparative terseness of Perl and Haskell * [165]Note on point-free programming style 156. http://wadler.blogspot.com/2007/12/arithmetic-for-lists.html 157. http://zerogradient.wordpress.com/2007/12/05/functional-programming-on-net-… 158. http://therning.org/magnus/archives/330 159. http://cdsmith.wordpress.com/2007/12/09/some-basic-stuff-the-writer-monad/ 160. http://hitesh-jasani.blogspot.com/2007/12/unit-testing-with-hunit-in-haskel… 161. http://www.kennknowles.com/blog/2007/12/03/calculating-the-reflect-rotate-t… 162. http://www.kennknowles.com/blog/2007/11/20/visualizing-2d-convex-hull-using… 163. http://closuretohome.blogspot.com/2007/12/hugs-for-nintendo-ds.html 164. http://blog.plover.com/2007/11/30/#pow-sqrt 165. http://blog.plover.com/prog/haskell/pointfree.html * [166]Haskell Fibonacci Revisited * [167]PXSL Tools 1.0: Your ticket out of XML Hell * [168]Haskell is kind of cool * [169]Learning Haskell with ProjectEuler * [170]Infinite lazy Knuth-Bendix completion for monoids in Haskell * [171]Hugs for the Nintendo DS * [172]My Type of Language... * [173]Catching pods with hpodder * [174]Hamming's problem * [175]Sharper function operators 166. http://chasethedevil.blogspot.com/2007/12/haskell-fibonacci-revisited.html 167. http://blog.moertel.com/articles/2007/12/17/pxsl-tools-1-0-your-ticket-out-… 168. http://www.goesping.org/archives/2007/12/18/haskell-is-kind-of-cool/ 169. http://www.robdickerson.net/?p=12 170. http://www.kennknowles.com/blog/2007/12/20/infinite-lazy-knuth-bendix-compl… 171. http://blog.closuretohome.com/2007/12/hugs-for-nintendo-ds.html 172. http://lambdalounge.blogspot.com/2007/12/my-type-of-language.html 173. http://lorenzod8n.wordpress.com/2007/12/22/catching-pods-with-hpodder/ 174. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Hamming/ 175. http://blog.closuretohome.com/2008/01/sharper-function-operators.html * [176]Xiangqiboard: play Xiangqi against a computer opponent * [177]Haskell is kind of cool * [178]FParsec - A Parser Combinator Library for F# * [179]RSA-Haskell * [180]LLVM bindings for Haskell * [181]perpubplat 0.9 - You're Looking at It: blog framework for Haskell * [182]The point of pointfree * [183]qtHaskell * [184]Web Objects and the underappreciated recursive do * [185]Equality operators in PHP and Haskell 176. http://xiangqiboard.blogspot.com/2007/12/gnuxiangqi-angekndigt.html 177. http://www.goesping.org/archives/2007/12/18/haskell-is-kind-of-cool/ 178. http://www.quanttec.com/fparsec/ 179. http://netsuperbrain.com/rsa-haskell.html 180. http://www.serpentine.com/blog/2008/01/03/llvm-bindings-for-haskell/ 181. http://mult.ifario.us/p/perpubplat-0-9-you-re-looking-at-it 182. http://www.vex.net/~trebla/weblog/pointfree.html 183. http://qthaskell.sourceforge.net/ 184. http://www.alpheccar.org/en/posts/show/89 185. http://www.syntaxpolice.org/index.php/?q=node%2F419 * [186]Pushing Haskell's type system to the limits: A reflective JSON serializer * [187]A Wake Up Call for the Logic Programming Community * [188]Design your functions for partial application * [189]Taxicab Numbers * [190]Composing Contracts * [191]HTTP content-type comparison at the type level * [192]Haskell-Join-Rules * [193]Exploring JPEG * [194]What's interesting to me about SquirrelMail attack * [195]Haskell and F#: Language Design 186. http://lingnerd.blogspot.com/2007/12/pushing-haskells-type-system-to-limits… 187. http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/dec07/content/Ar… 188. http://www.serpentine.com/blog/2007/12/26/design-your-functions-for-partial… 189. http://notes-on-haskell.blogspot.com/2007/12/taxicab-numbers.html 190. http://contracts.scheming.org/ 191. http://www.alpheccar.org/en/posts/show/88 192. http://taichi.ddns.comp.nus.edu.sg/taichiwiki/HaskellJoinRules 193. http://www.imperialviolet.org/binary/jpeg/ 194. http://www.syntaxpolice.org/index.php/?q=node%2F418 195. http://corsis.blogspot.com/2008/01/haskell-and-f-language-design.html * [196]An example of Haskell's beauty * [197]My resolve to learn Haskell has become stronger after having watched 'A Taste of Haskell' * [198]Emacs love w/ Haskell * [199]Finding my way * [200]Why not Scala? * [201]A Different Kind of Obscurity * [202]Languages that save you some typing 196. http://blog.whoop.as/?p=1668 197. http://rmathew.blogspot.com/2008/01/taste-of-haskell.html 198. http://blog.whoop.as/?p=1665 199. http://nointernalmonologue.blogspot.com/2008/01/finding-my-way.html 200. http://unenterprise.blogspot.com/2008/01/why-not-scala.html 201. http://ddvlad.wordpress.com/2007/12/14/a-different-kind-of-obscurity/ 202. http://daltonic.blogspot.com/2008/01/language-that-saves-you-some-typing.ht… Quotes of the Week * Conal: For me, the heart of functional programming is exactly this separation between model and presentation. The former is naturally functional and compositional, while the latter is often imperative/sequential and not-so-compositional. IO belongs with the latter. * ddarius: has programmed too much in Haskell. He now produces code that -compiles- and works the first time * disspy: If all you know is C, everything begins to look like a segmentation fault. * markedtrees: (On the city of Haskell) Ah yes, Haskell. Where all the types are strong, all the men carry arrows, and all the children are above average. * ola-bini: Haskell's type system is really nice, for example, but OCaml's really feels like half of it exists just to cover up holes in the other half, I'm half way into Erlang, but for several reasons the language feels very primitive. * so1i.warazd: I'm more and more comfortable spending time with Haskell these days. Haskell may not be the next thing, but whatever the next big thing is, it's probably going to have Haskelly fingerprints all over it?.. * sylvan: think that the perceived difficulty in using purely functional programming is probably a bit exaggerated these days, as all it means is 'we're explicit about where side effects occur' * falvo: I really wish that someone would come up with a type-safe replacement for the likes of Python. Oh, wait, it's called Haskell! Unfortunately, I'm forbidden from using Haskell at work. Sigh * Tyler Spaulding: eventually even 'simple' programs will nned multiple threads. Does that mean developers will suddenly flock to Haskell? Again, no. Language designers are well aware of the situation. Sun and Microsoft are constantly working on improving the Java and .NET frameworks. And by the time the average programmer needs it, both will have plenty of support for easy threading * ricky clarkson: Haskell is full of Aha and Hah moments for me * five9a2: Concurrency aside, I find it common to write Haskell code that is as fast as C. It is true that for most things, the C can be tweaked to go a bit faster, but that tweaking needs to be done on a case-by-case basis. In Haskell, it is easier to compose optimized components. Better algorithms beat an optimized compiler any day and using the best algorithms everywhere in C code tends to be painful, error-prone, and usually disparaged as premature optimization. * Jeff Moser: It's been this fear of skills rot that has pushed me to look into Lisp, Haskell, F#, Erlang, and other languages to avoid The Blub Paradox. * NFJS 2008 predictions: If you've never programmed in Haskell, now's a good time to learn, because those concepts and syntax are fast making their way towards you... * The honey monster: With the advent of multi-core CPUs and the promise of many core processors in the near future it occurrs to me that my interest in functional programming languages could not of happened at a more opportune time. It is not that imperative programming languages are not as capable, merely that functional programming languages seem to be more natural fit About the Haskell Weekly News New editions are posted to [203]the Haskell mailing list as well as to [204]the Haskell Sequence and [205]Planet Haskell. [206]RSS is also available, and headlines appear on [207]haskell.org. Headlines are available as [208]PDF. To help create new editions of this newsletter, please see the [209]contributing information. Send stories to dons at galois.com. The darcs repository is available at darcs get [210]http://code.haskell.org/~dons/code/hwn/ 203. http://www.haskell.org/mailman/listinfo/haskell 205. http://planet.haskell.org/ 207. http://haskell.org/ 208. http://code.haskell.org/~dons/code/hwn/archives/20080105.pdf 209. http://haskell.org/haskellwiki/HWN 210. http://code.haskell.org/~dons/code/hwn/

1 0