November 2005 - Haskell

RE: [Haskell] Making Haskell more open
by Simon Marlow 13 Nov '05

13 Nov '05

On 11 November 2005 12:57, Wolfgang Jeltsch wrote: > Am Donnerstag, 10. November 2005 12:27 schrieb Simon Peyton-Jones: >> [...] > >> - Work is afoot to move GHC's source-code repository to Darcs, to >> make it easier for people to contribute patches > > Is it planned to split the current big monolithic repository into > multiple repositories in conjunction with doing the CVS-to-darcs > transition? I'd strongly recommend this. What do others think? We do plan to split the repository into several chunks, and over time some of the libraries will migrate into their own repositories. Here is the current plan: http://www.haskell.org//pipermail/cvs-ghc/2005-November/027174.html >> [...] > >> * The GHC user manual [currently generated using DocBook] > > I think it should continue to be written in DocBook. (It should > switch to DocBook XML if it's still using SGML DocBook.) XML > documents are "type-safe" in contrast to LaTeX documents, for > example. XML is well supported. DocBook stresses logical markup and > allows very specific markup and therefore supports conversion into > different formats (HTML, PDF, ...) very well. > Again, what do others think? We already use DocBook XML, and I'm relatively pleased with it, except for the fact that it's far from easy to set up a working DocBook toolchain on your system unless your OS of choice is up to date and has a well-maintained set of DocBook packages. Cheers, Simon

7 8

Re[4]: [Haskell] Haskell users survey--please respond!
by Bulat Ziganshin 12 Nov '05

12 Nov '05

Hello John, Saturday, November 12, 2005, 2:00:13 AM, you wrote: >> how about adding question about features people want in Haskell 1.6? JH> I'll think about this. I really liked your idea of a "permanent JH> survey"--when I get back from Argentina I'll think about setting that up. JH> Clearly, lots of people are interested in this! some more thoughts: if this survey will become permanent, it will can - and even need - to become larger. someone can log in, answer several questions, logout, then answer next several questions on next day and so on i don't know what will say about this idea GHC team, but my first candidate to including in this "permanent survey" is obvious - the GHC survey we are filled in March. i also more like it's organization - several variants of answers and free-form fields for comments moreover, it will be interseting if anyone will have ability to add not only new answer variants, but new questions and even whole new categories and sub-categories. so, one day Simon itself can log in, add "GHC" section, "features" subsection, "optimization" sub-subsection and write several questions in this sub-subsection. next day i will log in and add section "My SuperLib" and ask what i want. third day John will publish his proposal about hyper-classes and give us hyper-link to place where we immediately can vote for or against this proposal it will be like magic. and tommorrow all wiki systems will add this feature to their abilities :) one feature i found interesting on www.ruby-lang.org site is regular polls about adding new features to the language. i think that by establishing user-extensible questionnaire with permanent database we can go even further and make possible to everyone easily gather opinions about everything related to Haskell -- Best regards, Bulat mailto:bulatz@HotPOP.com

1 0

SAS 2006: First Call for Paper
by Kwangkeun Yi 12 Nov '05

12 Nov '05

***************************************************************************** First Call For Papers The 13th International Static Analysis Symposium (SAS'06) Seoul, Korea 29-31 August 2006 http://ropas.snu.ac.kr/sas06 ***************************************************************************** IMPORTANT DATES Submission: 7 April 2006 Notification: 26 May 2006 Camera-ready: 10 June 2006 SUMMARY Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The Thirteenth International Static Analysis Symposium (SAS'06) will be held in Seoul, hosted by the Seoul National University. Previous symposia were held in London, Verona, San Diego, Madrid, Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur. The technical program for SAS'06 will consist of invited lectures, tutorials, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to abstract domains abstract interpretation abstract testing bug detection data flow analysis model checking program specialization security analysis theoretical frameworks type checking verifications new applications Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcomed. SUBMISSIONS INFORMATION - All submissions be submitted electronically online via the symposium web page http://ropas.snu.ac.kr/sas06. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. - Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them. - Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. - Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. - The proceedings will be published by Springer-Verlag's Lecture Notes in Computer Science series. PROGRAM CHAIR: Kwangkeun Yi (Seoul National U., Korea) Email: kwang(a)ropas.snu.ac.kr PROGRAM COMMITTEE: Anindya Banerjee (Kansas State U., USA) Wei-Ngan Chin (National U. of Singapore, Singapore) Patrick Cousot (ENS Paris, France) Roberto Giacobazzi (U. of Verona, Italy) Chris Hankin (Imperial College, UK) Luddy Harrison (U. of Illinois at Urbana-Champaign, USA) Naoki Kobayashi (Tohoku U., Japan) Oukseh Lee (Hanyang U., Korea) Alan Mycroft (U. of Cambridge, UK) Kedar Namjoshi (Bell Labs., USA) Jens Palsberg (UCLA, USA) Andreas Podelski (Max-Planck-Institut, Germany) Ganesan Ramalingam (IBM T.J.Watson, USA) Radu Rugina (Cornell U., USA) Harald Sondergaard (U. of Melbourne, Australia) Zhendong Su (UC Davis, USA) Reinhard Wilhelm (U. des Saarlandes, Germany) Kwangkeun Yi (Seoul National U., Korea) ************************************************************************

1 0

CfP LDTA 2006
by Eric Van Wyk 11 Nov '05

11 Nov '05

Call for Papers for Sixth Workshop on Language Descriptions, Tools and Applications LDTA 2006 A satellite event of ETAPS 2006 in Cooperation with ACM SIGPLAN Saturday, April 1, 2006 in Vienna, Austria http://ldta06.cs.umn.edu Scope: ------ The aim of this one-day workshop is to bring together researchers from academia and industry interested in the field of formal language definitions and language technologies, with a special emphasis on tools developed for or with these language definitions. This active area of research involves the following basic technologies: - Program analysis, transformation, and generation - Formal analysis of language properties - Automatic generation of language processing tools For example, language definitions can be augmented in a manner so that not only compilers or interpreters can be automatically generated but also other tools such as syntax-directed editors, debuggers, partial evaluators, test generators, documentation generators, etc. Although various specification formalisms like attribute grammars, action semantics, operational semantics, and algebraic approaches have been developed, they are not widely exploited in current practice. It is the aim of the LDTA workshops to bridge this gap between theory and practice. Among others, the following application domains can benefit from advanced language technologies: - Software component models and modeling languages - Re-engineering and re-factoring - Aspect-oriented programming - Domain-specific languages - XML processing - Visualization and graph transformation - Programming environments such as Eclipse, .net, Rotor, SUN Java, etc. The workshop welcomes contributions on all aspects of formal language definitions, with special emphasis on applications and tools developed for or with these language definitions. Invited Speaker: ---------------- The invited speaker for LDTA 2006 is Jean Bezivin, Universite de Nantes. Important Dates: ---------------- - Submission deadline: December 1, 2005. - Notification: January 16, 2006 - Final version due: February 15, 2006 - Workshop: April 1, 2006 Submission Procedure and Publication: ------------------------------------- Submission will be open from autumn 2005. Two classes of papers are solicited: full-length research papers and short tool-demo papers. Tool-demo papers should contain a brief description of the tool and include a section that clearly explains what will be demonstrated. Full-length papers should be at most 15 pages in length and tool-demo papers should be at most 4 pages in length. Both classes of papers should be submitted electronically as PostScript or PDF files to both of the program committee chairs, John Tang Boyland at Boyland(a)cs.uwm.edu and Tony Sloane at asloane(a)ics.mq.edu.au. The message should also contain a text-only abstract and contact author information. Additional submission details, along with LaTeX style files, are available on the LDTA 2006 web page: \texttt{ldta06.cs.umn.edu}. The final versions of accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, and will be made available during the workshop. The authors of the best full-length papers will be invited to write a journal version of their paper which will be separately reviewed and, assuming acceptance, be published in journal form. As in past years, this will be done in a a special issue devoted to LDTA 2006 of the journal Science of Computer Programming (Elsevier Science). Program Committee: ------------------ - Uwe Assmann, Dresden Technical University, Germany - John Tang Boyland, University of Wisconsin-Milwaukee, USA (co-chair), Boylan(a)cs.uwm.edu - Jim Cordy, Queen's University, Canada - Jan Heering, Centrum voor Wiskunde en Informatica (CWI), The Netherlands - Nigel Horspool, University of Victoria, Canada - Johan Jeuring, Utrecht University, The Netherlands - Adrian Johnstone, Royal Holloway, University of London, UK - Steven Klusener, Vrije Universiteit, The Netherlands - David Lacey, University of Warwick, United Kingdom - Brian Malloy, Clemson University, USA - Paul Roe, Queensland University of Technology, Australia - Michael Schwartzbach, BRICS, University of Aarhus, Denmark - Tony Sloane, Macquarie University, Australia (co-chair), asloane(a)ics.mq.edu.au - Yannis Smaragdakis, Georgia Institute of Technology, USA - David Watt, University of Glasgow, Scotland - David Wile, Teknowledge Corp, USA Organizing Committee: --------------------- - Eric Van Wyk, University of Minnesota, Minneapolis, USA, evw(a)cs.umn.edu - Joost Visser, University of Minho, Braga, Portugal, Joost.Visser(a)di.uminho.pt

1 0

Making Haskell more open
by Victor Blomqvist 11 Nov '05

11 Nov '05

"Simon Peyton-Jones" <simonpj at microsoft.com> writes: > The important thing is that these mechanisms should work without any > central intervention. These are just two suggestions. Perhaps there > are other such mechanisms that we could put in place. Ideas? One thing I have missed ever since I first visited haskell.org is a web forum. I guess most of the people reading/posting on the mailinglists are used to it and like it, but I prefer forums. Actually, I have never posted here before, but I usually read the (for me) intresting parts from the Haskell Archives. However, I have not read a forum-discussion yet, and since noone has proposed it I felt that I should do a post about it. /vb

9 18

RE: Re[2]: [Haskell] Making Haskell more open
by Simon Marlow 11 Nov '05

11 Nov '05

On 11 November 2005 15:48, Bulat Ziganshin wrote: > Friday, November 11, 2005, 5:51:55 PM, you wrote: > >>>> * The GHC user manual [currently generated using DocBook] >>> >>> I think it should continue to be written in DocBook. (It should >>> switch to DocBook XML if it's still using SGML DocBook.) XML >>> documents are "type-safe" in contrast to LaTeX documents, for >>> example. XML is well supported. DocBook stresses logical markup >>> and allows very specific markup and therefore supports conversion >>> into different formats (HTML, PDF, ...) very well. >>> Again, what do others think? > >> We already use DocBook XML, and I'm relatively pleased with it, >> except for the fact that it's far from easy to set up a working >> DocBook toolchain on your system unless your OS of choice is up to >> date and has a well-maintained set of DocBook packages. > > how it will be possible to contribute in ghc docs? for example, if i > wrote template haskell doc in MS Word, can i fo somethong to make it > ready to including in ghc docs? You can either author in DocBook XML directly, or send us chunks of plain text and we'll do the markup for you (obviously we prefer the former, though). Cheers, Simon

2 1

ICALP 2006 -- Call For Workshop Proposals
by Convegno ICALP '06 11 Nov '05

11 Nov '05

***** Apologies for multiple copies ***** 33rd International Colloquium on Automata, Languages and Programming ICALP 2006 S. Servolo, Venice - Italy Call for Affiliated Workshops Conference Dates: July 10-14, 2006 Affiliated Workshop Dates: July 9, 15, and 16, 2006 Researchers and practitioners are invited to submit proposals for workshops on topics related the conference tracks, namely: Algorithms, Automata, Complexity and Games (track A); Logic, Semantics, and Theory of Programming (track B); and Security and Cryptography Foundations (special track C). The purpose of the workshops is to provide participants a forum for presenting novel ideas and for discussing in a small and interactive atmosphere. The main responsibility of organising a workshop goes to the chairperson of the workshop. The format of each workshop is determined by its organisers. The workshop proposals will be selected by the ICALP organization, under advice of the ICALP PC chairs and EATCS. Proposals should include: * Name and duration (from half a day to two days) of the proposed workshop. * A short scientific summary of the topic, including a discussion on the relation with the ICALP topics. * A description of past versions of the workshop, including dates, organisers, submission and acceptance counts, attendance. * Procedures for selecting participants and papers, and expected number of participants. * Plans for dissemination (for example, published proceedings or special issues of journals). IMPORTANT DATES: November 27, 2005: Deadline for submitting workshop proposals December 16, 2005: Notification of acceptance Workshop proposals must be submitted in plain text, PDF or Postscript format by e-mail to icalp06(a)dsi.unive.it For further information consult the ICALP 2006 web site: http://icalp06.dsi.unive.it/ or contact the ICALP 2006 Workshops Chairs: - Andrea Pietracaprina <andrea.pietracaprina(a)unipd.it> - Francesco Ranzato <francesco.ranzato(a)unipd.it> - Sabina Rossi <srossi(a)dsi.unive.it>

1 0

Non-Copyleft Haskell SOAP/WSDL library?
by Ashley Yakeley 11 Nov '05

11 Nov '05

Does anyone know of a non-copyleft open-source SOAP/WSDL library for Haskell? HAIFA is GPL apparently. Something like the usual BSD license would be perfect. -- Ashley Yakeley, Seattle WA

1 0

Haskell users survey--please respond!
by John Hughes 10 Nov '05

10 Nov '05

I'm conducting a web-based survey of Haskell users to gather material for an article on the history of Haskell, and I need your help. I want to stress that I'm interested in responses from ALL users--if you're a complete beginner writing your first Haskell programs on a course, I'd like to know that, just as if you're one of the designers using it for your next POPL article. If I'm to get an accurate picture of how Haskell is used today, I need responses from as many users as possible. The survey consists of eight multiple-choice questions, and should only take a minute or so to complete. Please help by doing so! As a reward, you'll get to see a summary of the responses so far. The survey is at this URL: http://www.cs.chalmers.se/~rjmh/Wash/Survey/Survey.cgi Thanks for your help! I'll post a summary of the results to the list. John Hughes

11 27

why I need so much memory????
by Alberto Fuentes Rodriguez 10 Nov '05

10 Nov '05

Hi, I am trying to make a program to generate all the poker hands. I have done it yet and it only need a few of seconds. Each card is represented with a Char (to make the structure smaller) and then all the hands are a [[Char]] in total the structure has a size of arround 20Mb. Now I like be sure that I have all the hands and that they are not repeated. To do that I have done the next function: isRepeated :: Eq a => [a] -> Bool isRepeated [] = False isRepeated (p:r) = (any (\x -> x == p) r) || isRepeated r I call it with a [[Char]] of 2598960 elements and each element with 5 Characters. Ok the complexity is high but.... why this program needs 1GB (the structure only has 20MB) of memory?? The problem is that it begins to use the swap zone and due to that It can only use the 10% of the processor. I have compiled with the latest version of GHC (ghc --make -C ppal.hs). I attach you the source files (the backtr works well) and the map memory of the process. Alberto Fuentes _________________________________________________________________ Un amor, una aventura, compañía para un viaje. Regístrate gratis en MSN Amor & Amistad. http://match.msn.es/match/mt.cfm?pg=channel&tcid=162349

4 3