From wojtowicz.norbert at gmail.com Tue Jun 3 15:42:17 2008 From: wojtowicz.norbert at gmail.com (Norbert Wojtowicz) Date: Tue Jun 3 15:34:57 2008 Subject: [Haskell] Announce: hback - dual n-back memory game (0.0.2) In-Reply-To: <20080531031222.GA25038@craft> References: <20080531031041.GA24784@craft> <20080531031222.GA25038@craft> Message-ID: I've been busy with school the last few days. There are some issues with the current release that have surfaced after the release: 1. Yes, this is meant to be a proper implementation as based on the paper. No, it's not quite there yet. Joseph emailed me off-list and pointed out where the program strays from the paper (both in stimuli presentation and score algorithms). Do be sure these changes will be incorporated into the next release. 2. hback v 0.0.1 used Neil Mitchell's idea and then something went wrong with the second release and my darcs repo. :) There were other issues with the cabal setup (eg. the mentioned dependency issues). Overall, I'm afraid 0.0.2 version was just a shoddy release and totally my fault. I intend to right these wrongs with the next release and can only hope that I haven't scared away future users. ;-) 3. One issue is the choosing algorithm, which is now just blatantly wrong. I've attached a patch I made: if you actually use this app as-is, you will definitely want to apply it to get a - playable - version of the game (it now correctly keeps track of scoring, etc). The next release will offer a different choice and scoring algorithm based on the paper proper. I really did enjoy playing with gtk2hs to get this working, it's a really nice toolkit. Only two issues I have not yet resolved are the cross-platform sound dependencies (looking into SDL bindings) and the timer hack. I call it a timer hack because of this layout: main = do ... tmHandle <- timeoutAdd( newGame ... ) 500 newGame = do ... when ( finished_with_current_game) ( tmHandle <- timeoutAdd ( newGame ... ) 500 return False) so, basically the timer needs to initiate the next game, because once you start the timeouts, all you can do is eventually kill it. It would be nicer if I could poll the tmHandle and in case it finished, start a new game (that way the main could control future games, not the timer itself). All things considered, my public release was just a little premature. Due to school, my time is a little stretched at the moment, but do expect the next release to be a cleaner version of this one that follows the Paper protocol and builds correctly. :-) Thanks for the feedback, Norbert -------------- next part -------------- A non-text attachment was scrubbed... Name: patch.1 Type: application/octet-stream Size: 4281 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20080603/6abd0352/patch.obj From jules at jellybean.co.uk Wed Jun 4 05:00:16 2008 From: jules at jellybean.co.uk (Jules Bean) Date: Wed Jun 4 04:52:52 2008 Subject: [Haskell] Programme terminates silently In-Reply-To: <63ee83070805310053naa3cf9bg8d05c0adb391a5de@mail.gmail.com> References: <63ee83070805310053naa3cf9bg8d05c0adb391a5de@mail.gmail.com> Message-ID: <484659A0.3010605@jellybean.co.uk> Thomas Bevan wrote: > The lircLoop should never terminate. Unfortunately it does. Worse, no > error messages are generated. > Not even the final line "Closing down" is printed. > > How is this possible? > Probably SIGPIPE. Catch it and ignore it. From sk at k-hornz.de Wed Jun 4 12:19:31 2008 From: sk at k-hornz.de (stefan kersten) Date: Wed Jun 4 12:17:07 2008 Subject: [Haskell] ANNOUNCE: hsndfile 0.1.1 Message-ID: <95CE6583-2176-4D5A-929B-700B5AB51D58@k-hornz.de> Haskell bindings for libsndfile. Libsndfile is a comprehensive C library for reading and writing a large number of soundfile formats: . Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsndfile Darcs: http://darcs.k-hornz.de/cgi-bin/darcsweb.cgi?r=hsndfile;a=summary Enjoy! From sk at k-hornz.de Wed Jun 4 12:21:26 2008 From: sk at k-hornz.de (stefan kersten) Date: Wed Jun 4 12:18:39 2008 Subject: [Haskell] ANNOUNCE: sonic-visualiser 0.1.1 Message-ID: <68D9A3E5-A6C3-48F6-ABE1-40E84A9C77C0@k-hornz.de> Library for reading and parsing Sonic Visualiser project files. Sonic Visualiser is available at . Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sonic- visualiser Darcs: http://darcs.k-hornz.de/cgi-bin/darcsweb.cgi?r=sonic- visualiser;a=summary Enjoy! From icfp.publicity at googlemail.com Wed Jun 4 12:53:13 2008 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Wed Jun 4 12:45:50 2008 Subject: [Haskell] ICFP2008 Call for Poster proposals Message-ID: <53ff55480806040953l730455cft7a8c4e89a0ded583@mail.gmail.com> ICFP 2008 poster session September 21, 2008 Call for presentation proposals ICFP 2008 will feature a poster session for researchers and practitioners, including students. The session will provide friendly feedback for work that is in gestation or ongoing, as well as opportunities to meet each other and exchange ideas. We welcome poster submissions on all ICFP topics, especially presentations of - applications of and to functional programming; - recent work presented at more distant venues; and - ongoing work, whether or not submitted to ICFP. There will be no formal proceedings, but presenters will be invited to submit working notes, demo code, and other materials to supplement their abstract and poster. These materials will be released informally on a Web page dedicated to the poster session. An accepted submission is not intended to replace conference or journal publication. Persons interested in presenting a poster are invited to submit a one-page abstract in SIGPLAN conference style http://www.acm.org/sigs/sigplan/authorInformation.htm to the Web site https://www.softconf.com/s08/icfp08-posters/submit.html by June 30, 2008. The program committee will review the submissions for relevance and interest, and notify the authors by July 14, 2008. Accepted posters must be presented by the authors in person on Sunday, September 21, 2008. Important dates: Submission: Monday, June 30, 2008 Notification: Monday, July 14, 2008 Presentation: Sunday, September 21, 2008 Program committee: Benjamin Pierce (University of Pennsylvania) Colin Runciman (University of York) Chung-chieh Shan (Rutgers University) From gvidal at dsic.upv.es Thu Jun 5 17:13:49 2008 From: gvidal at dsic.upv.es (German Vidal) Date: Thu Jun 5 17:06:23 2008 Subject: [Haskell] [SAS-LOPSTR-PPDP-PLID 2008] Call for participation Message-ID: ****************************************************************** Call for Participation SAS - LOPSTR - PPDP - PLID 2008 http://www.dsic.upv.es/~slp2008/ Valencia, Spain ****************************************************************** * EARLY REGISTRATION DEADLINE IS APPROACHING: JUNE 10, 2008 * ****************************************************************** SAS 2008, July 16-18 Static Analysis Symposium http://www.dsic.upv.es/~sas2008/ -> Accepted papers: http://www.dsic.upv.es/~sas2008/accepted_papers.html LOPSTR 2008, July 17-18 Symposium on Logic-Based Program Synthesis and Transformation http://www.informatik.uni-kiel.de/%7Emh/lopstr08/ PPDP 2008, July 15-17 ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www.clip.dia.fi.upm.es/Conferences/PPDP08/ -> Accepted papers: http://www.clip.dia.fi.upm.es/Conferences/PPDP08/accepted.html PLID 2008, July 15 Workshop on Programming Language Interference and Dependence http://www.clip.dia.fi.upm.es/Conferences/PLID08/home.php *** REGISTRATION Please register online at http://www.dsic.upv.es/~slp2008/ The early registration deadline is June 10, 2008. ****************************************************************** From jsilva at dsic.upv.es Fri Jun 6 06:41:41 2008 From: jsilva at dsic.upv.es (Josep Francesc Silva Galiana) Date: Fri Jun 6 06:34:14 2008 Subject: [Haskell] Call for participation: LOPSTR 2008 Message-ID: <004c01c8c7c1$e84ff970$84b82a9e@dsic.upv.es> 18TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2008) ***************************************************************************************************************************************************************************** The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. This year, LOPSTR will be held in Valencia, Spain; and will start on July 17th and will end on July 18th. It is now possible to register and reserve hotel accommodation at the symposium site by using the symposium website: ------------------------------------------------------------------------ http://www.informatik.uni-kiel.de/~mh/lopstr08/ ------------------------------------------------------------------------ Best regards, and see you in Valencia, Josep Silva -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080606/7cdcac38/attachment.htm From hz at inf.elte.hu Fri Jun 6 15:04:59 2008 From: hz at inf.elte.hu (Horvath Zoltan) Date: Fri Jun 6 14:57:40 2008 Subject: [Haskell] Last CFP : Erlang Workshop 2008 - deadline: June 17 Message-ID: Last Call for papers Seventh ACM SIGPLAN Erlang Workshop Victoria, British Columbia, Canada, September 27, 2008 http://www.erlang.org/workshop/2008/ Satellite event of ACM SIGPLAN International Conference on Functional Programming, September 22-24, 2008 The Erlang workshop will take place during one day in connection with ICFP'08 (see http://www.icfpconference.org/icfp2008/) Important Dates Submission deadline extended - Midnight GMT June 17 Author notification - Midnight GMT June 30 Final submission - Midnight GMT July 14 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements on massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for several years creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, and computer telephony. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. Submission and publication information The workshop will have printed proceedings which will be distributed to the participants at the time of the workshop. Subsequently, the papers will be included in the ACM Digital Library. Authors are therefore advised to use the Author Information for SIGPLAN Conferences when preparing their submissions. Authors should submit provisional full papers. Submissions will be accepted electronically; the submission page is not yet ready. The length should be restricted to 12 pages in standard ACM format. In previous workshops we have had a mix of papers representing academic research and industrial experiences with Erlang. We particularly welcome papers describing new and novel application of Erlang - if you have any doubts about the suitability of a paper please feel free to contact the Program Chair for advice. Authors should submit their papers using the submission website: http://www-old.inf.elte.hu/rendezvenyek/erlangws08/openconf/ In case of technical problems, please contact erlangws08@inf.elte.hu. Workshop Chair Tee Teoh, Canadian Bank Note, Ottawa, Canada Program Chair Zolt?n Horv?th, Department of Programming Languages and Programming, Faculty of Informatics, E?tv?s Lor?nd University, Budapest, Hungary Program Committee Thomas Arts, IT University, G?teborg, Sweden Francesco Cesarini, Erlang Training and Consulting, London, UK Clara Benac Earle, University Carlos III, Madrid, Spain John Hughes, Chalmers University of Technology, G?teborg, Sweden Erik Stenman, Kreditor, Stockholm, Sweden Zolt?n Theisz, Ericsson, Ireland Simon Thompson, University of Kent,Canterbury, UK Rex Page, University of Oklahoma, USA For Venue and registration, please see the ICFP web site Related Links Erlang Workshop web site: http://www.erlang.org/workshop/2008/ ICFP 2008 web site: http://www.icfpconference.org/icfp2008/ Past ACM SIGPLAN Erlang workshops http://www.erlang.se/workshop Open Source Erlang http://www.erlang.org/ From iavor.diatchki at gmail.com Sat Jun 7 18:12:27 2008 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Sat Jun 7 18:05:22 2008 Subject: [Haskell] A problem with overlapping instances and super-classes Message-ID: <5ab17e790806071512x8f852f6pf5a0859886af3388@mail.gmail.com> Hello, (you should be able to copy and paste the code in this email into two modules called A and B to try it out) > {-# LANGUAGE OverlappingInstances #-} > module A where This module, together with module 'B', illustrates a problem in some implementations of overlapping instances and their interaction with super-classes. I tried GHC 6.8.2 and Hugs (September 2006). The problem is one of coherency---we can get a method to behave differently, when instantiated at the same type in the same module. We need two modules to illustrate the problem because both Hugs and GHC perform some checking to avoid this problem. Unfortunately, it seems that we can circumvent the checking by moving instances to a different module. Consider the class 'Name'. We are going to show how 'name' behaves differently when instantiated at the same type. > class Name a where name :: a -> String > instance Name Char where name _ = "Char" > instance Name a => Name [a] where name x = "[" ++ name (head x) ++ "]" We also define a super-class of 'Name' called 'C'. The methods of 'C' are not important---we use a single method that can be used to generate 'C' constraints. > class Name a => C a where c :: a -> () > instance Name a => C [a] where c _ = () The instance of 'C' is interesting: we have to check that the super-class constraint holds, so we need to prove (Name a => Name [a]). In the given context there is exactly one way to do this, namely, by using the corresponding instance for 'Name'. Note, however, that in other modules there may be more specific instances for 'Names [a]' that could have been used. This leads to a problem, as we show in module B. > {-# LANGUAGE OverlappingInstances, FlexibleInstances #-} > module B where > import A We add another instance for 'Name'---it overwrites the generic behavior on lists, with a specific instance for lists of characters: > instance Name [Char] where name _ = "String" Here is an example function that uses both 'c' and 'name' at the same type ('[a]', for some 'a'). This results in two constraints: (Name [a], C [a]). Implementations "simplify" this to just (C [a]) by using the fact that 'C [a]' is a super-class of 'Name [a]'. Unfortunately this commits to using the "generic" instance for 'Name' on lists (the one in module 'A'). > f x = name [x] > where _ = c [x] Here is an example illustrating the problem: the two components of the pair use 'name' at the same instance, '[Char]', but the first ends up using the generic instance, while the second uses the specific instance. > test = (f 'x', name ['x']) GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. [1 of 2] Compiling A ( A.lhs, interpreted ) [2 of 2] Compiling B ( B.lhs, interpreted ) Ok, modules loaded: A, B. *B> test ("[Char]","String") -Iavor From martin.sulzmann at gmail.com Sun Jun 8 03:24:05 2008 From: martin.sulzmann at gmail.com (Martin Sulzmann) Date: Sun Jun 8 03:16:33 2008 Subject: [Haskell] CFP: APLAS 2008 - The Sixth ASIAN Symposium on Programming Languages and Systems Message-ID: <484B8915.1050909@gmail.com> APLAS is a Haskell-friendly conference. Details of CFP, location etc are below. -Martin ------------------------------------------ The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008) CALL FOR PAPERS Bangalore, India December 9 - December 11, 2008 http://research.microsoft.com/~grama/APLAS2008 APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in SIngapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informa workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 4807. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited in, but are not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments Original results that bear on these and related topics are solicited. Papers investigating novel uses and applications of language systems are especially encouraged. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. IMPORTANT DATES: Paper Submission Deadline: June 27, 2008 Conference: December 9 - December 11, 2008 GENERAL CHAIR S. Ramesh (India Science Lab, GM R&D) PROGRAM CHAIR G. Ramalingam (Microsoft Research India) PROGRAM COMMITTEE Tyng-Ruey Chuang (Institute of Information Science, Academia Sinica, Taiwan) Xinyu Feng (Toyota Technological Institute at Chicago, U.S.A.) Mathew Flatt (University of Utah, U.S.A.) Yuxi Fu (Shanghai Jiaotong University, China) Rajiv Gupta (University of California, Riverside, U.S.A.) Siau-Cheng Khoo (National University of Singapore, Singapore) Naoki Kobayashi (Tohoku University, Japan) P. Madhusudan (University of Illinois at Urbana-Champaign, U.S.A.) Soo-Mook Moon (Seoul National University, Korea) Komondoor V Raghavan (IBM India Research Lab) G. Ramalingam (Microsoft Research India) Mooly Sagiv (Tel Aviv University, Israel) Koushik Sen (University of California, Berkeley, U.S.A.) Zhendong Su (University of California, Davis, U.S.A.) Martin Sulzmann (IT University of Copenhagen, Denmark) Hongseok Yang (Queen Mary, University of London, U.K.) Nobuko Yoshida (Imperial College, London, U.K.) From tase08 at seg.nju.edu.cn Sun Jun 8 12:10:30 2008 From: tase08 at seg.nju.edu.cn (tase08) Date: Sun Jun 8 12:03:07 2008 Subject: [Haskell] HASE 2008 - Extended Deadline June 17 Message-ID: ***We apologise if you have received multiple copies of this call for papers.*** Please circulate to colleagues who might be interested. HASE 2008 11th High Assurance Systems Engineering Symposium Nanjing, China December 3-5, 2008 http://cs.nju.edu.cn/hase08/main.html Call for Papers The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of high assurance systems engineering. Topics of interests for the symposium include, but are not limited to: *Design and development of highly reliable, survivable, secure, safe, and time-assured systems *Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods *Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems *Formal specification, specification validation, testing, and model checking for high assurance systems *High assurance software architecture and design *Transformation-based and evolutionary-based system development *Reconfigurable system design for evolving high assurance requirements *Dynamic monitoring and adaptation for run-time assurance *High assurance web services *High assurance information/knowledge systems and data grids *High assurance embedded systems, ubiquitous systems and sensor networks *Extending web service specifications for reliability, safety, security, privacy, trust, and other QoS properties *Assurance techniques for service-oriented systems CALL FOR FAST ABSTRACTS Contributions for the Fast Abstract track of HASE 2008 are solicited. The fast abstracts aim to serve as a rapid and flexible mechanism to o Discuss industrial experiences and achievements o Report on research work in progress o Introduce new ideas to the community o State positions on controversial issues or open problems Works related to high assurance systems engineering fitting the categories described above are welcome. Authors from industry, government, and academia are encouraged to submit Fast Abstracts. Fast Abstracts will not be formally refereed. Instead, the HASE'08 Fast Abstracts Committee will screen the submissions. The criteria for acceptance will be i) relevance and interest to the community and ii) timeliness of the material. Submission Guidelines: Research Papers: Original, previously unpublished papers are solicited. Maximum 10 pages, standard IEEE double-column format. Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard IEEE double-column format. Authors of accepted Fast Abstracts will present a short talk approximately 10-15 min) at HASE 2008 Fast Abstract sessions. Important Dates: * June 17, 2008: Paper submission deadline (extended) * July 10, 2008: Fast Abstract submission deadline * August 1, 2008: Acceptance/rejection notification * August 29, 2008: Camera-ready version due * December 3-5, 2008: HASE 2008 Organization: General Chairs: Jian Lu, Nanjing University (China) Program Co-chairs: Xuandong Li, Nanjing University (China) Carol S. Smidts, Ohio State University US (North/South America) Jie Xu, University of Leeds (Europe) Finance Chair: Xin Chen, Nanjing University (China) Publicity Chair: Jing Dong, University of Texas at Dallas (US) Registration Chair: JianHua Zhao, Nanjing University (China) 　　　　　　　　　 Local Organization Chair: Linzhang Wang, Nanjing University, (China) Program Committee: Farooq Ahmad (National University of Sciences and technology, Pakistan) Masaki Aida (Tokyo Metropolitan University, Japan) Farokh Bastani (University of Texas at Dallas, USA) Andrea Bondavali(University of Florence, Italy) Guillaume Brat (USRA-RIACS, USA) Michel Cukier (University of Maryland at College Park, USA) John Davies(BAE Systems, UK) JinSong Dong (National University of Singapore,Singapore) Felicita Di Giandomenico(CNR, Italy) Arif Ghafoor (Purdue University, USA) Swapna Gokhale (University of Connecticut, USA) Katerina Goseva-Popstojanova (West Virginia University, USA) Mats Heimdahl (University of Minnesota, USA) Mike Henshaw(Loughborough University, UK) Ravi Iyer (University of Illinois at Urbana-Champaign, USA) Phil John(Cranfield University, UK) Yoshiaki Kakuda (Hiroshima City University, Japan) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Xiaodong Lu (Tokyo Institute of Technology, Japan Michael Lyu (Chinese University of Hong Kong, China) Miroslaw Malek( Humboldt University, Germany) Hong Mei (Peking University, China) Graham Morgen(University of Newcastle, UK) Kinji Mori (Tokyo Institute of Technology, Japan) Hiroaki Morino (Shibaura Institue of Technology, Japan) Gilles Muller(EMN, France) Edgar Nett(University of Magdeburg. Germany) Jun Pang (University of Luxembourg, Luxembourg) Steven Roach (University of Texas at El Paso, USA) Manuel Rodriguez (Ohio State University, USA) Luigi Romano(University of Napoli, Italy) Eugene Santos (Dartmouth College, USA) Man-Tak Shing (Naval Postgraduate School, USA) Zhendong Su (University of California at Davis, USA) Yongdong Tan (Southwest Jiaotong University, China) Paul Townend(University of Leeds, UK) Helene Waeselynck(LAAS-CNRS, France) Farn Wang (National Taiwan University Taiwan, China) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang (Nanjing University, China) Victor Winter (University of Nebraska at Omaha, USA) Eric Wong (University of Texas at Dallas, USA) Dianxiang Xu (North Dakota State University, USA) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brooks University, UK) Huibiao Zhu (East China Normal University, China) Steering Program Committee Taghi M. Khoshgoftaar, Florida Atlantic University Kinji Mori, Tokyo Institute of Technology Raymond Paul, Department of Defense Chair) Wei-Tek Tsai, Arizona State University Victor Winter, University of Nebraska,Omaha I-Ling Yen, University of Texas at Dallas Keynote Speakers TBD -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080609/a7e8e199/attachment-0001.htm From simonpj at microsoft.com Mon Jun 9 04:21:02 2008 From: simonpj at microsoft.com (Simon Peyton-Jones) Date: Mon Jun 9 04:13:26 2008 Subject: [Haskell] A problem with overlapping instances and super-classes In-Reply-To: <5ab17e790806071512x8f852f6pf5a0859886af3388@mail.gmail.com> References: <5ab17e790806071512x8f852f6pf5a0859886af3388@mail.gmail.com> Message-ID: <638ABD0A29C8884A91BC5FB5C349B1C32AE59BAC45@EA-EXMSG-C334.europe.corp.microsoft.com> Yes indeed, this is one of those "well-known" (ie not at all well known, but folk lore) problems with overlapping instances, at least in programs where different instances can be in scope at different times. It's discussed (not very clearly) in http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-overlap (..."GHC is conservative about committing to an overlapping instance"...) I don't think you need a superclass. Suppose you put your function 'f' in module A f :: Name a => a -> String f x = name [x] Then, f will commit to the Name [a] instance, because it uniquely matches. But if, in module B you say (name ['x'], f 'x') you'll get two different answers, even though the former is just an unfolding of the latter. If GHC can "see" both instance decls at the moment you declare f, it'll complain. But while it can see only one, it doesn't. It's the same with your instance decl 'instance Name a => C [a]' This isn't great, but it's not really different than is the case for non-overlapping instances. Suppose module B1 declares 'instance C T', and uses that instance; and module B2 declares a *different* 'instance C T', and uses that instance; and Main imports B1 and B2, but does not use either instance directly. Then GHC will compile the program without complaint, although it is incoherent. The only way I know to fix this would be to keep a history of all instance-decl matches performed during compilation, and check that they are still unique matches even when all instance decls in the program are taken into account. Or, to put it another (less modular) way: first find all instance decls, and only then compile the program. But this destroys modular compilation. Simon | -----Original Message----- | From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Iavor Diatchki | Sent: 07 June 2008 23:12 | To: Haskell users | Subject: [Haskell] A problem with overlapping instances and super-classes | | Hello, | (you should be able to copy and paste the code in this email into two | modules called A and B to try it out) | | > {-# LANGUAGE OverlappingInstances #-} | > module A where | | This module, together with module 'B', illustrates a problem in some | implementations of overlapping instances and their interaction with | super-classes. I tried GHC 6.8.2 and Hugs (September 2006). | The problem is one of coherency---we can get a method to behave differently, | when instantiated at the same type in the same module. We need two modules to | illustrate the problem because both Hugs and GHC perform some checking | to avoid this problem. Unfortunately, it seems that we can circumvent | the checking by moving instances to a different module. | | Consider the class 'Name'. We are going to show how 'name' behaves | differently when | instantiated at the same type. | | > class Name a where name :: a -> String | > instance Name Char where name _ = "Char" | > instance Name a => Name [a] where name x = "[" ++ name (head x) ++ "]" | | We also define a super-class of 'Name' called 'C'. | The methods of 'C' are not important---we use a single method that can | be used to generate 'C' constraints. | | > class Name a => C a where c :: a -> () | > instance Name a => C [a] where c _ = () | | The instance of 'C' is interesting: we have to check that the | super-class constraint holds, so we need to prove (Name a => Name [a]). | In the given context there is exactly one way to do this, namely, by | using the corresponding instance for 'Name'. Note, however, that | in other modules there may be more specific instances for 'Names [a]' | that could have been used. This leads to a problem, as we show in module B. | | | > {-# LANGUAGE OverlappingInstances, FlexibleInstances #-} | > module B where | > import A | | We add another instance for 'Name'---it overwrites the generic behavior | on lists, with a specific instance for lists of characters: | | > instance Name [Char] where name _ = "String" | | Here is an example function that uses both 'c' and 'name' at the same | type ('[a]', for some 'a'). This results in two constraints: (Name [a], C [a]). | Implementations "simplify" this to just (C [a]) by using the fact that | 'C [a]' is a super-class of 'Name [a]'. Unfortunately this commits to using | the "generic" instance for 'Name' on lists (the one in module 'A'). | | > f x = name [x] | > where _ = c [x] | | Here is an example illustrating the problem: the two components of the | pair use 'name' at the same instance, '[Char]', but the first ends up | using the generic instance, while the second uses the specific instance. | | > test = (f 'x', name ['x']) | | GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help | Loading package base ... linking ... done. | [1 of 2] Compiling A ( A.lhs, interpreted ) | [2 of 2] Compiling B ( B.lhs, interpreted ) | Ok, modules loaded: A, B. | *B> test | ("[Char]","String") | | | -Iavor | _______________________________________________ | Haskell mailing list | Haskell@haskell.org | http://www.haskell.org/mailman/listinfo/haskell From claus.reinke at talk21.com Mon Jun 9 07:35:56 2008 From: claus.reinke at talk21.com (Claus Reinke) Date: Mon Jun 9 07:28:23 2008 Subject: [Haskell] A problem with overlapping instances and super-classes References: <5ab17e790806071512x8f852f6pf5a0859886af3388@mail.gmail.com> <638ABD0A29C8884A91BC5FB5C349B1C32AE59BAC45@EA-EXMSG-C334.europe.corp.microsoft.com> Message-ID: <012e01c8ca24$fd751000$fc148351@cr3lt> > This isn't great, but it's not really different than is the case for > non-overlapping instances. Suppose module B1 declares 'instance C T', > and uses that instance; and module B2 declares a *different* 'instance > C T', and uses that instance; and Main imports B1 and B2, but does not > use either instance directly. Then GHC will compile the program > without complaint, although it is incoherent. does this bug have a ticket? > The only way I know to fix this would be to keep a history of all > instance-decl matches performed during compilation, and check that > they are still unique matches even when all instance decls in the > program are taken into account. Or, to put it another (less modular) > way: first find all instance decls, and only then compile the program. > But this destroys modular compilation. why would this destroy modular compilation? compiling each of B1 and B2 on its own is still fine, and compiling Main does not have to report whether or not B1 or B2 have used their own instances. compiling Main should report, however, that there are now two instances for C T in scope. the same applies to overlaps and functional dependencies - compilation of class instances is accumulative, and compilation of importing modules might lead to conflict reports in the accumulated instances. claus From erwig at eecs.oregonstate.edu Mon Jun 9 18:07:57 2008 From: erwig at eecs.oregonstate.edu (Martin Erwig) Date: Mon Jun 9 18:00:21 2008 Subject: [Haskell] Fwd: CS2001 Interim Review is open for public consultation References: <8121A635D723D1439452E134C4AB3BD802C5FEC3@ACM-01-EX.atlarge.net> Message-ID: <1B7E7AA8-E1B8-4564-85B4-5C21BBC3E49A@eecs.oregonstate.edu> Heads up, ACM members! As fans of functional programming, you can provide input on the future of the CS curriculum guidance provided by ACM. In particular, you could support the SIGPLAN alternate proposal for the programming language part (wiki.acm.org/cs2001/index.php?title=SIGPLAN_Proposal). The more active, positive support through comments and feedback this proposal receives, the better the chance that functional programming will receive a more prominent role in the CS education (at least in the US, Europe seems to be ahead in this regard). -- Martin Begin forwarded message: > From: David Schneider > Date: June 9, 2008 2:23:28 PM PDT > To: acm-educators@ACM.ORG > Subject: CS2001 Interim Review is open for public consultation > Reply-To: David Schneider > > Dear ACM member, > > After several months of work, the Computer Science Curriculum Review > Taskforce has nearly completed the interim review of the CS2001 > [undergraduate] volume. While many changes have been made, it was > felt that other [more comprehensive] changes should wait for the > next more extensive review which will begin shortly after this > review is complete. As a result, new areas of the Body of Knowledge > were not added. Where new topics (i.e., security and concurrency) > have arisen, they were developed and dispersed back to the > appropriate areas within the Body of Knowledge. > > The taskforce is seeking feedback from ACM members in the field of > education on changes and improvements to the review volume. The > period for this public consultation will start June 9thand end July > 1st; the taskforce will then meet to go over the comments. The > taskforce will then determine what comments can be acted upon now, > and those that should be saved for the more extensive review. > > The review can be accessed within a wiki at http://wiki.acm.org/cs2001/index.php > and includes a feedback mechanism on the bottom of each page. You > must use your ACM username and password to access the feedback > mechanism. > > Again thank you for your participation and we look forward to your > feedback. > > Best regards, > > Andrew > McGettrick > Renee McCauley > > Co-chairs of the CS2001 Review Taskforce > > > > > > David Schneider > > Education Manager > > The Association for Computing Machinery > > 2 Penn Plaza, 7th Floor > > New York, NY 10021-0701 > > > > Ph: 212-626-0515 > > Em: schneider@acm.org > > W: http://www.acm.org > > > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080609/8a3c8610/attachment.htm From igloo at earth.li Tue Jun 10 06:58:04 2008 From: igloo at earth.li (Ian Lynagh) Date: Tue Jun 10 06:50:23 2008 Subject: [Haskell] A problem with overlapping instances and super-classes In-Reply-To: <638ABD0A29C8884A91BC5FB5C349B1C32AE59BAC45@EA-EXMSG-C334.europe.corp.microsoft.com> References: <5ab17e790806071512x8f852f6pf5a0859886af3388@mail.gmail.com> <638ABD0A29C8884A91BC5FB5C349B1C32AE59BAC45@EA-EXMSG-C334.europe.corp.microsoft.com> Message-ID: <20080610105804.GA10310@matrix.chaos.earth.li> On Mon, Jun 09, 2008 at 09:21:02AM +0100, Simon Peyton-Jones wrote: > > This isn't great, but it's not really different than is the case for > non-overlapping instances. Suppose module B1 declares 'instance C T', > and uses that instance; and module B2 declares a *different* 'instance > C T', and uses that instance; and Main imports B1 and B2, but does not > use either instance directly. Then GHC will compile the program > without complaint, although it is incoherent. Isn't this a divergence from H98? Shouldn't we therefore list it on http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs-and-infelicities.html#haskell98-divergence ? Thanks Ian From icfp.publicity at googlemail.com Tue Jun 10 08:47:31 2008 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Tue Jun 10 08:39:52 2008 Subject: [Haskell] DEFUN08: Final Call for Talks & Tutorials (deadline: June 27) Message-ID: <53ff55480806100547h4befc974mfede15c2e21eabed@mail.gmail.com> Final Call for Talks and Tutorials ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 The workshop will be held in conjunction with ICFP 2008. http://www.icfpconference.org/icfp2008/ Important dates Proposal Deadline: June 27, 2008, 0:00 UTC Notification: July 14, 2008 DEFUN 2008 invites functional programmers who know how to solve problems with functional progamming to give talks and lead tutorials at the The ICFP Developer Tracks. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfalls. We invite proposals for presentations in the following categories: How-to talks: 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. Examples: - "How I made Haskell an extension language for SAP R/3." - "How I replaced /sbin/init by a Scheme program." - "How I hooked up my home appliances to an Erlang control system." - "How I got an SML program to drive my BMW." General language tutorials: Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. Technology tutorials: Half-day tutorials on techniques, technologies, or solving specific problems in functional programming. Examples: - how to make the best use of specific FP programming techniques - how to inject FP into a development team used to more conventional technologies - how to connect FP to existing libraries / frameworks / platforms - how to deliver high-performance systems with FP - how to deliver high-reliability systems with FP Remember that your audience will include computing professionals who are not academics and who may not already be experts on functional programming. Presenters of tutorials will receive free registration to ICFP 2008. Submission guidelines Submit a proposal of 150 words or less for either a 45-minute talk with a short Q&A session at the end, or a 300-word-or-less proposal for a 3-hour tutorial, where you present your material, but also give participants a chance to practice it on their own laptops. Some advice: - Give it a simple and straightforward title or name; avoid fancy titles or puns that would make it harder for attendees to figure out what you'll be talking about. - Clearly identify the level of the talk: What knowledge should people have when they come to the presentation or tutorial? - Explain why people will want to attend: is the language or library useful for a wide range of attendees? Is the pitfall you're identifying common enough that a wide range of attendees is likely to encounter it? - Explain what benefits attendees are expected to take home to their own projects. - For a tutorial, explain how you want to structure the time, and what you expect to have attendees to do on their laptops. List what software you'll expect attendees to have installed prior to coming. Submit your proposal in plain text electronically to defun-2008-submission-AT-deinprogramm.de by the beginning of Friday, June 27, Universal Coordinated Time. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don Stewart (co-chair) Galois From claus.reinke at talk21.com Tue Jun 10 09:26:12 2008 From: claus.reinke at talk21.com (Claus Reinke) Date: Tue Jun 10 09:18:46 2008 Subject: [Haskell] A problem with overlapping instances and super-classes References: <5ab17e790806071512x8f852f6pf5a0859886af3388@mail.gmail.com> <638ABD0A29C8884A91BC5FB5C349B1C32AE59BAC45@EA-EXMSG-C334.europe.corp.microsoft.com> Message-ID: <014301c8cafd$90ac5990$d83b7ad5@cr3lt> >Yes indeed, this is one of those "well-known" (ie not at all well >known, but folk lore) problems with overlapping instances, at least in >programs where different instances can be in scope at different times. I think these examples are subtly different (eg, some trip up Hugs as well, some only GHC), and it would be nice to have a collection of such folk lore. Currently, GHC's trac is probably the best approximation, but it would be more useful to have a collection of examples interpreted differently by different Haskell implementations. 1) Iavor's example exploits the special early treatment of superclass constraints to trigger an early commit (excluding later, more specific overlaps), and trips up both Hugs and GHC. 2) Simon's variation exploits explicit type signatures to trigger an early commit. As given, it trips up both Hugs and GHC, but if we remove the explicit type signature for f, Hugs recovers while GHC still misses the more specific instance (Simon: this seems to be a regression in 6.9 wrt to 6.6.1? [*]). 3) Simon's multiple instance example exploits GHC's late treatment of overlap errors, only trips up GHC, and -in its Haskell 98, no-overlapping-instances incarnation- is in direct violation of the language report (GHC trac ticket #2356) Both 1 and 2 seem to be caused by a specific dictionary translation. Haskell 98 requires an early superclass check, and does not need to require that the superclass instance found for that check is the one used at every point of use, because -in Haskell 98- there can be only one such instance. For implementations supporting overlapping instances, it seems quite possible to use one superclass instance for the superclass constraint check, but another, more specific superclass instance for each actual use - just that the usual dictionary translation doesn't have that flexibility as it fixes the instance to use at the point of definition, where superclass constraint or explicit signature are checked. Claus [*] -- 6.6.1 *B> :t f f :: (Name [t]) => t -> String -- 6.9.20080217 *B> :t f f :: (Name t) => t -> String From byorgey at gmail.com Wed Jun 11 17:11:29 2008 From: byorgey at gmail.com (Brent Yorgey) Date: Wed Jun 11 17:03:44 2008 Subject: [Haskell] Haskell Weekly News: Issue 72 - June 11, 2008 Message-ID: <22fcbd520806111411s54723e70x1af8ba04c98b2622@mail.gmail.com> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080611 Issue 72 - June 11, 2008 --------------------------------------------------------------------------- Welcome to issue 72 of HWN, a newsletter covering developments in the [1]Haskell community. Greetings, Haskellites! As many of you have already heard, Don Stewart has passed on the editorship of the HWN to me (Brent Yorgey). I'd like to thank Don and John Goerzen for their great work putting it together in the past, and I'm excited to make the HWN once again into a reliable, useful compendium of happenings in the Haskell community. You can expect to see a few changes---for example, hackage uploads will no longer be listed in the HWN (unless they are announced on the haskell or haskell-cafe mailing lists), since you can now see a dynamically updated list on the front page of the Haskell wiki. This edition includes all the announcements going back to Issue 71, but only some of the blog posts, since I couldn't find a way to get old feed data from Planet Haskell. Hopefully next week things will settle down to something more normal(ish) and I can begin tinkering with the format. Feel free to send suggestions and/or stories for inclusion to me, byorgey at gmail dot com. Enjoy---'Putting the W back in HWN!' Announcements hfann. Olivier Boudry [2]announced the first release of the [3]hfann module, an interface to the [4]'Fast Artificial Neural Network (FANN)' library. funsat. Denis Bueno [5]announced a release of [6]funsat, a modern, DPLL-style SAT solver written in Haskell. Funsat solves formulas in conjunctive normal form and produces a total variable assignment for satisfiable problems. DEFUN08: Call for talks and tutorials. Matthew Fluet [7]announced the final call for talks and tutorials at [8]DEFUN 2008, to be held in conjunction with [9]ICFP. Cabal-1.4 Release Candidate. Duncan Coutts [10]announced the second release candidate for [11]Cabal-1.4. Programmer's Minesweeper. Bertram Felgenhauer [12]announced a Haskell implementation of [13]Programmer's Minesweeper, which allows programmers to implement minesweeper strategies and run them. hackage RSS feed. Don Stewart [14]announced a new [15]RSS feed for the most recently uploaded packages on [16]Hackage. BLAS bindings. Patrick Perry [17]announced a set of bindings for the [18]BLAS linear algebra library. Xen Control bindings. Thomas DuBuisson [19]announced the [20]hsXenCtrl package, with FFI bindings to [21]Xen. bloomfilter. Bryan O'Sullivan [22]announced the availability of a fast Bloom filter library for Haskell. A Bloom filter is a probabilistic data structure that provides a fast set membership querying capability. It does not give false negatives, but has a tunable false positive rate. HCAR. Janis Voigtlaender [23]announced the 14th edition of the [24]Haskell Community and Activities Report (HCAR). HSmugMug. Daniel Patterson [25]announced [26]HSmugMug, a Haskell wrapper to the photo hosting site [27]SmugMug's API. LIPL. Sam Lee [28]announced the release of [29]LIPL, a tiny functional language implemented as a term project to learn Haskell. Glome 0.51. Jim Snow [30]announced version 0.51 of [31]glome, a raytracer written in Haskell. ChessLibrary. Andrew Wagner [32]announced the [33]ChessLibrary project, and mentioned that he is looking for an experienced haskeller to serve as a mentor for this project. xmonad-utils. Gwern Branwen [34]announced the upload to hackage of [35]xmonad-utils, a couple of small Xlib programs which might be useful for xmonad users. Roguestar. Christopher Lane Hinson [36]announced the release of [37]Roguestar 0.2, a science fiction themed roguelike (turn-based, chessboard-tiled, role playing) game written in Haskell. Streaming Component Combinators. Mario Blazevic [38]announced the 0.1 release of [39]Streaming Component Combinators in Haskell, based on earlier work done in [40]OmniMark. Twitter client. Chris Eidhof [41]announced a simple [42]terminal-based Twitter client. Monad.Reader call for copy. Wouter Swierstra [43]issued a call for copy for [44]The Monad.Reader. The submission deadline for Issue 11 is August 1. category-extras. Edward Kmett [45]announced a new release of the [46]category-extras package, involving all sorts of new categorical goodness. Session Types for Haskell. Matthew Sackman [47]announced the availability of [48]Session Types for Haskell. Session types are a means of describing communication between multiple threads, and statically verifying that the communication being performed is safe and conforms to the specification. Haddock 2.1.0. David Waern [49]announced the release of [50]Haddock 2.1.0. ReviewBoard. Adam Smyczek [51]announced the release of [52]Haskell bindings to [53]ReviewBoard, a development tool designed to monitor code changes and analyze dependencies. diagrams. Brent Yorgey [54]announced the initial release of [55]Graphics.Rendering.Diagrams, an embedded domain-specific language for creating simple pictures and diagrams, built on top of the Cairo vector graphics library. HXT. Uwe Schmidt [56]announced a new release of the [57]Haskell XML Toolbox. GSoC. Malcolm Wallace [58]announced the seven student projects chosen to be funded by the [59]Google Summer of Code. bytestring. Don Stewart [60]announced a new major release of [61]bytestring, the efficient string library for Haskell, suitable for high-performance scenarios. HXQ. Leonidas Fegaras [62]announced the release of [63]HXQ, an [64]XQuery compiler/interpreter for Haskell. Win32-notify. Niklas Broberg [65]announced the first release of [66]Win32-notify, an inotify-alike for Windows. cpuid. Martin Grabmueller [67]announced the new [68]cpuid package, which provides functionality for accessing information about the currently running IA-32 processor. Emping. Hans van Thiel [69]announced version 0.5 of the [70]Emping package, a utility which derives the shortest rules from a table of rules. datapacker. John Goerzen [71]announced the first release of [72]datapacker, a tool to pack files into a minimum number of CDs, DVDs, or any other arbitrary bin. darcswatch. Joachim Breitner [73]announced the release of [74]darcswatch, a tool for tracking darcs patches and repositories. Generic Haskell. Thomas van Noort [75]announced the fifth release of [76]Generic Haskell, an extension of Haskell that facilitates generic programming. drawingcombinators. Luke Palmer [77]announced the release of [78]graphics-drawingcombinators, a wrapper around OpenGL with a functional interface. The Monad.Reader. Wouter Swierstra [79]announced the publication of Issue 10 of [80]The Monad.Reader, a quarterly magazine about functional programming. Well-Typed LLP. Ian Lynagh [81]announced that he, Bj?rn Bringert and Duncan Coutts have set up a Haskell consultancy company, [82]Well-Typed LLP. Their services include application development, library and tool maintenance, project advice, and training. hgdbmi. Evan Martin [83]announced the [84]hgdbmi package, which wraps the operations of attaching GDB to a process and parsing the GDB/MI output. xmonad. Don Stewart [85]announced the release of [86]xmonad version 0.7. Updates include improved integration with GNOME, more flexible "rules", various stability fixes, and of course, many new and interesting features in the extension library. Haskell Server Pages. Niklas Broberg [87]announced a new release of [88]Haskell Server Pages, a programming model for writing dynamic web pages in Haskell, both server-side and client-side. Network.MiniHTTP. Adam Langley [89]announced a release of [90]network-minihttp, a small bytestring HTTP library. Disciplined Disciple Compiler. Ben Lippmeier [91]announced the initial alpha release of the [92]Disciplined Disciple Compiler, an explicitly lazy dialect of Haskell. haskell-src-exts. Niklas Broberg [93]announced a new release for [94]haskell-src-exts, a package for handling and manipulating Haskell source code. omnicodec. Magnus Therning [95]announced the package [96]omnicodec, containing two command line utilities for encoding and decoding data. Blog noise [97]Haskell news from the [98]blogosphere. * [99]Christophe Poucet (vincenz): ICFP Contest 2008 * [100]Real-World Haskell: CUFP 2007 videos now easier to view * [101]Wrap-up: mergesort in haskell * [102]jbofihe and Haskell * [103]Writing a Regular Expression parser in Haskell: Part 3 * [104]Real World Haskell * [105]London Haskell Users Group: Next meeting: Paradise, a DSEL for derivatives pricing * [106]Christophe Poucet (vincenz): Lazy memoization * [107]Neil Mitchell: GSoC Hoogle: Week 2 * [108]Magnus Therning: Google Treasure Hunt primes question * [109]Roman Cheplyaka: Status report: week 2 * [110]Andy Gill: The unknown cost of dictionaries * [111]Edward Kmett: Zapping Adjunctions * [112]Edward Kmett: Representing Adjunctions * [113]Andy Gill: Performance problems with functional representation of derivatives * [114]Conal Elliott: Functional linear maps Quotes of the Week * roconnor: if you click your heels and say ``there is no binding like gtk2hs'' then dcoutts will appear and answer your question. * mauke: the first rule of fix club is "the first rule of fix club is "the first rule of fix club is... * oerjan: so does this mean that a comonad is like a wildlife preserve on an island in a sea of nuclear waste? * quicksilver: head-explosion is the solution, not the problem. * Botje: [on googling for polyvariadic typeclasses] OH GOD THE FIRST HIT IS OLEGS SITE! / *ahum* / I meant, "yay, reading material" * Baughn: From my point of view, anyone who understands everything ghc can do is /scary/. I'm sure that will change once I reach that level myself, but then again, there's also the possibility that I'll be in a permanent state of autophobia. * newsham: I think the problem with people asking homework questions in this channel is that the people in this channel don't have enough homework questions of their own to do. * quicksilver: *** quicksilver beats Deewiant with the i-will-not-use-fail-stick [Deewiant] quicksilver: I'm willing to accept a good alternative. [quicksilver] no. all you are permitted to accept is a beating. * mar77a: MONAD ARGHH GHGRHGH HGHRGHR RUN * Cale: Types are a bit like the nubs on lego bricks which provide structural integrity while suggesting how the bricks should fit together. * quicksilver: zip`ap`tail the aztec god of consecutive numbers About the Haskell Weekly News New editions are posted to [115]the Haskell mailing list as well as to [116]the Haskell Sequence and [117]Planet Haskell. [118]RSS is also available, and headlines appear on [119]haskell.org. Headlines are available as [120]PDF. To help create new editions of this newsletter, please see the [121]contributing information. Send stories to byorgey at gmail dot com. The darcs repository is available at darcs get [122]http://code.haskell.org/~byorgey/code/hwn/ References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41154 3. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hfann 4. http://leenissen.dk/fann/ 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41167 6. http://churn.ath.cx/funsat.html 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38392 8. http://www.deinprogramm.de/defun-2008/ 9. http://www.icfpconference.org/icfp2008/ 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41059 11. http://www.haskell.org/cabal/ 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40950 13. http://www.ccs.neu.edu/home/ramsdell/pgms/index.html 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41045 15. http://hackage.haskell.org/packages/archive/recent.rss 16. http://hackage.haskell.org/ 17. http://quantile95.com/?p=5 18. http://www.netlib.org/blas/ 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40790 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsXenCtrl 21. http://xen.org/ 22. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40745 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40703 24. http://www.haskell.org/communities/ 25. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40546 26. http://dbpatterson.com/articles/10 27. http://www.smugmug.com/ 28. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40500 29. http://www.lipl.googlepages.com/index.html#source 30. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40479 31. http://syn.cs.pdx.edu/~jsnow/glome/ 32. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40052 33. http://code.haskell.org/ChessLibrary/ 34. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39773 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-utils 36. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39710 37. http://roguestar.downstairspeople.org/ 38. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39654 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/scc-0.1 40. http://www.idealliance.org/papers/extreme/proceedings/html/2006/Blazevic01/EML2006Blazevic01.html 41. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39648 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/twitter 43. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39522 44. http://www.haskell.org/haskellwiki/The_Monad.Reader 45. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39492 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/category-extras 47. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39482 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions 49. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39352 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-2.1.0 51. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39347 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 53. http://code.google.com/p/reviewboard/ 54. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39342 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/diagrams-0.1 56. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39271 57. http://www.fh-wedel.de/~si/HXmlToolbox/index.html 58. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39040 59. http://code.google.com/soc/2008/haskell/about.html 60. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38992 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring 62. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38991 63. http://lambda.uta.edu/HXQ/ 64. http://www.w3.org/TR/xquery/ 65. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38965 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Win32-notify-0.1 67. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38922 68. http://uebb.cs.tu-berlin.de/~magr/projects/cpuid/doc/ 69. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38870 70. http://home.telfort.nl/sp969709/emp/empug.html 71. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38773 72. http://software.complete.org/datapacker 73. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38736 74. http://darcswatch.nomeata.de/ 75. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38676 76. http://www.generic-haskell.org/ 77. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38542 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/graphics-drawingcombinators-0.1 79. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38505 80. http://www.haskell.org/haskellwiki/The_Monad.Reader 81. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38419 82. http://www.well-typed.com/ 83. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38173 84. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hgdbmi 85. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38167 86. http://xmonad.org/ 87. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37996 88. http://code.google.com/p/hsp 89. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37853 90. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/network-minihttp-0.2 91. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37831 92. http://www.haskell.org/haskellwiki/DDC 93. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37703 94. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts-0.3.2 95. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37688 96. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/omnicodec 97. http://planet.haskell.org/ 98. http://haskell.org/haskellwiki/Blog_articles 99. http://cpoucet.wordpress.com/2008/06/11/icfp-contest-2008/ 100. http://www.realworldhaskell.org/blog/2008/06/10/cufp-2007-videos-now-easier-to-view/ 101. http://muharem.wordpress.com/2008/06/10/wrap-up-mergesort-in-haskell/ 102. http://chrisdone.com/blog/2008/06/10/jbofihe-and-haskell/ 103. http://blogs.msdn.com/matt/archive/2008/06/09/writing-a-regular-expression-parser-in-haskell-part-3.aspx 104. http://tapestryjava.blogspot.com/2008/06/real-world-haskell.html 105. http://www.londonhug.net/2008/06/09/next-meeting-paradise-a-dsel-for-derivatives-pricing/ 106. http://cpoucet.wordpress.com/2008/04/25/lazy-memoization/ 107. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-2.html 108. http://therning.org/magnus/archives/353 109. http://physics-dph.blogspot.com/2008/06/status-report-week-2.html 110. http://blog.unsafeperformio.com/?p=24 111. http://comonad.com/reader/2008/zapping-strong-adjunctions/ 112. http://comonad.com/reader/2008/representing-adjunctions/ 113. http://blog.unsafeperformio.com/?p=23 114. http://feeds.feedburner.com/~r/conal/~3/304291460/ 115. http://www.haskell.org/mailman/listinfo/haskell 116. http://sequence.complete.org/ 117. http://planet.haskell.org/ 118. http://sequence.complete.org/node/feed 119. http://haskell.org/ 120. http://code.haskell.org/~byorgey/code/hwn/archives/20080611.pdf 121. http://haskell.org/haskellwiki/HWN 122. http://code.haskell.org/~byorgey/code/hwn/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080611/b603afd9/attachment-0001.htm From deduktionstheorem at web.de Wed Jun 11 18:35:48 2008 From: deduktionstheorem at web.de (Stephan Friedrichs) Date: Wed Jun 11 18:28:02 2008 Subject: [Haskell] ANN: random-access-list-0.1 Message-ID: <48505344.4010809@web.de> Hello, I've implemented Chris Okasaki's random-access list[1] which provides typical list operations (cons, head, tail) in O(1) and yet offers indexed random-access in O(log n). It's uploaded on hackage[2]. It's still an early version which I'll extend, but especially at this eary stage I'd appreciate your feedback concerning what's still missing / to be fixed / to be improved. Regards, Stephan [1] Chris Okasaki: "Purely Functional Data Structures" [2] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/random-access-list -- Fr?her hie? es ja: Ich denke, also bin ich. Heute wei? man: Es geht auch so. - Dieter Nuhr From catamorphism at gmail.com Wed Jun 11 20:41:16 2008 From: catamorphism at gmail.com (Tim Chevalier) Date: Wed Jun 11 20:33:28 2008 Subject: [Haskell] 2008 ICFP Programming Contest In-Reply-To: <4683d9370806061422j4fb4b038td73d077459778d9@mail.gmail.com> References: <4683d9370806061422j4fb4b038td73d077459778d9@mail.gmail.com> Message-ID: <4683d9370806111741u50ae96fcl81818371426d42b3@mail.gmail.com> [Re-posting since the first message was apparently held due to the large number of recipients. Apologies if this shows up more than once, and please forward to any appropriate lists where it hasn't showed up already.] Mark your calendars for Friday, July 11, 2008 to Monday, July 14, 2008: the dates for the eleventh annual ICFP Programming Contest. The ICFP Programming Contest is one of the most advanced and prestigious programming contests, as well as being a chance to show off your programming skills, your favorite languages and tools, and your ability to work as a team. The contest is affiliated with the International Conference on Functional Programming. Teams consisting of one or more participants, from any part of the world, using any programming language, may enter. The specific task will be announced when the contest begins. In the meantime, watch the Web site for more information: http://icfpcontest.org/ Please direct any questions to Tim Sheard at sheard@cs.pdx.edu, rather than replying to this message. -Tim Chevalier, on behalf of the 2008 contest organizers (programming language devotees at Portland State University and the University of Chicago) -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt "Time flies like an arrow. Fruit flies like a banana. Syntax rules like a macro." -- Albert Lai From mhills at cs.uiuc.edu Thu Jun 12 14:58:38 2008 From: mhills at cs.uiuc.edu (Mark Hills) Date: Thu Jun 12 14:50:48 2008 Subject: [Haskell] AMAST'08 Call for Participation Message-ID: <77b24a93-1bb1-4bbf-b365-7b643a0f67f9@DSCAS2.ad.uiuc.edu> [Apologies for multiple copies, please distribute.] CALL FOR PARTICIPATION 12th International Conference on Algebraic Methodology and Software Technology Urbana, Illinois, United States July 28th - 31st, 2008 http://amast08.cs.uiuc.edu The major goal of the AMAST conferences is to promote research towards setting software technology on a firm, mathematical basis. Work towards this goal is a collaborative, international effort with contributions from both academia and industry. The conference series has become widely known for disseminating academic and industrial achievements within the broad AMAST areas of interest. Through these meetings AMAST has attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. Registration for AMAST'08 is now open. EARLY REGISTRATION: June 29, 2008. https://www-s.continuinged.uiuc.edu/conferences/index.cfm?formid=121655a2-65b3-ec4a-e026-5cbc1db4c773 INVITED SPEAKERS: Rajeev Alur, Marrying Words and Trees Jayadev Misra, Simulation Using Orchestration Teodor Rus, Liberate Computer User from Programming ACCEPTED PAPERS: An Algebra for Features and Feature Composition Sven Apel, Christian Lengauer, Bernhard Moeller, Christian Kaestner Petri nets are dioids Paolo Baldan, Fabio Gadducci Towards an Efficient Implementation of Tree Automata Completion Emilie Balland, Yohan Boichut, Pierre-Etienne Moreau, Thomas Genet Calculating Invariants as Coreflexive Bisimulations Luis Barbosa, Jose Oliveira, Alexandra Silva Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines Roberto Bruni, Leonardo Gaetano Mezzina A declarative debugger for Maude Rafael Caballero, Narciso Marti-Oliet, Adrian Riesco, Alberto Verdejo Long-Run Cost Analysis by Approximation of Linear Operators over Dioids David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin Towards Validating a Platoon of Cristal Vehicles using CSP||B Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquieres Explaining Verification Conditions Ewen Denney, Bernd Fischer Towards Formal Verification of ToolBus Scripts Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko A Formal Analysis of Complex Type Flaw Attacks on Security Protocols Han Gao, Chiara Bodei, Pierpaolo Degano Abstract Interpretation Plugins for Type Systems Tobias Gedell, Daniel Hedin Separation Logic Contracts for a Java-like Language with Fork/Join Christian Haack, Clement Hurlin Towards a Model-theoretic Semantics for Contract-based Software Components Rolf Hennicker, Michel Bidoit Implementing a categorical information system Michael Johnson, Robert Rosebrugh Constant complements, reversibility and universal view updates Michael Johnson, Robert Rosebrugh Coinductive Properties of Causal Maps Jiho Kim Extending Timed Process Algebra with Discrete Stochastic Time Jasen Markovski, Erik de Vink Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Stefan Maus, Michal Moskal, Wolfram Schulte Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Douglas Smith Verification of Java Programs with Generics Kurt Stenzel, Holger Grandy, Wolfgang Reif Domain Axioms for a Family of Near-Semirings Georg Struth, Jules Desharnais Generating specialized rules and programs for demand-driven analysis K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu Non expansive Epsilon-Bisimulations Simone Tini A Hybrid Approach for Safe Memory Management in C Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi Service Specification and Matchmaking using Description Logic: An Approach Based on Institutions M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder System Demonstration of Spiral, Program Generator for High-Performance Libraries for Linear Transforms Yevgen Voronenko, Franz Franchetti, Frederic de Mesmay, Markus Pueschel The verification of the on-chip COMA cache coherence protocol Duong Vu, Li Zhang, Chris Jesshope From david.waern at gmail.com Fri Jun 13 18:07:13 2008 From: david.waern at gmail.com (David Waern) Date: Fri Jun 13 17:59:27 2008 Subject: [Haskell] ANN: Haddock Trac Message-ID: Hi everyone, there's now a Haddock bug-tracker and wiki at http://trac.haskell.org/haddock. Please use it to submit bug reports and feature requests! David From igloo at earth.li Sat Jun 14 12:24:26 2008 From: igloo at earth.li (Ian Lynagh) Date: Sat Jun 14 12:16:29 2008 Subject: [Haskell] ANNOUNCE: trac for projects on community.haskell.org Message-ID: <20080614162426.GA27696@matrix.chaos.earth.li> Hi all, It is now possible for projects on community.haskell.org to create themselves a trac (which provides a bug tracking system and wiki). Please see http://community.haskell.org/admin/using_project.html#trac for details of how to do so. Thanks Ian From eijiro.sumii at gmail.com Mon Jun 16 17:38:17 2008 From: eijiro.sumii at gmail.com (Eijiro Sumii) Date: Mon Jun 16 17:30:14 2008 Subject: [Haskell] Final CFP: ML Workshop 2008 Message-ID: The submission deadline (June 23, Monday) for ML Workshop 2008 is approaching. Note the extension of the scope of the workshop this year (see below). Please feel free to contact the program chair (sumii@ecei.tohoku.ac.jp) if you have any question. Eijiro ********************************************************************** CALL FOR PAPERS The 2008 ACM SIGPLAN Workshop on ML Sunday, September 21, 2008 Victoria, British Columbia, Canada To be held in conjunction with ICFP 2008 http://www.kb.ecei.tohoku.ac.jp/ml2008/ IMPORTANT DATES: Submission deadline: Monday, June 23, 2008 Notification of acceptance: Friday, July 18, 2008 Final revision due: Monday, July 28, 2008 Workshop: Sunday, September 21, 2008 GOALS OF THE WORKSHOP: ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to build on previous occasions (recent instances are ML 2005 in Tallinn, Estonia, 2006 in Portland, Oregon, and 2007 in Freiburg, Germany), providing a forum to encourage discussion and research on ML and related technology. The 2008 Workshop on ML will be held in conjunction with the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) in Victoria, British Columbia, Canada on Sunday, September 21, 2008. This year we extend the scope of the workshop from ML itself to technologies closely related to ML (higher-order, typed, or strict languages) and invite high-quality papers in all areas of crucial importance for the future of ML. SUBMISSION GUIDELINES: We seek papers on topics related to ML, including (but not limited to): * applications * extensions: objects, classes, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems (static and dynamic): inference, effects, overloading, error reporting, contracts, specifications and assertions, etc. * implementation: compilers, interpreters, partial evaluators, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML languages. In order to encourage lively discussion, submitted papers may describe work in progress. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. All paper submissions must be at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt): http://www.acm.org/sigs/sigplan/authorInformation.htm Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The submission web site is now online. Visit http://www.easychair.org/conferences?conf=ml2008 and follow the instructions. PROGRAM CHAIR: Eijiro Sumii (Tohoku University) PROGRAM COMMITTEE: Sylvain Conchon (Paris-Sud University / INRIA Saclay-Ile-de-France) Karl Crary (Carnegie Mellon University) Andrzej Filinski (DIKU) Robby Findler (The University of Chicago) Cormac Flanagan (University of California at Santa Cruz) Alain Frisch (LexiFi) Dan Grossman (University of Washington) Didier Remy (INRIA Paris-Rocquencourt) Claudio Russo (Microsoft Research Cambridge) Eijiro Sumii (Tohoku University) Hongwei Xi (Boston University) From byorgey at gmail.com Tue Jun 17 14:46:27 2008 From: byorgey at gmail.com (Brent Yorgey) Date: Tue Jun 17 14:38:22 2008 Subject: [Haskell] send in material for the HWN! Message-ID: <22fcbd520806171146q22d54029m7fbfe077ea9fefa3@mail.gmail.com> Hi all, Do you know of a blog post about Haskell that wasn't syndicated on Planet Haskell? Do you have a Haskell-related story to tell or announcement to make? Do you have a link to some great pictures from the latest meetup/hackathon/talk/conference? A funny story about Don Stewart? If so, consider submitting it to the Haskell Weekly News. The HWN isn't really about Haskell so much as it is about the Haskell *community* -- and that means you! In addition to the above sorts of submissions, I am also thinking of adding a "Community News" section with announcements of (not-necessarily-Haskell-related) major events in the lives of community members -- but obviously this depends on submissions, so if you get a new job/move/start a new company/graduate/increment your age/have a comet named after you/bring forth a new life (aka future Haskeller) into the world, please share, and let the community celebrate with you! Submissions can be sent to byorgey at seas dot upenn dot edu. Be sure to include "HWN" in the subject line. For now I'm planning to put an issue out every Wednesday afternoon, so the submission deadline is Wednesday at 11am GMT (6am Eastern US). -Brent -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080617/7833aff1/attachment.htm From igloo at earth.li Tue Jun 17 14:59:45 2008 From: igloo at earth.li (Ian Lynagh) Date: Tue Jun 17 14:51:47 2008 Subject: [Haskell] ANNOUNCE: GHC version 6.8.3 Message-ID: <20080617185945.GA2262@matrix.chaos.earth.li> ============================================================= The (Interactive) Glasgow Haskell Compiler -- version 6.8.3 ============================================================= The GHC Team is pleased to announce a new patchlevel release of GHC. This release contains a number of bugfixes relative to 6.8.2, so we recommend upgrading. Release notes are here: http://haskell.org/ghc/docs/6.8.3/html/users_guide/release-6-8-3.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998 and revised December 2002. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://hackage.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://hackage.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://hackage.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://hackage.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug From duncan.coutts at worc.ox.ac.uk Wed Jun 18 07:45:20 2008 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Wed Jun 18 07:33:11 2008 Subject: [Haskell] ANNOUNCE: cabal-install 0.5 Message-ID: <1213789520.15010.837.camel@localhost> cabal-install 0.5 ================= cabal-install version 0.5 is out: http://haskell.org/cabal/download.html or get it from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-install If you are already using a cabal-install pre-release then you can just: $ cabal update $ cabal install cabal-install New features in cabal-install ============================= Command line improvements ------------------------- The most immediately noticeable thing is that the command line interface now has all the commands that runhaskell Setup.hs has. Of course it still has the features to download and install packages from hackage. It also gained an upload command. So it now provides a command line interface to the whole Cabal/Hackage system. There?s no need to use runhaskell Setup.hs ever again. There is also bash command line completion support included which I find is a great time saver. Installing and upgrading ------------------------ The next big thing is that it includes a new package dependency resolution system that finds correct and sensible solutions more of the time and has better default behaviour. The new behaviour should be similar to other package managers that people are used to. For example, suppose you?ve got xmonad-0.5 installed and version 0.7 is the latest on hackage, then $ cabal install xmonad will install xmonad-0.7. The older version, xmonad-0.5, will remain installed. The behaviour of install is to upgrade as little as possible to satisfy your request, but sometimes you want to upgrade all the dependencies too. Supposing now that we have xmonad-0.7 installed, but we?re still using X11-1.4.1 and the latest version on hackage is X11-1.4.2, then $ cabal upgrade xmonad will install X11-1.4.2 and *re-install* xmonad-0.7, this time built against the newer X11-1.4.2. So in general, the install command will install the latest version of things but will try and use any existing installed versions of dependencies while the upgrade command will also try to use the latest versions of all dependencies. As a special case, cabal upgrade on its own will try to upgrade all the packages that you have installed. For both command there is a --dry-run flag so you can see what would be installed without actually doing it. Hugs ---- Yes, it even works with hugs. That is, cabal-install built by ghc can manage the installation of packages for hugs. In principle cabal-install should be able to be run by hugs but currently the zlib binding is using a function that hugs does not support. Note that for hugs, Cabal does not know what packages are already installed because there is no equivalent of the package database that ghc has. So that means cabal-install cannot do very sensible installation planning. It should work ok so long as all the dependencies are already installed. Windows ------- Yes, it even works on Windows. The one caveat is that cabal-install cannot currently upgrade itself because Windows makes it hard for a process to overwrite its own executable file. It needs more complex trickery with the Win32 API. In the meantime the workaround is to rename the cabal.exe file first eg to cabal-foo.exe, then run cabal-foo install cabal-install. Build reporting --------------- One feature that made it into this release is build reporting. cabal-install keeps logs of all packages that you install (at least packages from hackage, not local ones). It records a bit of information about each package, in particular whether the outcome was successful or not. You can see these build reports in ~/.cabal/packages/$server/build-reports.log. For example, there is one from my machine for xmonad: package: xmonad-0.7 os: linux arch: x86_64 compiler: ghc-6.8.2 client: cabal-install-0.5.1 flags: -testing small_base dependencies: X11-1.4.2 base-3.0.1.0 containers-0.1.0.1 directory-1.0.0.0 mtl-1.1.0.0 process-1.0.0.0 unix-2.3.0.0 install-outcome: InstallOk docs-outcome: NotTried tests-outcome: NotTried The plan in the longer term is to let people upload these build reports to hackage so we can get a wider range of testing data about the packages on hackage. Duncan From duncan.coutts at worc.ox.ac.uk Wed Jun 18 07:45:13 2008 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Wed Jun 18 07:33:35 2008 Subject: [Haskell] ANNOUNCE: Cabal 1.4 Message-ID: <1213789513.15010.835.camel@localhost> Cabal 1.4 ========= Cabal version 1.4 is out: http://haskell.org/cabal/download.html The user guide and API documentation are also available from the download page. You can also get it from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal Release notes ============= There are no huge new features in the Cabal library itself, though there are a number of incremental improvements and lots of bug fixes. The main new feature is that is supports a significantly improved version of cabal-install. You can see a summary of the changes in the change log: http://haskell.org/cabal/release/latest/changelog A few items in particular are changes in existing behaviour: * All .cabal files are treated as UTF-8 and must be valid * Stricter parsing for version strings, eg disallows "1.05" * Default prefix for --user installs is now $HOME/.cabal Compatibility ------------- We have tried to preserve compatibility with all packages that worked with the Cabal-1.2.x series. That is, packages that can be built using Cabal (including custom Setup.hs scripts) but not packages that directly import and use the Cabal API. Packages that directly import and use the Cabal api will need updating. This affects packages that build distro packages for example, rpm debs etc. Bugs and feature requests ------------------------- This is an excellent opportunity to make sure your favourite bug or feature request is properly described in our bug tracker: http://hackage.haskell.org/trac/hackage/ To help us guide development priorities please add yourself to the ticket's cc list and describe why that bug or feature is important to you. Credits ======= On behalf of the Cabal hackers and the community generally I'd like to thank the large number of people who have contributed patches during this development series. Previously I was rather worried that we were not getting enough contributors to fix bugs and do new feature development, but now I'm very pleased. Get involved ============ Of course there's still a lot to do! We have big plans for Cabal-2.0, cabal-install and the Hackage website. So if you're interested in helping out with this core infrastructure project then: * subscribe to the cabal-devel mailing list: http://www.haskell.org/mailman/listinfo/cabal-devel * grab the source: http://haskell.org/cabal/code.html * read the guide to the source code: http://hackage.haskell.org/trac/hackage/wiki/SourceGuide * take a look at our list of bugs and feature requests: http://hackage.haskell.org/trac/hackage/report/12 especially the easy tickets: http://hackage.haskell.org/trac/hackage/report/13 Duncan From chak at cse.unsw.edu.au Wed Jun 18 08:22:39 2008 From: chak at cse.unsw.edu.au (Manuel M T Chakravarty) Date: Wed Jun 18 08:14:49 2008 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.8.3 - Mac OS X, Intel/Leopard In-Reply-To: <20080617185945.GA2262@matrix.chaos.earth.li> References: <20080617185945.GA2262@matrix.chaos.earth.li> Message-ID: Ian Lynagh: > ============================================================= > The (Interactive) Glasgow Haskell Compiler -- version 6.8.3 > ============================================================= > > The GHC Team is pleased to announce a new patchlevel release of GHC. > This release contains a number of bugfixes relative to 6.8.2, so we > recommend upgrading. An installer package for Mac OS X, Intel/Leopard, is available at http://www.cse.unsw.edu.au/~chak/haskell/GHC-6.8.3-i386.pkg The packages requires Xcode 3.0 to be already installed. You can find Xcode 3.0 on your Leopard installation DVD (or at .) IF you installed one of the pre-release packages AND the final release package doesn't install properly, just remove the pre-release first by executing sudo /Library/Frameworks/GHC.framework/Tools/Uninstaller (You can remove any other GHC installer package in the same way.) Manuel PS: I will post instructions on how to create a PPC/Leopard installer package in the next few days (unfortunately, the 6.8.3 release tar ball is not sufficient). Package creation does not currently work for Tiger. From andygill at ku.edu Wed Jun 18 10:37:00 2008 From: andygill at ku.edu (Andy Gill) Date: Wed Jun 18 10:28:55 2008 Subject: [Haskell] Final CFP: 2008 Haskell Symposium (Haskell 08) Message-ID: <28C35ED2-E71D-4024-AA0F-18A55435522B@ku.edu> Haskell 08 ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008 FINAL CALL FOR PAPERS http://haskell.org/haskell-symposium/2008 The Haskell Symposium 2008 is part of the 2008 International Conference on Functional Programming (ICFP) as an associated ACM SIGPLAN sponsored symposium. The purpose of the Haskell Symposium is to discuss experience with Haskell, and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program! Before 2008, the Haskell Symposium was known as the Haskell Workshop. The name change reflects the steady increase of influence of the Haskell Workshop on the wider community, as well as an increasing numbers of high quality submissions making the acceptance process highly competitive. Previously, Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), Snowbird (2004), Tallinn (2005), Portland, Oregon (2006), Freiburg (2007). Submission Details * Submission Deadline: Monday, June 23rd 2008 (9:00 am, Samoa Standard Time, UTC -11) * Author Notification: Friday, July 18th 2008 * Final Papers Due: Monday, July 28th 2008 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The length is restricted to 12 pages, and the font size 9pt. Each submission must adhere to SIGPLAN's republication policy, as explained on the web. Violation risks summary rejection of the offending submission. Paper submissions can be made via the easychair webpage http://www.easychair.org/conferences/?conf=haskell08 Accepted papers will be published by the ACM and will appear in the ACM Digital Library. If there is sufficient demand, we will try to organize a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to Andy Gill, andygill@ku.edu. Links * http://haskell.org/haskell-symposium, the permanent homepage of the Haskell Symposium. * http://haskell.org/haskell-symposium/2008, the 2008 Haskell Symposium web page. * http://www.icfpconference.org/icfp2008, the ICFP 2008 web page. Program Committee * Arthur Baars, Instituto Tecnologico de Informatica, Valencia, Spain * Jeremy Gibbons, Oxford University, UK * Andy Gill, University of Kansas, USA (Program Chair) * William Harrison, University of Missouri, Columbia, USA * Roman Leshchinskiy, University of New South Wales, Australia * Bernie Pope, University of Melbourne, Australia * Colin Runciman, University of York, UK * Tim Sheard, Portland State University, USA * Mary Sheeran, Chalmers University of Technology, Sweden * Satnam Singh, Microsoft Research, UK * Wouter Swierstra, Nottingham University, UK * Varmo Vene, University of Tartu, Estonia From amal.j.ahmed at gmail.com Wed Jun 18 11:50:34 2008 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Wed Jun 18 11:43:19 2008 Subject: [Haskell] TLDI 2009 Call for Papers Message-ID: <666bd19b0806180850u381589e6n5850256bd1e8d7de@mail.gmail.com> ********************************************************************* CALL FOR PAPERS TLDI 2009 ACM SIGPLAN Workshop on Types in Language Design and Implementation 24 January 2009 Savannah, Georgia, USA To be held in conjunction with POPL 2009 http://ttic.uchicago.edu/~amal/tldi2009/ ********************************************************************* IMPORTANT DATES Submission: 8 Oct 2008, 5PM EDT (Wed) Notification: 8 Nov 2008 (Sat) Camera ready: 19 Nov 2008 (Wed) TLDI'09: 24 January 2009 (Sat) SCOPE The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type analyses, and formal deduction have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. In light of this expanding role of types, the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'09) follows six previous International Workshops on types in compilation and language design (TIC'97, TIC'98, TIC'00, TLDI'03, TLDI'05, and TLDI'07), with the hope of bringing together researchers to share new ideas and results in this area. Submissions for this event are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI'09 specifically encourages papers from a broad field of programming language and compiler researchers, including those working in object-oriented, dynamically-typed, late-binding, systems programming, and mobile-code paradigms, as well as traditional fully-static type systems. Topics of interest include: - Typed intermediate languages and type-directed compilation - Type-based language support for safety and security - Types for interoperability - Type systems for system programming languages - Type-based program analysis, transformation, and optimization - Dependent types and type-based proof assistants - Types for security protocols, concurrency, and distributed computing - Type inference and type reconstruction - Type-based specifications of data structures and program invariants - Type-based memory management - Proof-carrying code and certifying compilation This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. SUBMISSION GUIDELINES Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Wednesday, October 8, 2008 5PM Eastern Daylight Savings Time. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template: http://www.sigplan.org/authorInformation.htm Papers must be submitted in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Submissions should contain original research not published or submitted for publication elsewhere. The URL for submission will be announced closer to the deadline. GENERAL CHAIR Andrew Kennedy Microsoft Research, Cambridge PROGRAM CHAIR Amal Ahmed Toyota Technological Institute, Chicago PROGRAM COMMITTEE Amal Ahmed Toyota Technological Institute, Chicago (Chair) Juan Chen Microsoft Research Peter Dybjer Chalmers University of Technology Jeff Foster University of Maryland, College Park Neal Glew Intel Robert Harper Carnegie Mellon University Andrew Myers Cornell University Atsushi Ohori Tohoku University Matthew Parkinson University of Cambridge Didier Remy INRIA Paris-Rocquencourt Andreas Rossberg Max Planck Institute for Software Systems STEERING COMMITTEE Craig Chambers University of Washington Robert Harper Carnegie Mellon University (Chair) Xavier Leroy INRIA Paris-Rocquencourt Greg Morrisett Harvard University George Necula Rinera Networks and UC Berkeley Atsushi Ohori Tohoku University Francois Pottier INRIA Paris-Rocquencourt Zhong Shao Yale University -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080618/9ad90371/attachment-0001.htm From byorgey at seas.upenn.edu Wed Jun 18 16:43:36 2008 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Wed Jun 18 16:35:36 2008 Subject: [Haskell] Haskell Weekly News: Issue 73 - June 18, 2008 Message-ID: <20080618204336.GA1701@plus.seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080618 Issue 73 - June 18, 2008 --------------------------------------------------------------------------- Welcome to issue 73 of HWN, a newsletter covering developments in the [1]Haskell community. The Google Summer of Code is in full swing, preparations are underway for ICFP and the eleventh ICFP Programming Contest, and cabal-install is oh-so-sexy. It's an exciting time to be a part of the Haskell community! Community News Andy Gill has completed his move from Portland, OR to Kansas. Luke Palmer (luqui) has [2]begun work for [3]Anygma, Peter Verswyvelen's startup using Haskell (among other languages) to ``generate easy-to-use tools for creating audio-visual 2D/3D content.'' Congrats to Andy and Luke on their new beginnings! Announcements Final CFP: 2008 Haskell Symposium. Andy Gill [4]announced the final call for papers for the [5]2008 Haskell Symposium. The deadline is the 23rd of this month; please submit a paper! cabal-install. Duncan Coutts [6]announced the release of [7]cabal-install-0.5, along with the release of Cabal-1.4 to support it. It features an improved command line interface, smarter upgrading, and is made of win. If you are still stuck in the dark ages of runhaskell Setup configure blah blah, then the imperative monkeys have already won. ICFP programming contest. Tim Chevalier [8]announced the eleventh annual [9]ICFP programming contest, to be held from Friday, July 11, 2008 to Monday, July 14, 2008. Are you ready? c.h.o trac. Ian Lynagh [10]announced that it is now possible for projects on [11]community.haskell.org to [12]create themselves a trac, providing a bug tracking system and wiki. random-access-list. Stephan Friedrichs [13]announced an [14]implementation of Chris Okasaki's random-access lists, providing typical list operations (cons, head, tail) in O(1) and indexed random-access in O(log n). GHC version 6.8.3. Ian Lynagh [15]announced a [16]new patchlevel release of [17]GHC, containing a number of bugfixes relative to 6.8.2. Printf-TH. Marc Weber [18]announced that he has taken over maintenance of the [19]Printf-TH library, which implements a printf function via [20]Template Haskell, in order to guarantee that wrong argument types or the wrong number of arguments will result in compile time errors. Mueval. Gwern Branwen [21]announced the release of the [22]mueval package, providing a standalone executable for evaluating Haskell expressions based on the GHC API. Topkata. Christoph Bauer [23]announced the release of [24]Topkata, a simple OpenGL game written in Haskell. The goal is to guide a ball through a labyrinth to the opposite corner. Haddock Trac. David Waern [25]announced a new [26]bug-tracker and wiki for the [27]Haddock project. Fortress talk. Jeff Polakow [28]announced that a [29]talk on [30]Fortress, a new OO/functional language from Sun, will take place on Wednesday, June 25 at 6:30pm in Manhattan, New York, USA. ieee-0.2. Patrick Perry [31]announced the release of [32]ieee, a library that provides approximate comparison of floating point numbers based, NaN-aware minimum and maximum, and a type class for approximate comparisons. Google Summer of Code Hoogle 4. Neil Mitchell (ndm) is [33]working on Hoogle 4, recently adding support for generating Hoogle databases to [34]Haddock, using the GHC API. This week he plans to work on database creation and text searches. DPH physics engine. Roman Cheplyaka (Feuerbach) is [35]working on a physics engine using [36]Data Parallel Haskell, recently adding rotations, represented by quaternions. Next he plans to handle collisions properly with respect to rotation, and to add documentation. Generic tries. Jamie Brandon is writing a library for efficient maps using generalized tries. He has come up with a preliminary API and is [37]asking for feedback. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a make-like dependency analysis framework for Cabal, recently refining the core model, that has built its first sources in the testing environment. The next step will be dealing with preprocessor chaining. Language.C. Benedikt Huber (visq) is working on Language.C, a standalone parser/pretty printer library for C99. The test suite is finished, the parser and pretty printer support most GNU extensions, and all failing tests of gcc.dg are documented. GHC API. Thomas Schilling (nominolo) is working on improvements to the GHC API. GHC plugins. Maximilian Conroy Bolingbroke is working on dynamically loaded plugins for GHC. Discussion Low-level array performance. Dan Doel began a [38]discussion about the [39]fannkuch benchmark and the current state of Haskell support for fast low-level array operations. 1/0. Evan Laforge began a lively [40]discussion about Infinity, NaN, and Haskell's support for the IEEE floating-point standard. Documenting the impossible. Andrew Coppin began a [41]discussion on the relative merits of {-# IMPOSSIBLE #-} pragmas, calls to 'error' and 'assert', the use of tools like [42]Catch, and other methods of annotating impossible cases. Blog noise [43]Haskell news from the [44]blogosphere. * [45]PE Problem #1 in Haskell * [46]osfameron: Countdown words game solver in Haskell * [47]Algebraic Data Types in JavaScript * [48]Finance and Haskell * [49]Well-Typed.Com: New Cabal and cabal-install releases * [50]Neil Mitchell: GSoC Hoogle: Week 3 * [51]Max Bolingbroke: Compiler Plugins For GHC: The First Week * [52]Dan Piponi (sigfpe): Categories of polynomials and comonadic plumbing * [53]Roman Cheplyaka: Status report: week 3 * [54]Thomas DuBuisson (TomMD): Static Buffers Considered Harmful Quotes of the Week * ddarius: Here's the short guide to Haskell for OO programmers: Haskell isn't at all an OO language. * swalters: I'm starting to believe that learning haskell is mostly about carefully crafting small and clever functions and then finding out that they are already part of the standard library. About the Haskell Weekly News New editions are posted to [55]the Haskell mailing list as well as to [56]the Haskell Sequence and [57]Planet Haskell. [58]RSS is also available, and headlines appear on [59]haskell.org. Headlines are available as [60]PDF. To help create new editions of this newsletter, please see the information on [61]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [62]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://luqui.org/blog/archives/2008/06/18/new-job/ 3. http://anygma.com/ 4. http://article.gmane.org/gmane.comp.lang.haskell.general/16249 5. http://haskell.org/haskell-symposium/2008 6. http://article.gmane.org/gmane.comp.lang.haskell.cabal.devel/3267 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-install 8. http://article.gmane.org/gmane.comp.lang.haskell.general/16238 9. http://icfpcontest.org/ 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16241 11. http://community.haskell.org/ 12. http://community.haskell.org/admin/using_project.html#trac 13. http://article.gmane.org/gmane.comp.lang.haskell.general/16237 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/random-access-list 15. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/14645 16. http://haskell.org/ghc/docs/6.8.3/html/users_guide/release-6-8-3.html 17. http://www.haskell.org/ghc/ 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41293 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Printf-TH 20. http://www.haskell.org/th/ 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41265 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mueval 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41263 24. http://home.arcor.de/chr_bauer/topkata.html 25. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41249 26. http://trac.haskell.org/haddock 27. http://www.haskell.org/haddock/ 28. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41235 29. http://lisp.meetup.com/59 30. http://research.sun.com/projects/plrg/ 31. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41201 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ieee 33. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-3.html 34. http://www.haskell.org/haddock/ 35. http://physics-dph.blogspot.com/2008/06/status-report-week-3.html 36. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 37. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9259 38. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/14637 39. http://shootout.alioth.debian.org/gp4/benchmark.php?test=fannkuch 40. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41368 41. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41295 42. http://www-users.cs.york.ac.uk/~ndm/catch/ 43. http://planet.haskell.org/ 44. http://haskell.org/haskellwiki/Blog_articles 45. http://jdfrens.blogspot.com/2008/06/pe-problem-1-in-haskell.html 46. http://osfameron.vox.com/library/post/countdown-words-game-solver-in-haskell.html 47. http://w3future.com/weblog/stories/2008/06/16/adtinjs.xml 48. http://blog.gmosx.com/2008/06/finance-and-haskell.html 49. http://blog.well-typed.com/2008/06/new-cabal-and-cabal-install-releases/ 50. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-3.html 51. http://blog.omega-prime.co.uk/2008/06/15/compiler-plugins-for-ghc-the-first-week/ 52. http://sigfpe.blogspot.com/2008/06/categories-of-polynomials-and-comonadic.html 53. http://physics-dph.blogspot.com/2008/06/status-report-week-3.html 54. http://tommd.wordpress.com/2008/05/25/static-buffers-considered-harmful/ 55. http://www.haskell.org/mailman/listinfo/haskell 56. http://sequence.complete.org/ 57. http://planet.haskell.org/ 58. http://sequence.complete.org/node/feed 59. http://haskell.org/ 60. http://code.haskell.org/~byorgey/code/hwn/archives/20080618.pdf 61. http://haskell.org/haskellwiki/HWN 62. http://code.haskell.org/~byorgey/code/hwn/ From wojtowicz.norbert at gmail.com Thu Jun 19 00:55:26 2008 From: wojtowicz.norbert at gmail.com (Norbert Wojtowicz) Date: Thu Jun 19 00:47:18 2008 Subject: [Haskell] Announce: hback - dual n-back memory game (0.0.3) Message-ID: I've released a version 0.0.3 of hback based on the current HEAD of the darcs repo. From the end-user's perspective, there are three major changes: 1. Game now tries to accurately duplicate the protocol described in the original PNAS paper [0]. If there are any deviations, please do let me know. 2. The game should now correctly build with all dependencies and correctly locate all data at runtime that was copied during installation. If there are any issues with this, it's a bug - please do report it. 3. The graphics are now rendered as SVG (which means the cairo lib installed on the system will need to support SVG). Cabal file can be found on hackage: http://hackage.haskell.org/packages/archive/hback/0.0.3/hback-0.0.3.tar.gz If you prefer to keep up-to-date with changes, checkout the repo instead: darcs get --partial http://code.haskell.org/hback/ And the new project homepage: http://code.google.com/p/hback/ Thanks to everyone who showed an interest in the program; it's really helpful in encouraging me to continue tinkering with it. As always, all suggestions and comments sincerely welcome, Norbert Wojtowicz [0] http://www.pnas.org/cgi/content/abstract/0801268105v1 From marlowsd at gmail.com Fri Jun 20 06:34:03 2008 From: marlowsd at gmail.com (Simon Marlow) Date: Fri Jun 20 06:25:58 2008 Subject: [Haskell] Fwd: PhD position at University of Strathclyde, Glasgow Message-ID: <485B879B.2060707@gmail.com> [ forwarding on behalf of Patricia Johann ] PhD Position in Operational and Categorical Approaches to Parametricity Department of Computer and Information Sciences University of Strathclyde, Scotland Applications are invited for one PhD position within the newly-formed Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, and Dr. Conor McBride. The funded PhD project centers around operational and categorical approaches to relational parametricity, which serves as the basis for deriving both structured tools for programming with, and effective techniques for reasoning about, functional programs, solely from their (polymorphic) types. The project aims to develop the theoretical foundations of parametricity for languages supporting advanced datatypes --- such as nested types, GADTs, and their mixed-variance versions --- as well as to apply these foundations to program transformations and other applications. The project is under the direction of Patricia Johann. The successful applicant will have an MSc in Mathematics or Computing Science or a related subject with a strong Mathematics or Computing Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential; good programming skills are a plus. Prior knowledge in the areas of operational semantics, category theory, and/or parametricity is an advantage, but is not required. The PhD position is for 3 years; the start date is negotiable. The position is a fully-funded post for a home (i.e., UK) student, and includes both coverage of fees and an EPSRC-level stipend for each of the three years. For European students, the post covers only fees (i.e., no stipend is available). More information about the department is available at http://www.strath.ac.uk/cis The University of Strathclyde (http://www.strath.ac.uk) is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of Britain's largest, liveliest and most interesting cities" (see http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde. Requests for further information and other informal enquiries can be sent to: Patricia Johann Patricia.Johann at cis.strath.ac.uk (The group is currently in the process of moving to the University of Strathclyde, so the above is the best contact address for the duration of the summer. Students interested in joining the group to work on other topics should contact Prof. Ghani at Neil.Ghani at cis.strath.ac.uk, since further positions are expected soon. Those interested in the position are asked to send e-mail to the address given above. Full Details of the application process are available upon request, but an application will include: 1. A cover letter stating the applicant's specific interest in the project. 2. A full curriculum vitae, including an abstract of the applicant's graduate thesis and the name of their supervisor. 3. Letters of recommendation or references from at least two scientific staff members. (Letters of recommendation should either be included along with the application, or should arrive separately promptly.) 4. A completed application for postgraduate study at the University of Strathclyde. Applications, forms for letters of recommendation, and instructions are available at http://www.strath.ac.uk/prospectus/postgraduateapplications/ Applications will be considered until the position is filled, but those received on or before 15 August 2008 will have priority. From demis at dimi.uniud.it Sat Jun 21 07:55:20 2008 From: demis at dimi.uniud.it (demis@dimi.uniud.it) Date: Sat Jun 21 07:47:08 2008 Subject: [Haskell] CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) Message-ID: <20080621115518.5BDFB3FC210@sole.dimi.uniud.it> Skipped content of type multipart/alternative From igloo at earth.li Sun Jun 22 10:06:08 2008 From: igloo at earth.li (Ian Lynagh) Date: Sun Jun 22 09:57:52 2008 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.8.3 - Mac OS X, Intel/Leopard In-Reply-To: References: <20080617185945.GA2262@matrix.chaos.earth.li> Message-ID: <20080622140608.GA6260@matrix.chaos.earth.li> On Wed, Jun 18, 2008 at 10:22:39PM +1000, Manuel M T Chakravarty wrote: > > An installer package for Mac OS X, Intel/Leopard, is available at > > http://www.cse.unsw.edu.au/~chak/haskell/GHC-6.8.3-i386.pkg Thanks Manuel; I've added this to the GHC download page. Thanks Ian From S.Scholz at herts.ac.uk Mon Jun 23 01:02:36 2008 From: S.Scholz at herts.ac.uk (Sven-Bodo Scholz) Date: Mon Jun 23 00:54:23 2008 Subject: [Haskell] IFL 2008 Call for Papers Message-ID: <20080623050235.GA11042@herts.ac.uk> ******************************************************************************** * * CALL FOR PAPERS * * 20th International Symposium on the * Implementation and Application of Functional Languages * IFL 2008 * 10-12.Sept 2008, Hatfield UK * * http://events.sac-home.org/ifl2008/ * ******************************************************************************** The aim of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. They provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc. related primarily but not exclusively to the implementation and application of functional languages. Formal proceedings are produced after the symposium, so that authors can incorporate the feedback from discussions at the symposium in their published papers. Topics ====== Topics of interest include, but are not limited to: * language concepts * type checking * compilation techniques * (abstract) interpretation * generic programming techniques * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * functional programming on embedded systems * functional programming on multi-cores/ many-cores * heap management * runtime profiling * performance measurements * debugging and tracing * (abstract) machine architectures * verification * formal aspects * tools and programming techniques Papers on applications or tools demonstrating the suitability of novel ideas in any of the above areas and contributions on related theoretical work are also welcomed. The change of the symposium name adding the term application, introduced in 2004, is to reflect the broader scope IFL has gained over the years. Paper Submissions ================= Prospective authors are encouraged to submit papers to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a Technical Report of the School of Computer Science of the University of Hertfordshire. Attendees of IFL 2008 will have the opportunity to submit a revised version of their paper for post-symposium reviewing. As in previous years, we hope that selected papers will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) Series. The Peter Landin Prize ====================== Since 2002 every year the Peter Landin Prize of 150 GBP is awarded to the best paper presented at the symposium, as selected by the program committee. Important Dates =============== * Submission for draft proceedings: 22. August * Early Registration: 25. August * Symposium: 10-12. September * Submission for post-refereeing: 14. November * Notification of acceptance / rejection: 23. January 2009 * Submission of a camera ready version: 20. February 2009 Contact ======= For further details see or contact us by email: events sac-home.org From demis at dimi.uniud.it Mon Jun 23 04:03:11 2008 From: demis at dimi.uniud.it (demis@dimi.uniud.it) Date: Mon Jun 23 03:55:07 2008 Subject: [Haskell] CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) Message-ID: <20080623080309.9D4BA3FC0FC@sole.dimi.uniud.it> Skipped content of type multipart/alternative From jamesiry at gmail.com Mon Jun 23 15:52:27 2008 From: jamesiry at gmail.com (James Iry) Date: Mon Jun 23 15:45:10 2008 Subject: [Haskell] Lambda in the sun Message-ID: <443b2f9d0806231252l660c4663i40d961cc07a44e76@mail.gmail.com> Announcing the creation of Southern California Functional Programmers (SoCalFP) , a group for people in LA, Orange County, and San Diego to meet in person and/or virtually to discuss, debate, present, and learn about functional programming concepts and techniques in various languages. You might ask, "why a functional programming group in Southern California?" Well, SoCal, wake up and smell the lambda. There's increasing interest in bastions of functional programming like Haskell and various Lisps; popular mainstream languages like Ruby and Python have lambda (or lambda like) capabilities; hybrid OO/functional languages like F# and Scala are generating buzz; C# 3.0 has embraced core functional ideas like closures and monads; and even staid, conservative Java may get some functional goodness in the next version. Perhaps most importantly, programmers can't ignore the oncoming multi-core freight train and Erlang has shown that concurrency and functional programming go together like peanut butter and chocolate. If you're intrigued come visit our main site and join our mailing list . -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080623/731be31b/attachment.htm From jamesiry at gmail.com Mon Jun 23 15:52:27 2008 From: jamesiry at gmail.com (James Iry) Date: Mon Jun 23 15:46:53 2008 Subject: [Haskell] Lambda in the sun Message-ID: <443b2f9d0806231252l660c4663i40d961cc07a44e76@mail.gmail.com> Announcing the creation of Southern California Functional Programmers (SoCalFP) , a group for people in LA, Orange County, and San Diego to meet in person and/or virtually to discuss, debate, present, and learn about functional programming concepts and techniques in various languages. You might ask, "why a functional programming group in Southern California?" Well, SoCal, wake up and smell the lambda. There's increasing interest in bastions of functional programming like Haskell and various Lisps; popular mainstream languages like Ruby and Python have lambda (or lambda like) capabilities; hybrid OO/functional languages like F# and Scala are generating buzz; C# 3.0 has embraced core functional ideas like closures and monads; and even staid, conservative Java may get some functional goodness in the next version. Perhaps most importantly, programmers can't ignore the oncoming multi-core freight train and Erlang has shown that concurrency and functional programming go together like peanut butter and chocolate. If you're intrigued come visit our main site and join our mailing list . -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080623/731be31b/attachment-0001.htm From jamesiry at gmail.com Mon Jun 23 15:52:27 2008 From: jamesiry at gmail.com (James Iry) Date: Mon Jun 23 15:46:59 2008 Subject: [Haskell] Lambda in the sun Message-ID: <443b2f9d0806231252l660c4663i40d961cc07a44e76@mail.gmail.com> Announcing the creation of Southern California Functional Programmers (SoCalFP) , a group for people in LA, Orange County, and San Diego to meet in person and/or virtually to discuss, debate, present, and learn about functional programming concepts and techniques in various languages. You might ask, "why a functional programming group in Southern California?" Well, SoCal, wake up and smell the lambda. There's increasing interest in bastions of functional programming like Haskell and various Lisps; popular mainstream languages like Ruby and Python have lambda (or lambda like) capabilities; hybrid OO/functional languages like F# and Scala are generating buzz; C# 3.0 has embraced core functional ideas like closures and monads; and even staid, conservative Java may get some functional goodness in the next version. Perhaps most importantly, programmers can't ignore the oncoming multi-core freight train and Erlang has shown that concurrency and functional programming go together like peanut butter and chocolate. If you're intrigued come visit our main site and join our mailing list . -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080623/731be31b/attachment-0002.htm From mh at informatik.uni-kiel.de Tue Jun 24 05:46:57 2008 From: mh at informatik.uni-kiel.de (Michael Hanus) Date: Tue Jun 24 05:38:37 2008 Subject: [Haskell] FDPE 2008 -- Deadline extension Message-ID: <20080624094657.2E6C084001@localhost> Please note that the deadline for the Workshop on Functional and Declarative Programming in Education (FDPE08) which will be held in conjunction with ICFP 2008 on Sunday, September 21, 2008 in Victoria, British Columbia, Canada is extended to Sunday, June 29, 2008. Beside regular papers extended abstracts presenting new ideas in teaching declarative programming and (short) tool describtions are welcome as well. Further information is available from http://www-ps.informatik.uni-kiel.de/fdpe08/ From lgreg.meredith at biosimilarity.com Tue Jun 24 13:18:17 2008 From: lgreg.meredith at biosimilarity.com (Greg Meredith) Date: Tue Jun 24 13:09:49 2008 Subject: [Haskell] NW Functional Programming Interest Group In-Reply-To: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> References: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> Message-ID: <5de3f5ca0806241018o5b582ebfufcfd4c1b371cdc12@mail.gmail.com> All, Apologies for multiple listings. A small cadre of us, collectively known as the Northwest Functional Programming Interest Group, have been meeting monthly to discuss all things functional. Our next meeting is at The Seattle Public Library 5009 Roosevelt Way N.E. * Seattle*, WA 98105 206-684-4063 from 18:30 - 19:50 on June 25th. We'd hoped to have Andrew Birkett talk on a Haskell implementation of an emacs-like editor, but sadly could not secure a meeting venue before Andrew's flight back to the UK. Maybe we can set up a skype session for a presentation by Andrew in future. Since it's so late in the game i will step in and offer a presentation on a compositional representation of graphs i've been tinkering with -- unless someone has something they'd like to talk about at a moment's notice. Hope to see you there. Monadically yours, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105 +1 206.650.3740 http://biosimilarity.blogspot.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080624/92adcdeb/attachment.htm From icfp.publicity at googlemail.com Wed Jun 25 10:01:03 2008 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Wed Jun 25 09:52:36 2008 Subject: [Haskell] ICFP08 Final Call for posters Message-ID: <53ff55480806250701u79d6fba1lcd089c69de68691d@mail.gmail.com> ICFP 2008 poster session September 21, 2008 Call for presentation proposals ICFP 2008 will feature a poster session for researchers and practitioners, including students. The session will provide friendly feedback for work that is in gestation or ongoing, as well as opportunities to meet each other and exchange ideas. We welcome poster submissions on all ICFP topics, especially presentations of - applications of and to functional programming; - recent work presented at more distant venues; and - ongoing work, whether or not submitted to ICFP. There will be no formal proceedings, but presenters will be invited to submit working notes, demo code, and other materials to supplement their abstract and poster. These materials will be released informally on a Web page dedicated to the poster session. An accepted submission is not intended to replace conference or journal publication. Persons interested in presenting a poster are invited to submit a one-page abstract in SIGPLAN conference style http://www.acm.org/sigs/sigplan/authorInformation.htm to the Web site https://www.softconf.com/s08/icfp08-posters/submit.html by June 30, 2008. The program committee will review the submissions for relevance and interest, and notify the authors by July 14, 2008. Accepted posters must be presented by the authors in person on Sunday, September 21, 2008. Important dates: Submission: Monday, June 30, 2008 Notification: Monday, July 14, 2008 Presentation: Sunday, September 21, 2008 Program committee: Benjamin Pierce (University of Pennsylvania) Colin Runciman (University of York) Chung-chieh Shan (Rutgers University) From byorgey at seas.upenn.edu Wed Jun 25 17:10:31 2008 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Wed Jun 25 17:02:07 2008 Subject: [Haskell] Haskell Weekly News: Issue 74 - June 25, 2008 Message-ID: <20080625211031.GA31043@minus.seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080625 Issue 74 - June 25, 2008 --------------------------------------------------------------------------- Welcome to issue 74 of HWN, a newsletter covering developments in the [1]Haskell community. This week, you'll notice a bit more detail in the 'Blogs' section. I've added summaries to some of the posts, to help you decide which you might be interested to read (only a few this week, since I added them at the last minute). I've also >>> highlighted blogs not syndicated on Planet Haskell---mostly people who have just begun learning Haskell and decided to blog about it. Go show them some comment love, and invite them into the community! Community News Andrew Wagner (chessguy) recently flew out to Microsoft for an interview with their Live Search team. In [2]an email to the cafe, he shares some stories from his experience and some interesting coding challenges. Announcements HAppS self-demoing tutorial. Thomas Hartman [3]announced a self-demoing, HStringTemplate-using intro to HAppS. Check out the [4]live demo or obtain it [5]from Hackage. NWFP Interest Group. Greg Meredith [6]announced the next monthly meeting of the NW Functional Programmers Interest group, 6:30 on June 25 at the Seattle Public Library. Greg will talk about a very cool [7]compositional representation of graphs he's been tinkering with recently. ICFP final call for posters. Matthew Fluet [8]announced the final call for proposals for the ICFP 2008 poster session, which should be [9]submitted by June 30. Let people know what you're working on! type-level and parameterized-data packages. Alfonso Acosta [10]announced the release of the [11]type-level and parameterized-data packages, which provide type-level computation and parameterized types a la a dependently-typed system. Lambda in the sun. James Iry [12]announced the creation of [13]Southern California Functional Programmers (SoCalFP), a group for people in LA, Orange County, and San Diego to meet to discuss, debate, present, and learn about functional programming concepts and techniques in various languages. Real World Haskell. Bryan O'Sullivan [14]announced the availability of ten new draft chapters of [15]Real World Haskell, the upcoming O'Reilly book being written by Bryan, John Goerzen, and Don Stewart. In case you were worried, yes, you'll be able to have one in your Christmas stocking! Pugs on hackage!. Audrey Tang has uploaded to Hackage [16]version 6.2.13.2 of [17]Pugs, an implementation of Perl 6 in Haskell. Literal programming with rst-literals. Martin Blais [18]described a neat use of his utility [19]rst-literals to extract Haskell code from ReST documents, enabling a different style of literate programming. Pipe 1.0. Matti Niemenmaa [20]announced the release of [21]Pipe, a library for piping data through a pipeline of processes. HUnit. Richard Giraud [22]announced that he has improved the HUnit documentation and published the changes in a [23]darcs repository. hback. Norbert Wojtowicz [24]announced a new release of [25]hback, a Haskell implementation of the [26]dual n-back memory game using [27]gtk2hs. Google Summer of Code Progress updates from participants in the 2008 [28]Google Summer of Code. Hoogle 4. Neil Mitchell (ndm) is working on Hoogle 4, and recently [29]added two new features, multi-word search and intelligent suggestions. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a physics engine using [30]Data Parallel Haskell. [31]This week he intended to implement simple ad-hoc cubic collision geometry to test collisions with rotation, but the code became too cumbersome and non-extensible. He took a break to read some papers, and found [32]a better solution. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. [33]This week he worked on adding arbitrary user-specified phases to GHC, implementing a control system, pipeline generation, and [34]Template Haskell integration. Next he plans to work on a plugin annotation system. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a make-like dependency analysis framework for Cabal. He has posted [35]a detailed explanation of his project, some of the issues involved, and his progress so far. Language.C. Benedikt Huber (visq) is working on Language.C, a standalone parser/pretty printer library for C99. This week he worked on AST documentation and improvements, prepared to port the AST analysis from c2hs, and worked on the pretty printer's internals. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. Recently he has worked on implementing some [36]bitpacking tools to save memory. GHC API. Thomas Schilling (nominolo) is supposedly working on [37]improvements to the GHC API. However, officials at HWN headquarters have begun privately speculating that Thomas does not, in fact, exist. Discussion history of tuples vs pairs. Conal Elliott [38]asked about the history of support for n-tuples in Haskell and ML. hackageDB maintainer policy. Ross Paterson began a lengthy [39]discussion towards agreeing on a policy for uploading packages to Hackage, specifying whether the package is maintained and who is maintaining it, and other related issues. What is a rigid type variable?. Xiao-Yong Jin [40]asked what the 'rigid type variables' are that are sometimes referred to in GHC error messages. Read the thread for a concise discussion and the solution to the original problem. Map interface. Jamie Brandon started a [41]thread asking for feedback on his proposed API for generic tries, and the discussion is still ongoing. Left and right folds. George Kangas [42]exhibited a pair of very elegant alternate definitions for left and right fold, and showed how this alternate viewpoint makes obvious several algebraic identities as well as the generalization to [43]Data.Foldable. A must-read for the aspiring functional programmer. ribbonsPerLine. Alfonso Acosta asked an interesting [44]question about "ribbonsPerLine" in the Text.PrettyPrint.HughesPJ library. Do you know what it does? The answer can be found in the [45]original paper describing the library. Jobs PhD position at University of Strathclyde, Glasgow. Simon Marlow [46]announced, on behalf of Patricia Johann, an open PhD position in operational and categorical approaches to parametricity. The funded position is in the newly-formed Mathematically Structured Programming group at the University of Strathclyde, comprising Neil Ghani, Patricia Johann, and Conor McBride. Quantitative Trading Developer Position at Hutchin Hill Capital. Neil Mehra [47]announced an open position for a Quantitative Trading Developer at Hutchin Hill Capital, a newly formed multi-strategy hedge fund located in midtown Manhattan. Blog noise [48]Haskell news from the [49]blogosphere. * >>> Blockcipher: [50]Converting Geospatial Coordinates. Blockcipher has had enough of reading Haskell tutorials, and is itching to actually create something useful! * Roman Cheplyaka: [51]V-Clip algorithm (status update). An update on Roman's Google Summer of Code project. * Andy Gill: [52]Memo class using type families. * >>> blueapple: [53]Project Euler. blueapple is hooked on [54]Project Euler and has been using it as an opportunity to learn Haskell. * >>> Dinesh Pillay: [55]Haskell & Type Inference. Dinesh has been learning Haskell for just a few days now and is really enjoying it. In this post he shares a problem he was having with types and its solution. * Don Stewart (dons): [56]Daily Haskell: Download and analyse logs, then generate sparklines. A new series on gluing Hackage libraries together to get things done. * Max Bolingbroke: [57]Compiler Plugins For GHC: Week Two. An update on Max's Google Summer of Code project. * Edward Kmett: [58]Paramorphism. * Edward Kmett: [59]Catamorphism. * Edward Kmett: [60]Recursion Schemes: A Field Guide. Edward is writing up a 'field guide' to all those 'foomorphism' recursion schemes. * Neil Mitchell: [61]GSoC Hoogle: Week 4. * Real World Haskell: [62]Ten new draft chapters. * Jamie Brandon: [63]Bitpacking. Updates on Jamie's Google Summer of Code project. * Jamie Brandon: [64]Finally!. * Brent Yorgey: [65]ZipEdit. Brent describes a new library for creating simple interactive list editors. * Real-World Haskell: [66]Video of my concurrent/multicore Haskell talk is up. * Roman Cheplyaka: [67]Status report: week 4. An update on Roman's Google Summer of Code project. * Osfameron: [68]More Countdown: laziness, Scheme, and German frogs. * Andrea Vezzosi (Saizan): [69]a dependency analysis framework for Cabal. * Osfameron: [70]Schwartzian transform in Haskell. * Neil Mitchell: [71]Hoogle 4 New Features. * Thomas M. DuBuisson: [72]Past and Future libraries. * >>> codeflow: [73]Haskell + a grain of Python. codeflow talks about his experience learning Haskell and functional programming. * >>> Peter Christensen: [74]Hey Language Snobs: Don't Pinch Pennies. * >>> Micah Elliott: [75]1983-96: The Golden Age of Programming Languages. Quotes of the Week * povman: when does ghc6.10 plan to release itself? * Baughn: So I just rewrote a fairly complex text extraction/indexing system to pipeline its work across several processors - painlessly, in less than five minutes. Bravo, haskell! * monochrom: We need to cabalise Cale. * Botje: h0t (monoid `mappend` monoid) action? * quicksilver: the only tool we have in haskell98 for performing an action is the magic sigil 'main =' * solrize: haskell has a very steep unlearning curve :) * Botje: drug users pass around needles, haskell users pass around Oleg papers * qwe1234: i know haskell, ocaml, scheme and prolog better than you ever will. About the Haskell Weekly News New editions are posted to [76]the Haskell mailing list as well as to [77]the Haskell Sequence and [78]Planet Haskell. [79]RSS is also available, and headlines appear on [80]haskell.org. Headlines are available as [81]PDF. To help create new editions of this newsletter, please see the information on [82]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [83]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41760 3. http://www.haskell.org/pipermail/haskell-cafe/2008-June/044696.html 4. http://rippledeals.com:5001/ 5. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial 6. http://www.haskell.org/pipermail/haskell-cafe/2008-June/044671.html 7. http://biosimilarity.blogspot.com/2008/06/algebra-of-graphs-individually-and.html 8. http://article.gmane.org/gmane.comp.lang.haskell.general/16263 9. https://www.softconf.com/s08/icfp08-posters/submit.html 10. http://www.haskell.org/pipermail/haskell-cafe/2008-June/044630.html 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16260 13. http://socalfp.blogspot.com/ 14. http://www.realworldhaskell.org/blog/2008/06/22/ten-new-draft-chapters/ 15. http://www.realworldhaskell.org/blog/ 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Pugs-6.2.13.2 17. http://pugscode.org/ 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41621 19. http://furius.ca/pubcode/pub/conf/common/bin/rst-literals.html 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41619 21. http://iki.fi/matti.niemenmaa/pipe/ 22. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/14661 23. http://richardg.name/ 24. http://article.gmane.org/gmane.comp.lang.haskell.general/16252 25. http://code.google.com/p/hback/ 26. http://www.pnas.org/cgi/content/abstract/0801268105v1 27. http://www.haskell.org/gtk2hs/ 28. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 29. http://neilmitchell.blogspot.com/2008/06/hoogle-4-new-features.html 30. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 31. http://physics-dph.blogspot.com/2008/06/status-report-week-4.html 32. http://physics-dph.blogspot.com/2008/06/v-clip-algorithm-status-update.html 33. http://blog.omega-prime.co.uk/2008/06/23/compiler-plugins-for-ghc-week-two/ 34. http://www.haskell.org/haskellwiki/Template_Haskell 35. http://vezzosi.blogspot.com/2008/06/my-summer-of-code-project-dependency.html 36. http://jamiiecb.blogspot.com/2008/06/gsoc-week-1.html 37. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 38. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41749 39. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9334 40. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41651 41. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9259 42. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41607 43. http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Foldable.html 44. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41506 45. http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps 46. http://article.gmane.org/gmane.comp.lang.haskell.general/16253 47. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41584 48. http://planet.haskell.org/ 49. http://haskell.org/haskellwiki/Blog_articles 50. http://idea-guy.blogspot.com/2008/06/converting-geosptial-coordinates.html 51. http://physics-dph.blogspot.com/2008/06/v-clip-algorithm-status-update.html 52. http://blog.unsafeperformio.com/?p=30 53. http://blueappledev.wordpress.com/2008/06/24/project-euler/ 54. http://projecteuler.net/ 55. http://dpillay.blogspot.com/2008/06/haskell-type-inference.html 56. http://www.cse.unsw.edu.au/~dons/blog/2008/06/24#daily-haskell-one 57. http://blog.omega-prime.co.uk/2008/06/23/compiler-plugins-for-ghc-week-two/ 58. http://comonad.com/reader/2008/paramorphism/ 59. http://comonad.com/reader/2008/catamorphism/ 60. http://comonad.com/reader/2008/recursion-schemes/ 61. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-4.html 62. http://www.realworldhaskell.org/blog/2008/06/22/ten-new-draft-chapters/ 63. http://jamiiecb.blogspot.com/2008/06/bitpacking.html 64. http://jamiiecb.blogspot.com/2008/06/finally.html 65. http://byorgey.wordpress.com/2008/06/21/zipedit/ 66. http://www.realworldhaskell.org/blog/2008/06/20/video-of-my-concurrentmulticore-haskell-talk-is-up/ 67. http://physics-dph.blogspot.com/2008/06/status-report-week-4.html 68. http://osfameron.vox.com/library/post/more-countdown-laziness-scheme-and-german-frogs.html?_c=feed-atom 69. http://vezzosi.blogspot.com/2008/06/my-summer-of-code-project-dependency.html 70. http://osfameron.vox.com/library/post/schwartzian-transform-in-haskell.html?_c=feed-atom 71. http://neilmitchell.blogspot.com/2008/06/hoogle-4-new-features.html 72. http://tommd.wordpress.com/2008/06/18/past-and-future-libraries/ 73. http://codeflow.wordpress.com/2008/06/18/haskell-a-grain-of-python/ 74. http://www.pchristensen.com/blog/articles/hey-language-snobs-dont-pinch-pennies/ 75. http://micahelliott.blogspot.com/2008/06/1983-96-golden-age-of-programming.html 76. http://www.haskell.org/mailman/listinfo/haskell 77. http://sequence.complete.org/ 78. http://planet.haskell.org/ 79. http://sequence.complete.org/node/feed 80. http://haskell.org/ 81. http://code.haskell.org/~byorgey/code/hwn/archives/20080625.pdf 82. http://haskell.org/haskellwiki/HWN 83. http://code.haskell.org/~byorgey/code/hwn/ From wiiat at kis-lab.com Wed Jun 25 22:32:00 2008 From: wiiat at kis-lab.com (WI-IAT'08) Date: Wed Jun 25 22:23:33 2008 Subject: [Haskell] Final CFP: IEEE/WIC/ACM IAT-2008 [DL: July 10] Message-ID: <200806261131595705963@kis-lab.com> [Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2008 CALL FOR PAPERS ##################################################################### 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-08) December 9-12, 2008, Sydney, Australia Official Site: http://datamining.it.uts.edu.au/wi08/html/iat/ Mirror Site: http://www.maebashi-it.org/wi-iat08/iat08/index.html Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ################################################################## # (Papers Due: *** 10 July 2008 *** # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press, which are indexed by EI. ################################################################## IAT 2008 provides a leading international forum to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics, to (1) examine the design principles and performance characteristics of various approaches in intelligent agent technology, and (2) increase the cross-fertilization of ideas on the development of autonomous agents and multi-agent systems among different domains. By encouraging idea-sharing and discussions on the underlying logical, cognitive, physical, and sociological foundations as well as the enabling technologies of intelligent agents, IAT 2008 will foster the development of novel paradigms and advanced solutions in agent-based computing. IAT 2008 will be jointly held with the 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI-08). The two conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions, tutorials, panels, exhibits and demonstrations across the two conferences. We are also planning a joint panel, joint paper sessions, and doctor symposium that discuss common problems in the two areas. +++++++++++++++++++ Topics of Interest +++++++++++++++++++ We invite submissions in all IAT related areas. Papers exploring new directions or areas will receive a careful and supportive review. Areas of interest include, but are not limited to: * Autonomy-Oriented Computing (AOC) - Agent-Based Complex Systems Modeling and Development - Agent-Based Simulation - Autonomy-Oriented Modeling and Computation Methods - Behavioral Self-Organization - Complex Behavior Characterization and Engineering - Emergent Behavior - Hard Computational Problem Solving - Nature-Inspired Paradigms - Self-Organized Criticality - Self-Organized Intelligence - Swarm Intelligence * Autonomous Knowledge and Information Agents - Agent-Based Distributed Data Mining - Agent-Based Knowledge Discovery And Sharing - Autonomous Information Services - Distributed Knowledge Systems - Emergent Natural Law Discovery in Multi-Agent Systems - Evolution of Knowledge Networks - Human-Agent Interaction - Information Filtering Agents - Knowledge Aggregation - Knowledge Discovery - Ontology-Based Information Services * Agent Systems Modeling and Methodology - Agent Interaction Protocols - Cognitive Architectures - Cognitive Modeling of Agents - Emotional Modeling - Fault-Tolerance in Multi-Agent Systems - Formal Framework for Multi-Agent Systems - Information Exchanges in Multi-Agent Systems - Learning and Self-Adaptation in Multi-Agent Systems - Mobile Agent Languages and Protocols - Multi-Agent Autonomic Architectures - Multi-Agent Coordination Techniques - Multi-Agent Planning and Re-Planning - Peer-to-Peer Models for Multi-Agent Systems - Reinforcement Learning - Social Interactions in Multi-Agent Systems - Task-Based Agent Context - Task-Oriented Agents * Distributed Problem Solving - Agent-Based Grid Computing - Agent Networks in Distributed Problem Solving - Collective Group Behavior - Coordination and Cooperation - Distributed Intelligence - Distributed Search - Dynamics of Agent Groups and Populations - Efficiency and Complexity Issues - Market-Based Computing - Problem-Solving in Dynamic Environments * Autonomous Auctions and Negotiation - Agent-Based Marketplaces - Auction Markets - Combinatorial Auctions - Hybrid Negotiation - Integrative Negotiation - Mediating Agents - Pricing Agents - Thin Double Auctions * Applications - Agent-Based Assistants - Agent-Based Virtual Enterprise - Embodied Agents and Agent-Based Systems Applications - Interface Agents - Knowledge and Data Intensive Systems - Perceptive Animated Interfaces - Scalability - Social Simulation - Socially Situated Planning - Software and Pervasive Agents - Tools and Standards - Ubiquitous Systems and E-Technology Agents - Ubiquitous Software Services - Virtual Humans - XML-Based Agent Systems ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ High-quality papers in all IAT related areas are solicited. Paper submissions should be limited to a maximum of 7 pages in the IEEE 2-column format, the same as the camera-ready format (see the Author Guidelines of last year at http://www.ieeeconfpublishing.org/cpir/AuthorKit.asp?Community=CPS&Facility=CPS_Nov&ERoom=IAT+2007). All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Note that IAT'08 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form on the IAT'08 website to submit your paper. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press that are indexed by EI. Submissions accepted as regular papers will be allocated 7 pages in the proceedings and accorded oral presentation times in the main conference. Submissions accepted as short papers will be allocated 4 pages in the proceedings and will have a shorter presentation time at the conference than regular papers. All co-authors will be notified at all time, for the submission, notification, and confirmation on the attendance. Submitting a paper to the conference and workshops means that, if the paper is accepted, at least one author should attend the conference to present the paper. The acceptance list and no-show list will be openly published on-line. For no-show authors, their affiliations will receive a notification. A selected number of IAT'08 accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal (http://wi-consortium.org/journal.html) and in Annual Review of Intelligent Informatics (http://www.wi-consortium.org/annual.html) The best paper awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions will be considered for the best application paper award. More detailed instructions and the On-Line Submission Form can be found from the IAT'08 homepage: http://datamining.it.uts.edu.au/wi08/html/iat/. ++++++++++ Workshops ++++++++++ As an important part of the conference, the workshop program will focus on new research challenges and initiatives. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press that are indexed by EI, and will be available at the workshops. Detailed information is available at the conference homepage. Accepted Workshops: =================== Workshop on Collective Intelligence in Semantic Web and Social Networks Workshop on Web Information Retrieval Support Systems Workshop on Web Personalization, Reputation and Recommender Systems Workshop on Intelligent Web Interaction Workshop on Intelligent e-government Workshop on New Computing Paradigms for Web Intelligence meets Brain Informatics Workshop on Fuzzy Logic On the Web Workshop on Natural Language Processing and Ontology Engineering Workshop on Web Intelligence & Intelligent Agent Technology in e-Learning Workshop on Computational Social Networks Workshop on Optimization-based Data Mining and Web Intelligence Workshop on Human Aspects in Ambient Intelligence: Agent Technology, Human-Oriented Knowledge and Applications Workshop on e-Commerce, Business, and Services Workshop on Agents and Data Mining Interaction Workshop on P2P Computing and Autonomous Agents Workshop on Logics for Intelligent Agents and Multi-Agent Systems Workshop on Data Mining in Bioinformatics 2008 WI-IAT Doctoral Workshop Note: we will not have a separate workshop registration fee (i.e., conference registration covers everything). ++++++++++ Tutorials ++++++++++ IAT'08 also welcomes Tutorial proposals. IAT'08 will include tutorials providing in-depth background on subjects that are of broad interest to the Web intelligence community. Both short (2 hours) and long (half day) tutorials will be considered. The tutorials will be part of the main conference technical program. Detailed information is available at the conference homepage. Note: we will not have a separate tutorials registration fee (i.e., only one conference registration covers everything). ++++++++++++++++++++ Industry/Demo-Track ++++++++++++++++++++ We solicit Industry/Demo-Track papers by the following methods. (1) Industry papers of 4 pages can be submitted on the same schedule as the research track. (2) Separate 2 page demo proposals can submitted at a later schedule. (3) Full regular paper submissions can include a demo option. That is, a full paper submissions will be asked to specify if they would like to give a demonstration; choice of demonstrations (while utilizing information from the regular reviewing process) will be selected based on value as a demonstration. For options (1) and (2), please find more detailed instructions at the homepage: http://datamining.it.uts.edu.au/wi08/html/iat/ ++++++++++++++++ Important Dates ++++++++++++++++ * Workshop proposal submission: April 10, 2008 * Electronic paper submission (7 pages): July 10, 2008 * Tutorial proposal submission: July 10, 2008 * Workshop paper submission: July 30, 2008 * Author notification: September 3, 2008 * Conference dates: December 9-12, 2008 ++++++++++++++++++++++++ Conference Organization ++++++++++++++++++++++++ Conference General Chairs: * Chengqi Zhang, University of Technology, Sydney, Australia * Nick Cercone, York University, Canada Program Chair: * Lakhmi Jain, University of South Australia, Australia IAT Program Co-Chairs: * Maria Gini, University of Minnesota, USA * Boi B. Faltings, Swiss Federal Institute of Technology, Swiss * Takao Terano, Tokyo Institute of Technology, Japan WI Program Co-Chairs: * Pawan Lingras, Saint Mary's University, USA * Matthias Klusch, German Research Center for AI, Germany * Jie Lu, University of Technology, Sydney, Australia Organizing Chair: * Longbing Cao, University of Technology, Sydney, Australia Workshop Co-Chairs: * Yuefeng Li, Queensland University of Technology, Australia * Gabriella Pasi, University of Milano, Italy Tutorial Chair: * Ajith Abraham, Norwegian University of science and Technology, Norway Industry/Demo-Track Chair: * Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Publicity Co-Chairs: * Ioannis E. Anagnostopoulos, University of the Aegean, Greece * Jia Hu, International WIC Institute/BJUT, China * Richi Nayak, Queensland University of Technology, Australia IEEE-CS-TCII Chair: * Ning Zhong, Maebashi Institute of Technology, Japan ACM-SIGART Chair * Maria Gini, University of Minnesota, USA WIC Co-Chairs/Directors: * Ning Zhong, Maebashi Institute of Technology, Japan * Jiming Liu, University of Windsor, Canada WIC Advisory Board: * Edward A. Feigenbaum, Stanford University, USA * Setsuo Ohsuga, Waseda University, Japan * Benjamin Wah, University of Illinois, Urbana-Champaign, USA * Philip Yu, University of Illinois, Chicago, USA * L.A. Zadeh, University of California, Berkeley, USA WIC Tech. Committee & WI/IAT Steering Committee: * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Nick Cercone, York University, Canada * Dieter Fensel, University of Innsbruck, Austria * Georg Gottlob, Oxford University, UK * Lakhmi Jain, University of South Australia, Australia * Jianchang Mao, Yahoo! Inc., USA * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France * Hiroshi Motoda, Osaka University, Japan * Toyoaki Nishida, Kyoto University, Japan * Andrzej Skowron, Warsaw University, Poland * Jinglong Wu, Kagawa University, Japan * Xindong Wu, University of Vermont, USA * Yiyu Yao, University of Regina, Canada *** Contact Information *** The WIC Office Email: wi08@wi-consortium.org From voigt at tcs.inf.tu-dresden.de Thu Jun 26 02:59:50 2008 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Thu Jun 26 02:45:40 2008 Subject: [Haskell] Passing on a job opening Message-ID: <48633E66.3000407@tcs.inf.tu-dresden.de> Hi all, I received below job opening. It might be of interest to some people on this list (formal methods, theorem provers, ...). The contact is rmgatto@rockwellcollins.com. Ciao, Janis. ================ www.rockwellcollins.com Quick RC facts: 2007 sales were $4.42 billion and we have 20,000 employees in 60 locations in 27 different countries. www.rockwellcollins.com AUT0000000O- Sr Systems Engineer This position is for a computer scientist or engineer to develop and apply automated analysis to computer systems and to pursue research in formal methods and automated reasoning. Ongoing investigations apply automated reasoning tools to validate hardware, firmware, and software of systems with critical security and/or safety functionality. The position is within a research group that is improving both the state of the art and the state of the practice for the development of high assurance systems. Candidates must have excellent communication skills and the ability to work in a team environment. Candidates for employment in Rockwell Collins? Advanced Technology Center must have excellent problem-solving skills, be self-motivated, and be willing to learn new technologies. Candidates must be able to obtain a DoD Security Clearance. Candidates should have training/experience in modeling using formal specification languages and the use of automated theorem provers (ACL2, PVS, HOL, etc) and/or model checkers (SPIN, SMV, etc). Experience in specifying, architecting, implementing, verifying, or certifying embedded systems, especially critical avionics or secure systems, is beneficial. This job level requires a Bachelor's Degree in applicable engineering or science field or equivalent and a minimum of 6 years of related experience. Outstanding candidates with less or more education/experience are encouraged to apply so as to be considered for other positions in the same group. Applicant must be capable of obtaining a US Department of Defense (DoD) security clearance. US Citizenship is required. From tase08 at seg.nju.edu.cn Fri Jun 27 03:51:15 2008 From: tase08 at seg.nju.edu.cn (tase08) Date: Fri Jun 27 03:42:44 2008 Subject: [Haskell] HASE 2008 - Last CfP - 3 days left for paper submission Message-ID: ***We apologise if you have received multiple copies of this call for papers.*** Please circulate to colleagues who might be interested. HASE 2008 11th High Assurance Systems Engineering Symposium Nanjing, China December 3-5, 2008 http://cs.nju.edu.cn/hase08/main.html Call for Papers The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of high assurance systems engineering. Topics of interests for the symposium include, but are not limited to: *Design and development of highly reliable, survivable, secure, safe, and time-assured systems *Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods *Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems *Formal specification, specification validation, testing, and model checking for high assurance systems *High assurance software architecture and design *Transformation-based and evolutionary-based system development *Reconfigurable system design for evolving high assurance requirements *Dynamic monitoring and adaptation for run-time assurance *High assurance web services *High assurance information/knowledge systems and data grids *High assurance embedded systems, ubiquitous systems and sensor networks *Extending web service specifications for reliability, safety, security, privacy, trust, and other QoS properties *Assurance techniques for service-oriented systems CALL FOR FAST ABSTRACTS Contributions for the Fast Abstract track of HASE 2008 are solicited. The fast abstracts aim to serve as a rapid and flexible mechanism to o Discuss industrial experiences and achievements o Report on research work in progress o Introduce new ideas to the community o State positions on controversial issues or open problems Works related to high assurance systems engineering fitting the categories described above are welcome. Authors from industry, government, and academia are encouraged to submit Fast Abstracts. Fast Abstracts will not be formally refereed. Instead, the HASE'08 Fast Abstracts Committee will screen the submissions. The criteria for acceptance will be i) relevance and interest to the community and ii) timeliness of the material. Submission Guidelines: Research Papers: Original, previously unpublished papers are solicited. Maximum 10 pages, standard IEEE double-column format. Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard IEEE double-column format. Authors of accepted Fast Abstracts will present a short talk approximately 10-15 min) at HASE 2008 Fast Abstract sessions. Important Dates: * June 30, 2008: Paper submission deadline (extended) * July 10, 2008: Fast Abstract submission deadline * August 1, 2008: Acceptance/rejection notification * August 29, 2008: Camera-ready version due * December 3-5, 2008: HASE 2008 Organization: General Chairs: Jian Lu, Nanjing University (China) Program Co-chairs: Xuandong Li, Nanjing University (China) Carol S. Smidts, Ohio State University US (North/South America) Jie Xu, University of Leeds (Europe) Finance Chair: Xin Chen, Nanjing University (China) Publicity Chair: Jing Dong, University of Texas at Dallas (US) Registration Chair: JianHua Zhao, Nanjing University (China) 　　　　　　　　　 Local Organization Chair: Linzhang Wang, Nanjing University, (China) Program Committee: Farooq Ahmad (National University of Sciences and technology, Pakistan) Masaki Aida (Tokyo Metropolitan University, Japan) Xiaoying Bai (Tsinghua University, China) Farokh Bastani (University of Texas at Dallas, USA) Andrea Bondavali(University of Florence, Italy) Guillaume Brat (USRA-RIACS, USA) Taolue Chen(CWI, Netherlands) Michel Cukier (University of Maryland at College Park, USA) John Davies(BAE Systems, UK) JinSong Dong (National University of Singapore,Singapore) Felicita Di Giandomenico(CNR, Italy) Arif Ghafoor (Purdue University, USA) Swapna Gokhale (University of Connecticut, USA) Katerina Goseva-Popstojanova (West Virginia University, USA) Mats Heimdahl (University of Minnesota, USA) Mike Henshaw(Loughborough University, UK) Ravi Iyer (University of Illinois at Urbana-Champaign, USA) Phil John(Cranfield University, UK) Yoshiaki Kakuda (Hiroshima City University, Japan) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Xiaodong Lu (Tokyo Institute of Technology, Japan Michael Lyu (Chinese University of Hong Kong, China) Miroslaw Malek( Humboldt University, Germany) Hong Mei (Peking University, China) Graham Morgen(University of Newcastle, UK) Kinji Mori (Tokyo Institute of Technology, Japan) Hiroaki Morino (Shibaura Institue of Technology, Japan) Gilles Muller(EMN, France) Edgar Nett(University of Magdeburg. Germany) Jun Pang (University of Luxembourg, Luxembourg) Steven Roach (University of Texas at El Paso, USA) Manuel Rodriguez (Ohio State University, USA) Luigi Romano(University of Napoli, Italy) Eugene Santos (Dartmouth College, USA) Man-Tak Shing (Naval Postgraduate School, USA) Zhendong Su (University of California at Davis, USA) Yongdong Tan (Southwest Jiaotong University, China) Paul Townend(University of Leeds, UK) Helene Waeselynck(LAAS-CNRS, France) Farn Wang (National Taiwan University Taiwan, China) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang (Nanjing University, China) Victor Winter (University of Nebraska at Omaha, USA) Eric Wong (University of Texas at Dallas, USA) Dianxiang Xu (North Dakota State University, USA) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brooks University, UK) Huibiao Zhu (East China Normal University, China) Steering Program Committee Taghi M. Khoshgoftaar, Florida Atlantic University Kinji Mori, Tokyo Institute of Technology Raymond Paul, Department of Defense Chair) Wei-Tek Tsai, Arizona State University Victor Winter, University of Nebraska,Omaha I-Ling Yen, University of Texas at Dallas Keynote Speakers TBD -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20080627/4f70ae0b/attachment.htm From wss at Cs.Nott.AC.UK Mon Jun 30 07:15:46 2008 From: wss at Cs.Nott.AC.UK (Wouter Swierstra) Date: Mon Jun 30 07:07:02 2008 Subject: [Haskell] CFP - Special Issue of Fundamenta Informaticae on Dependently Typed Programming Message-ID: <0F095B60-379F-44FC-846D-05D2FDDEFA7E@Cs.Nott.AC.UK> After our workshop in Nottingham, are happy to announce a special issue of Fundamenta Informaticae on Dependently Typed Programming. We would like to welcome submissions from the Haskell community on type- directed programming, generic programming, programming with GADTs, and advanced type systems amongst other things. Call for Papers: Special Issue of Fundamenta Informaticae (http://fi.mimuw.edu.pl/) Dependently Typed Programming (http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html) Editors: Thorsten Altenkirch (Nottingham) Tarmo Uustalu (Tallinn) Dependently typed programming is using the power of dependent types to capture relationships between data, internalising invariants necessary for appropriate computation. When data describe types, we can express patterns of programming in code. To capture this potential a number of languages have been proposed and implemented which incorporate some aspects of dependent types, e.g. Agda, ATS, Cayenne, Coq's CIC, Concoqtion, DML, Delphin, ELF, Epigram, Omega, OpTT, Pie, PiSigma, Ynot for a non-exhaustive list. Within the European TYPES project we have organized two workshops to discuss aspects of dependently programming: - EffTT, Workshop on Effects and Type Theory http://cs.ioc.ee/efftt/ Tallinn, Estonia, December 2007 - DTP08, Dependently Typed Programming 2008 http://sneezy.cs.nott.ac.uk/darcs/DTP08/ Nottingham, UK, February 2008 The special issue is motivated by the desire to give people who have presented their ideas at those workshops the opportunity to publish papers on their work. However, we would like to invite everybody working in this area to submit papers to the special issue. For a more complete list of topics, please consult the workshop pages following the links above. The paper should follow the usual standards of journal papers, and should be submitted by email (preferable pdf) to one of the editors before 1 October 2008. We expect that the papers don't exceed 20 pages (see the FI webpage for style files). We hope to be able to stick to the following schedule: Deadline for submissions: 1 October 08 Notification of acceptance: 15 January 2009 Final versions due: 15 March 2009