November 2007 - Haskell

Re: AmeroHaskell
by John Peterson 18 Nov '07

18 Nov '07

It would be great if someone put a meeting together during SIGCSE - that's in Portland March 12-15, 2008. That's about the only time I get to crawl out from under my classes and interact with the outside world. We could announce something on the SIGCSE mailing list and maybe pull in some interesting outsiders. John jpeterson(a)western.edu

1 0

AmeroHaskell
by Derek Elkins 17 Nov '07

17 Nov '07

[Reply-To set to Haskell-Cafe] At http://www.haskell.org/haskellwiki/AmeroHaskell is a page for a proposed Haskell meeting originally aimed for the south eastern United States. Quite a few people registered interest, but few of them were in the SE. This email is to prompt any more interest in such a meeting without any fixed geographical locale. To get an idea of what it would be like, it would be something along the lines of http://www.haskell.org/haskellwiki/AngloHaskell Anyone interested in an Haskell meeting anywhere in America mark your interest and what region would be good for you. Anyone who could provide a venue would also be highly appreciated. It may well end up being AmeroHaskells with several meetings in different regions. However, to put things in motion for something concrete at all, we're hoping to put together a meeting taking place in the Portland area as that seems most convenient to the most people who had registered interest in AmeroHaskell and an easy place to find a venue. In that vein, while no plans have been made, something aimed for the January/February time-frame and probably hosted by Galois, if they are willing, has been discussed. The event would probably be a few days long and would involve some informal (and perhaps impromptu) talks and hanging out, getting to know each other as more than an IRC handle, and some cooperative hacking. Again, see the AngloHaskell page for an idea. Anyone who is interested in presenting a talk about anything they are doing or are interested in in Haskell or Haskell-related topics please suggest that on the wiki page or reply here! Admittedly a January/February time-frame does not provide a lot of head time, but the talks are aimed at a friendly chat tone rather than a formal presentation. Feel free to bring your half-baked ideas.

1 0

Haskell binding to the LibTomCrypt library
by Bulat Ziganshin 17 Nov '07

17 Nov '07

Hello haskell, as part of my archiver [1], i've made some FFI bindings to the open-source, public license cryptographic library LibTomCrypt [2] this currently includes * AES, Blowfish, Twofish and Serpent encryption algorithms * CTR and CFB streaming modes * SHA-512 hash * FORTUNE cryptographic random numbers generator * PKCS5#2 password-based key derivation algorithm but may easily be extended to everything else included in the LibTomCrypt library you may just download my sources and use it as is, but it will be a real pain. Don Stewart suggested to cabalize the binding and upload it to hackage as separate lib. i may do it if there are real users for such package. for the supposed API look at [3], encryption API will be essentially the same - using callbacks to read/write data. because my program targeted to the same niche as winzip, the binding provides almost the same service - i.e. ability to encrypt/decrypt stream of data with password using cryptographically sound algorithms. you will be able to use it like this: encrypt "aes" password (hGetBuf infile) (hPutBuf outfile) decrypt password (hGetBuf infile) (hPutBuf outfile) if you need such library - please yell me. i will work on it only if there will be enough real users [1] http://sourceforge.net/project/showfiles.php?group_id=207033 [2] http://libtom.org [3] http://www.haskell.org/bz/CompressionLibrary.htm -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1

need some help with type inference
by Hal Daume III 16 Nov '07

16 Nov '07

Hi Haskellers -- It's been a while since I've frequented this list, but I'm hoping I can stir up some help. My problem isn't Haskell-specific (so please forgive the blanket email), but it *is* related to something written in Haskell, so hopefully that's sufficient :). Basically, the deal is that I have a language for which I need type inference. I currently have something hacked together which works "most of the time", but I'd really like to do it right. The problem is that the type system is unlike anything I've encountered before. There are two "base" types, Real and Integer (which I'll call R and I, respectively). In pseudo-Haskell: > data Base = R Double | I Integer Then, a Type is either a Base type or it's an array with *known* bounds of Types. We can thus get matrices by having arrays of arrays. For instance: > type Bound = ... > data Type = Base Base | Array Bound Type This would all be well and good. The complication is that Bounds can either be given by integer bounds (eg., "10") or by variables (eg., "N"). So, we might write the type of an array of 10 integers as "I[10]" or an array of N reals as "R[N]". Okay, so that's not so bad yet. The complication is that the Kth bound can refer to any of the previous K-1 bounds. For instance, the type "R[N][D[#1]]" means an array of dimension N, each of whose elements is a real array of dimension D[n], where n is the first index. That is, R[5] is an array of length D[5]. Necessarily, D is of type I[N]. And now I need to do type inference/type checking in this system. I have a strong feeling it's undecidable, but I'm fine with that. I don't have a problem require type annotations and, at least for the example programs I have written in this language, I've only once ever been required to write a type annotation even with my very conservative hacky type inference. So the question is: has anyone encountered a type system like this before? Anyone want to offer suggestions? I think probably it's most appropriate to reply off-list, since I don't want to bog the list down. Best, - Hal p.s., the language is here: http://www.cs.utah.edu/~hal/HBC -- Hal Daume III --- me AT hal3 DOT name | http://hal3.name "Arrest this man, he talks in maths." | http://nlpers.blogspot.com

1 0

CFP FICS 2008
by Huibiao Zhu 14 Nov '07

14 Nov '07

(We apologize for multiple copies of this Call.) ============================================================== FICS 2008 The First International Conference on Foundations of Informatics, Computing, and Software (http://www.sei.ecnu.edu.cn/~fics08/) June 3-6, 2008, Shanghai, China For more information e-mail: fics08(a)sei.ecnu.edu.cn ============================================================= Foundations of Informatics, Computing and Software (FICS) is a new conference aimed at being one of the leading conferences in theory, methodologies and systems spanning several emerging areas of computer science, such as programming languages, software engineering, verification and informatics (bio, medical). The 1th International Conference FICS will take place on the campus of East China Normal University (ECNU), Shanghai, China, from June 3 to June 6, 2008. This Conference is intended to be a forum for researchers in several areas with topics including but not limited to: *Algorithm and Computability *Bioinformatics and Systems Biology *Computational Complexity *Concurrent and Parallel Computing *Domain Theory and Semantics Structures *Formal Methods and Software *Formalization Methods and Theory * Theory ? Logic and Formal Verification *Probabilistic Systems *Process Algebra *Quantum Computing *Semantic Web and Ontology *Term Rewriting SUBMISSIONS Guidelines: Authors are invited to submit papers presenting original and unpublished research not concurrently considered for publication elsewhere. Papers should not exceed 14pages and should be formatted according to the ENTCS article style. Submissions must be made through Easychair at: http://www.easychair.org/FICS2008/ before the submission deadlines for abstract and full paper respectively. 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 appear as a volume in ENTCS. Pre-proceedings will be distributed at the conference. IMPORTANT DATES ----------------- Abstract Submissions: Friday, 28 Dec. 2007 Paper Submissions: Friday, 11th Jan. 2008 Notification of acceptance: Friday, 22th Feb. 2008 Camera ready deadline: Friday, 7th Mar. 2008 Conference: Monday, 3rd Jun. 2008 ORGANIZATION ----------------- Conference Chair: Jifeng He, (ECNU, China) Steering Committee: Frahad Arbab (CWI, The Netherland) Manfred Broy ( TU Munchen, Germany) Yixiang Chen (ECNU, China) Pierre-Louis Curien (PPS, France) Jifeng He(Chair)(ECNU, China) Tony Hoare(Oxford Uni., UK) Huimin Lin (SI, China) Prakash Panangaden (McGill Uni., Canada) Guo-qiang Zhang(Chair) (CWRU, US) Program Committee: Li Chen (UDC, US) Yixiang Chen (ECNU, China) Manfred Droste (Uni-Leipzig, Germany) Yuxi Fu (Shanghai Jiaotong Uni., China) Masahito Hasegawa (Kyoto Uni., Japan) Pascal Hitzle (Uni-Karlsruhe, Germany) Ying Jiang (SI, Academy of Science, China) Zhi Jin (MASS, Academy of Science, China) Achim Jung (Birmingham Uni. UK) Klaus Keimel (DTU, Germany) Hong Mei (Beijing Uni., China) Madhavan Mukund (Chennai Mathematical Institute, India) Dag Normann (Oslo Uni. Norway) Catuscia Palamidessi (INRIA FUTUR, Paris) Prakash Panangaden (McGill Uni., Canada) Michel Schellekens (National University of Ireland, Ireland) Dieter Spreen (University of Siegen, Germany) Shanghua Teng (Boston Uni., US) James Worrell (Oxford Uni.,UK) Kwangkeun Yi (Seoul National Uni., Korea) Guo-qiang Zhang (CWRU, US) Hong Zhu (ECNU, China) Publicity Chair： Huibiao Zhu (ECNU, China) Local Organization Committee: Lu Han (ECNU, China) Yuanyuan He (ECNU, China) Yanfang Ma (ECNU, China) Jie Yang (ECNU, China) Min Zhang (Chair) (ECNU, China) Jie Zhou (ECNU, China) Keynote Speakers: Patrick Cousot (ENS, France, http://www.di.ens.fr/~cousot) Vincent Danos (PPS, France, http://www.pps.jussieu.fr/~danos/) Peter O’Hearn (QMW, UK, http://www.dcs.qmul.ac.uk/~ohearn/) Glynn Winskel (Cambridge Uni., UK, http://www.cl.cam.ac.uk/~gw104/) Ming-Sheng Ying (Tsinghua Uni., China)

1 0

fun at York (reminder)
by Colin Runciman 13 Nov '07

13 Nov '07

Fun people, There will be Fun in the Afternoon at York on Thursday 22 November. See http://sneezy.cs.nott.ac.uk/fun/ for details. If you plan to come, and have not already mailed to say so, please send me a non-empty message with EITHER "curried fun" OR "uncurried fun" as the subject line -- participants opting for curried fun will convene at a nearby restaurant at 6pm. Thanks, Colin R

1 0

CFP TASE 2008
by Huibiao Zhu 13 Nov '07

13 Nov '07

(Apologies if you have already received this message.) TASE 2008 2nd IEEE&IFIP Symposium on Theoretical Aspects of Software Engineering Nanjing, China June 17-19, 2008 http://seg.nju.edu.cn/tase08 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://seg.nju.edu.cn/tase08/submit 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 10 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 (Museophile Limited, 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) 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

GHC6.8.1 can not compile the simple example
by david yu 12 Nov '07

12 Nov '07

Link error is: [davidyu@linuxpower test]$ ghc c.hs c.o: In function `rM7_info': (.text+0xaa): undefined reference to `containerszm0zi1zi0zi0_DataziMap_lookup_closure' c.o: In function `rMd_info': (.text+0x1fa): undefined reference to `containerszm0zi1zi0zi0_DataziMap_fromList_closure' c.o: In function `sVJ_info': (.text+0xa3b): undefined reference to `__stginit_containerszm0zi1zi0zi0_DataziMap_' c.o: In function `rM7_srt': (.data+0x18): undefined reference to `containerszm0zi1zi0zi0_DataziMap_lookup_closure' c.o: In function `rMd_srt': (.data+0x60): undefined reference to `containerszm0zi1zi0zi0_DataziMap_fromList_closure' collect2: ld returned 1 exit status

2 1

Haskell Weekly News: November 11, 2007
by Don Stewart 12 Nov '07

12 Nov '07

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20071111 Issue 67 - November 11, 2007 --------------------------------------------------------------------------- Welcome to issue 67 of HWN, a newsletter covering developments in the [1]Haskell community. This week sees the release of GHC 6.8.1, to rave reviews. There have been many reports of large performance improvements for Haskell programs, from small to large production systems. Congratulations to the GHC team for such a great release! 1. http://haskell.org/ Announcements GHC 6.8.1. Ian Lynagh [2]announced the release of GHC 6.8.1, a new major release of GHC. There have been a number of significant changes since the last major release, including: Haskell Program Coverage support, the GHCi debugger, pointer tagging in the runtime (with up to 10-15% speedups), constructor specialisation, improved optimisations and much more! The [3]full release notes are available. 2. http://article.gmane.org/gmane.comp.lang.haskell.general/15733 3. http://haskell.org/ghc/docs/6.8.1/html/users_guide/release-6-8-1.html Gtk2Hs 0.9.12.1. Duncan Coutts [4]announced version 0.9.12.1 of gtk2hs is [5]now available. gtk2hs is the standard graphics library for Haskell. 4. http://article.gmane.org/gmane.comp.lang.haskell.general/15738 5. http://haskell.org/gtk2hs/download/ Lazy SmallCheck 0.1. Matthew Naylor [6]announced Lazy SmallCheck 0.1, a library for exhaustive, demand-driven testing of Haskell programs. 6. http://article.gmane.org/gmane.comp.lang.haskell.general/15702 HDBC 1.1.3. John Goerzen [7]announced new releases of HDBC, the Haskell database connectivity kit, and its associated backends (for sqlite3, postgresql, odbc). 7. http://article.gmane.org/gmane.comp.lang.haskell.general/15729 xmobar. Andrea Rossato [8]announced the release of Xmobar-0.8, a minimalistic, text based, status bar. It was specifically designed to work with the XMonad Window Manager. 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/31465 Flymake Haskell. Daisuke Ikegami [9]announced flymake haskell, emacs bindings for interactive Haskell editing. 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/31453 network bytestring. Johan Tibbel [10]announced, strict ByteString versions of the recv/send family of functions for efficient network IO. 10. http://article.gmane.org/gmane.comp.lang.haskell.general/15645 ByteString search. Bryan O'Sullivan [11]announced a cabalised version of the fast Boyer-Moore and Knuth-Morris-Pratt string search code for ByteStrings 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/31229 Generating free theorems. Janis Voigtlaender [12]announced an improved version of the online and offline free theorems generator for Haskell 12. http://article.gmane.org/gmane.comp.lang.haskell.general/15693 hslogger4j 0.1.1. Bjorn Buckwalter [13]announced Hslogger4j, which provides handlers for hslogger (John Goerzen's Haskell logging framework) that are compatible with log4j's XMLLayout. 13. http://article.gmane.org/gmane.comp.lang.haskell.general/15707 Infinity 0.3. Austin Seipp [14]announced `infinity', an IRC bot in Haskell 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/31228 hswm. Remi Turk [15]announced the first and last release of hswm, a Haskell window manager. 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/30804 Hackage This week's new libraries in [16]the Hackage library database. 16. http://hackage.haskell.org/ * xmobar-0.8. Uploaded by Andrea Rossato. [17]xmobar, a minimalistic text based status bar * hsSqlite3-0.0.4. Uploaded by Evgeny Jukov. [18]hsSqlite3, bindings for Sqlite3 * cabal-rpm-0.3.2. Uploaded by Bryan OSullivan. [19]cabal-rpm turns Haskell Cabal source packages into source and binary RPM packages. * selenium-0.2.2. Uploaded by Aaron Tomb. [20]selenium, Haskell bindings to communicate with a Selenium Remote Control server. This package makes it possible to use Haskell to write test scripts that exercise web applications through a web browser. * HPDF-1.3. Uploaded by alpheccar. [21]HPDF. A PDF library with support for several pages, page transitions, outlines, annotations, compression, colors, shapes, patterns, jpegs, fonts, typesetting ... 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmobar-0.8 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsSqlite3-0.0.4 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-rpm-0.3.2 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/selenium-0.2.2 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.3 * FileManip-0.3.1. Uploaded by Bryan OSullivan. [22]FileManip, a Haskell library for working with files and directories. Includes code for pattern matching, finding files, modifying file contents, and more. * stringsearch-0.2. Uploaded by Bryan OSullivan. [23]stringsearch, fast search of ByteStrings. * nano-md5-0.1. Uploaded by Don Stewart. [24]nano-md5, ByteString bindings to OpenSSL. * denominate-0.4.1. Uploaded by Calvin Smith. [25]denominate provides a main program for performing bulk file and directory renaming, using a built-in filename converter or user-defined converters. * ContArrow 0.0.2. Uploaded by Evgeny Jukov. [26]ContArrow, Control.Arrow.Transformer.Cont 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/FileManip-0.3.1 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/stringsearch-0.2 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/nano-md5-0.1 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/denominate-0.4.1 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ * state 0.0.2. Uploaded by Evgeny Jukov. [27]state. State. * infinity 0.3. Uploaded by Austin Seipp. [28]infinity, a tiny, pluggable irc bot. * unix-compat 0.1.2.1. Uploaded by Duncan Coutts. [29]unix-compat, portable implementations of parts of the unix package. * Ranged-sets 0.1.1. Uploaded by Paul Johnson. [30]Ranged-sets. A ranged set is an ordered list of ranges. * IFS 0.1.1. Uploaded by alpheccar. [31]IFS, a library to describe IFS and generate PPM pictures from the descriptions 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 29. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 31. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ * bktrees 0.1.3. Uploaded by Josef Svenningsson. [32]bktrees. Burhard-Keller trees provide an implementation of sets which apart from the ordinary operations also has an approximate member search, allowing you to search for elements that are of a certain distance from the element you are searching for. * pqc 0.2. Uploaded by Don Stewart. [33]pqc, a parallel batch driver for QuickCheck * strict 0.2. Uploaded by Don Stewart. [34]strict, strict data types. * HsSVN 0.2. Uploaded by PHO. [35]HsSVN, (Part of) Subversion binding for Haskell * HsHyperEstraier 0.2. Uploaded by PHO. [36]HsHyperEstraier, a HyperEstraier binding for Haskell. HyperEstraier is an embeddable full text search engine which is supposed to be independent to any particular natural languages. 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 33. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 36. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ * HsOpenSSL 0.3.1. Uploaded by PHO. [37]HsOpenSSL, a (part of) OpenSSL binding for Haskell. It can generate RSA and DSA keys, read and write PEM files, generate message digests, sign and verify messages, encrypt and decrypt messages. * Finance-Quote-Yahoo 0.4. Uploaded by Brad Clawsie. [38]Finance-Quote-Yahoo, obtain quote data from finance.yahoo.com * LRU 0.1.1. Uploaded by Adam Langley. [39]LRU, an LRU data structure * base 3.0. Uploaded by Ross Paterson. [40]base, the Prelude and its support libraries, and a large collection of useful libraries ranging from data structures to parsing combinators and debugging utilities. * regex-posix 0.72.0.2. Uploaded by Duncan Coutts. [41]regex-posix, posix regex support. 37. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 38. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Ya… 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/LRU-0.1.1 40. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/base-3.0.0.0 41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-posix-0.72… * xhtml 3000.0.2.1. Uploaded by Bjorn Bringert. [42]xhtml, combinators for producing XHTML 1.0, including the Strict, Transitional and Frameset variants. * Win32 2.1.0.0. Uploaded by Esa Ilari Vuokko. [43]Win32, a binding to part of the Win32 library * unix 2.2.0.0. Uploaded by Ross Paterson. [44]unix, POSIX functionality * time 1.1.2.0. Uploaded by Ross Paterson. [45]time, time handling. * template-haskell 2.2.0.0. Uploaded by Ross Paterson. [46]template-haskell, support for manipulating Haskell syntax trees 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhtml-3000.0.2.1 43. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Win32-2.1.0.0 44. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/unix-2.2.0.0 45. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/time-1.1.2.0 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/template-haskell… * stm 2.1.1.0. Uploaded by Ross Paterson. [47]stm, software transational memory * regex-compat 0.71.0.1. Uploaded by Ross Paterson. [48]regex-compat, backwards compatible regex support * regex-base 0.72.0.1. Uploaded by Ross Paterson. [49]regex-base, regex support. * readline 1.0.1.0. Uploaded by Ross Paterson. [50]readline, an interface to the GNU readline library * random 1.0.0.0. Uploaded by Ross Paterson. [51]random, random number generation 47. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/stm-2.1.1.0 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-compat-0.7… 49. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-base-0.72.… 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/readline-1.0.1.0 51. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/random-1.0.0.0 * QuickCheck 1.1.0.0. Uploaded by Ross Paterson. [52]QuickCheck, automatic testing of Haskell programs * process 1.0.0.0. Uploaded by Ross Paterson. [53]process, jobs and processes * pretty 1.0.0.0. Uploaded by Ross Paterson. [54]pretty, pretty printing library. * parsec 2.1.0.0. Uploaded by Ross Paterson. [55]parsec, monadic parser combinators. * parallel 1.0.0.0. Uploaded by Ross Paterson. [56]parallel, support for parallel programming 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/QuickCheck-1.1.0… 53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/process-1.0.0.0 54. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pretty-1.0.0.0 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parsec-2.1.0.0 56. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parallel-1.0.0.0 * packedstring 0.1.0.0. Uploaded by Ross Paterson. [57]packedstring, packed strings * OpenGL 2.2.1.1. Uploaded by Ross Paterson. [58]OpenGL, binding for the OpenGL graphics system * OpenAL 1.3.1.1. Uploaded by Ross Paterson. [59]OpenAL, binding to the OpenAL cross-platform 3D audio API. * old-time 1.0.0.0. Uploaded by Ross Paterson. [60]old-time, time library. * alex 2.2. Uploaded by Simon Marlow. [61]alex is a tool for generating lexical analysers in Haskell 57. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/packedstring-0.1… 58. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OpenGL-2.2.1.1 59. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OpenAL-1.3.1.1 60. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/old-time-1.0.0.0 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/alex-2.2 * Cabal 1.2.2.0. Uploaded by Duncan Coutts. [62]Cabal is the framework for packaging Haskell software * HaXml 1.19.1. Uploaded by Malcolm Wallace. [63]HaXml, Utilities for manipulating XML documents * HDBC-odbc 1.1.3.0. Uploaded by John Goerzen. [64]HDBC-odbc, ODBC driver for HDBC * HDBC-postgresql 1.1.3.0. Uploaded by John Goerzen. [65]HDBC-postgresql is a PostgreSQL driver for HDBC * HDBC-sqlite3 1.1.3.0. Uploaded by John Goerzen. [66]HDBC-sqlite3 is a Sqlite v3 driver for HDBC 62. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal-1.2.2.0 63. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HaXml-1.19.1 64. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-odbc-1.1.3.0 65. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-postgresql-… 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-sqlite3-1.1… * HDBC 1.1.3. Uploaded by John Goerzen. [67]HDBC is a Haskell Database library * X11 1.3.0. Uploaded by Don Stewart. [68]X11 is a library of bindings to the X11 libraries and server * HsOpenSSL 0.3. Uploaded by Masatake Daimon. [69]HsOpenSSL, (Part of) OpenSSL binding for Haskell * Imlib 0.1. Uploaded by Cale Gibbard. [70]Imlib, Haskell binding for Imlib 2 * Stream 0.2.2. Uploaded by Wouter Swierstra. [71]Stream, a library for manipulating infinite lists. 67. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-1.1.3 68. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-1.3.0 69. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsOpenSSL-0.3 70. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Imlib-0.1 71. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Stream-0.2.2 * sat 1.0. Uploaded by AndriiZvorygin. [72]sat, CNF SATisfier * torrent 2007.10.27. Uploaded by David Himmelstrup. [73]torrent, BitTorrent file parser * bencode 0.2. Uploaded by David Himmelstrup. [74]bencode, Parser and printer for bencoded data. * SDL 0.5.1. Uploaded by David Himmelstrup. [75]SDL, binding to libSDL * NGrams 1.0. Uploaded by Justin Bailey. [76]ngrams, Simple application for calculating n-grams using Google 72. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sat-1.0 73. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/torrent-2007.10.… 74. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bencode-0.2 75. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SDL-0.5.1 76. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/NGrams-1.0 Discussion Bootstrapping Haskell. Andrew Copping [77]wondered how the first Haskell compilers were bootstrapped, leading to some interesting historical details. GHC 6.8 performance. Dan Piponi [78]asked about Haskell performance for low level array manipulation, with some excellent speedups produced by GHC 6.8 77. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/31459 78. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/31314 Jobs Software Development Engineer at MSR. Don Syme announced that [79]the F Sharp team is hiring! We have two positions open right now. The first is a software development engineer specializing in Visual Studio and libraries. The second Post Calendar is a software development engineer 79. http://cs.hubfs.net/blogs/f_team/archive/2007/10/30/3900.aspx PhD position at Chalmers. John Hughes [80]announced that the Functional Programming group at Chalmers is seeking to recruit a PhD student to work on domain-specific languages embedded in Haskell for hardware design, and for programming graphics processors. PhD positions in Sweden are 'real jobs', paying a respectable salary for up to five years. 80. http://article.gmane.org/gmane.comp.lang.haskell.general/15714 Blog noise [81]Haskell news from the [82]blogosphere. * [83]Scala for bioinformatics * [84]I like Haskell a lot * [85]Haskell history * [86]Continuation Passing Style for Monads * [87]Abuse: Is it ruby? Is it Haskell? It's both! * [88]Learning Haskell? * [89]For loops in Haskell * [90]A Simple Programming Puzzle Seen Through Three Differenent Lenses 81. http://planet.haskell.org/ 82. http://haskell.org/haskellwiki/Blog_articles 83. http://tiago.org/ps/2007/10/26/scala-for-bioinformatics/ 84. http://www.noulakaz.net/weblog/2007/04/20/i-like-haskell-a-lot/ 85. http://caos.di.uminho.pt/~ulisses/blog/2007/10/27/haskell-history/ 86. http://r6.ca/blog/20071028T162529Z.html 87. http://meta-meta.blogspot.com/2007/05/abuse-is-it-ruby-is-it-haskell-its-bo… 88. http://www.dynamicdrive.com/forums/showthread.php?t=26094 89. http://osfameron.vox.com/library/post/for-loops-in-haskell.html?_c=feed-atom 90. http://thraxil.org/users/anders/posts/2007/10/30/A-Simple-Programming-Puzzl… * [91]Scala Makes Me Think * [92]Haskell Substring Function * [93]Multicore Programming and Automatic Parallelisation * [94]Spinoza SOS in Haskell * [95]Why not just use Haskell? * [96]Chain delegates (in Haskell) * [97]Parser Combinators in C * [98]Will hybrid languages like D render functional languages like Haskell, OCaml and Common Lisp irrelevant? * [99]Category Theory for the Java Programmer * [100]Benchmarking ray tracing, Haskell vs. OCaml 91. http://blog.snowtide.com/2007/10/31/scala-makes-me-think 92. http://ironmonkey.blogspot.com/2007/10/haskell-substring-function_31.html 93. http://hnr.dnsalias.net/wp/?p=31 94. http://seta07.blogspot.com/2007/10/spinoza-sos-in-haskell.html 95. http://www.hackinghat.com/index.php/c/66 96. http://thoughtspam.spaces.live.com/Blog/cns!253515AE06513617!454.entry 97. http://www.math.chalmers.se/~koen/ParserComboC/parser-combo-c.html 98. http://pinderkent.blogsavy.com/archives/141 99. http://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-pro… 100. http://augustss.blogspot.com/2007/11/benchmarking-ray-tracing-haskell-vs.ht… * [101]Some lambda calculus examples * [102]Beautiful timetables * [103]References, Arrows and Categories * [104]Anamorphisms in Ruby * [105]Type metaprogramming in Haskell and C++ * [106]A Small Combinatorial Library 101. http://augustss.blogspot.com/2007/11/some-lambda-calculus-examples-syntax-i… 102. http://onthebalcony.wordpress.com/2007/11/11/beautiful-timetables/ 103. http://twan.home.fmf.nl/blog/haskell/References-Arrows-and-Categories.detai… 104. http://weblog.raganwald.com/2007/11/really-useful-anamorphisms-in-ruby.html 105. http://www.rubinsteyn.com/template_insanity.html 106. http://sigfpe.blogspot.com/2007/11/small-combinatorial-library.html Quotes of the Week * faxathisia: Omg! I spent 2 days writing this code and it's worked the first time I run it. Only possible with Haskell :D * anonymous: The thing is Haskell isn't suited for young people, whereas the OBJECT model of C++ is * sethg: I feel like I still dont understand comonads * fnord123: Haskell mainly helps with my C++ template coding when I'm doing money oriented programming * Tac-Tics: I get the feeling if all I ever use is the IO monad, someone here will shower me in holy monad fire and cleanse the evil from me.... leaving burn marks all over * Anton van Straaten: there's a new movement towards 'functional eating' which involves using a knife and fork (think ML) or chopsticks (Haskell ;) instead of a chainsaw. Its proponents claim that this approach is far superior, but chainsaw fans are skeptical. * SamB: what happens in the monad... stays in the monad... * Brent Yorgey: Friends don't let friends write in COBOL. * Bulat Ziganshin: It's a whole new era in low-level GHC programming About the Haskell Weekly News New editions are posted to [107]the Haskell mailing list as well as to [108]the Haskell Sequence and [109]Planet Haskell. [110]RSS is also available, and headlines appear on [111]haskell.org. Headlines are available as [112]PDF. To help create new editions of this newsletter, please see the [113]contributing information. Send stories to dons at galois.com. The darcs repository is available at darcs get [114]http://code.haskell.org/~dons/code/hwn/ 107. http://www.haskell.org/mailman/listinfo/haskell 108. http://sequence.complete.org/ 109. http://planet.haskell.org/ 110. http://sequence.complete.org/node/feed 111. http://haskell.org/ 112. http://code.haskell.org/~dons/code/hwn/archives/20071111.pdf 113. http://haskell.org/haskellwiki/HWN 114. http://code.haskell.org/~dons/code/hwn/

1 0

CMCS 2008: First call for papers
by Clemens Kupke 08 Nov '07

08 Nov '07

9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 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 Aims and Scope During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, and analysis. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. The topics of the workshop include, but are not limited to: the theory of coalgebras (including set theoretic and categorical approaches); coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); coalgebras in (functional, object-oriented, concurrent) programming; coalgebras and data types; coinductive definition and proof principles for coalgebras (with bisimulations or invariants); probabilistic systems as coalgebras; algebras versus coalgebras; coalgebraic specification and verification; coalgebras and (modal) logic; game theory in coalgebra; coalgebra and control theory (notably of discrete event and hybrid systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Previous workshops of the same series have been organized in Lisbon, Amsterdam, Berlin, Genova, Grenoble, Warsaw, Barcelona and Vienna. The proceedings appeared as Electronic Notes in Theoretical Computer Science (ENTCS) Volumes 11,19, 33, 41, 65.1, 82.1, 106 and 164.1. You can get an idea of the types of papers presented at the meeting by looking at the tables of contents of the ENTCS volumes from those workshops. Location CMCS 2008 will be held in Budapest on April 4-6, 2008. It will be a satellite workshop of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. 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 (Edinburgh), 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