October 2011 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

CFP: Term and Graph rewriting, special issue of MSCS
by Rachid Echahed 13 Feb '14

13 Feb '14

-------------------------------------------------------------------------- First Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- Scope -------------------------------------------------------------------------- Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures such as lambda-terms, first-order terms or graphs and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. This is witnessed by the leading international events ICGT, RTA or TLCA among others. During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international editions of TERMGRAPH series of workshops. Sharing is indeed ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages. Term and graph rewriting are also used in automated theorem proving and symbolic computation systems working on shared structures... This special issue is devoted to recent developments in all aspects of TERM and GRAPH rewriting. This includes (but is not limited to): term rewriting, graph transformation, proof methods, programming languages, infinitary rewriting, rewrite strategies, semantics, properties of rewriting ... -------------------------------------------------------------------------- Submissions -------------------------------------------------------------------------- Submitted papers must be original and not submitted for publication elsewhere, and will be subject to the standard journal refereeing process of the Mathematical Structures in Computer Science (MSCS) journal. Submissions should be in pdf format following the MSCS instruction for contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should be submitted electronically via the following easy-chair web site: https://www.easychair.org/conferences/?conf=mscsrewriting2012 -------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------- January 20, 2012 : Abstract submission February 20, 2012: Paper submission June 15, 2012 : Notification of acceptance -------------------------------------------------------------------------- Guest Editor: -------------------------------------------------------------------------- Rachid Echahed, CNRS LIG Lab., Grenoble, France echahed(a)imag.fr --------------------------------------------------------------------------

1 8

ANNOUNCE: GHC version 7.2.1
by Ian Lynagh 26 Mar '12

26 Mar '12

============================================================= The (Interactive) Glasgow Haskell Compiler -- version 7.2.1 ============================================================= The GHC Team is pleased to announce a new major release of GHC, 7.2.1. The 7.2 branch is intended to be more of a "technology preview" than normal GHC stable branches; in particular, it supports a significantly improved version of DPH, as well as new features such as compiler plugins and "safe Haskell". The design of these new features may evolve as we get more experience with them. See the release notes for more details of what's new and what's changed. We are also using this branch as an opportunity to work out the best workflows to use with git. We expect the 7.2 branch to be short-lived, with 7.4.1 coming out shortly after ICFP as normal. Full release notes are here: http://www.haskell.org/ghc/docs/7.2.1/html/users_guide/release-7-2-1.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. 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

4 3

Open PhD and PostDoc positions at Marburg University
by Klaus Ostermann 04 Jan '12

04 Jan '12

ear all, we are happy to announce that we have new openings at the PhD and PostDoc level. The Programming Language and Software Technology Group, headed by Klaus Ostermann, conducts research dedicated to developing new technologies that help to construct high-quality software in a productive way. We use and develop an exciting set of technologies involving functional, object-oriented, domain-specific and aspect-oriented programming languages, software product lines, parser technology, language-integrated queries, static and dynamic software analysis, type systems, and many other topics. For more information consult http://www.uni-marburg.de/fb12/ps/ We offer positions with a lot of freedom to choose and develop research topics, few obligations, collaboration with a very strong group of researchers, competitive salary, and opportunities to develop a strong academic career path (e.g. by founding their own junior research group). For the PostDoc positions, we expect applicants to have demonstrated scientific excellence in areas related to our own research. For PhD positions, we expect evidence of the potential for scientific excellence. Knowledge of German is not required; the communication language in our group is English. Marburg is an attractive small "student town" right in the center of Germany. We are only an hour ride away from Frankfurt Airport, which will bring you to many destinations worldwide in a single hop. To apply for a position, please send informal inquiries to Klaus Ostermann (contact data can be found on our website). We are flexible with regard to the starting date, but generally the sooner the better. We are looking forward to hearing from you. Best wishes, Klaus Ostermann on behalf of the PS group at Marburg University http://www.uni-marburg.de/fb12/ps

2 1

Proposal to incorporate Haskell.org
by Don Stewart 16 Dec '11

16 Dec '11

Hello everyone. The haskell.org committee[1], in the interest of the long-term stability of the open source Haskell community infrastructure, has decided to incorporate haskell.org as a legal entity. This email outlines our recommendation, and seeks input from the community on this decision. The committee's proposal is that haskell.org incorporate as an entity under the Software Freedom Conservancy umbrella organization (the same group that Darcs joined recently): http://sfconservancy.org/ If we proceed with this move, haskell.org will be a legal entity, and registered as a non-profit, allowing us to more directly accept (US tax-deductible) donations, and to invest in assets that benefit the Haskell open source community. We welcome your feedback on the proposal attached below. -- Don Stewart (on behalf of the Haskell.org committee) ------------------------------------------------------------------------ = A proposal for the incorporation of Haskell.org = In recent years, haskell.org has started to receive assets, e.g. money from Google Summer Of Code, donations for Hackathons, and a Sparc machine for use in GHC development. We have also started spending this money: in particular, on hosting haskell.org itself. There is also interest in running fundraising drives for specific things such as Hackathon sponsorship and hosting fees. However, haskell.org doesn't currently exist as a legal entity, meaning that these assets have had to be held on our behalf by other entities, such as Galois and various universities. This leads to tricky situations, with no-one being sure who should decide how the haskell.org assets can be used. To solve these problems, we propose that haskell.org applies to become a member project of the Software Freedom Conservancy (SFC) <http://conservancy.softwarefreedom.org/>. The SFC is a non-profit organization that provides free financial and administrative services to open source projects. Additionally, it has 501(c)(3) status, meaning donations from the US are tax-deductible. The SFC would hold haskell.org's money and other assets, and would be able to accept donations on behalf of haskell.org. The haskell.org committee, as described here [2], will make decisions on spending assets and other decisions related to governing the non-profit. Before proceeding, we are inviting input from the community in the form of specific objections or queries regarding the plan. We've tried to answer some of the most likely questions: Q: Does this mean that my Haskell project must now be covered by a copyleft licence such as GPL? A: No, but Haskell projects using haskell.org resource should use an Open Source licence <http://www.opensource.org/licenses/alphabetical>. Q: Will it still be possible to use community.h.o to host non-open-source material, such as academic papers? A: An overall minority of such content, as is the current situation, is not a problem. Q: Will it still be possible to have job ads on the haskell.org mailing lists and website? A: Yes. Q: Will this affect our ability to host the Haskell Symposium <http://www.haskell.org/haskell-symposium/> and Industrial Haskell Group<http://industry.haskell.org/> webpages within haskell.org? A: No. Q: What will be the relationship between haskell.org and other organizations such as the Haskell Symposium and Industrial Haskell Group? A: Those organisations will continue to exist as separate entities. Q: If an umbrella non-profit organisation "The Haskell Foundation" was created, would haskell.org be able to join it? A: Yes. It's likely that in such a scenario, the Haskell Foundation would become the owner of the haskell.org domain name, with the cost divided between the members. The entity that is part of the SFC would be renamed "community.haskell.org" in order to avoid confusion. [1]: http://www.haskell.org/haskellwiki/Haskell.org_committee [2]: http://www.haskell.org/haskellwiki/Haskell.org_committee#Operation

5 6

ANN: Monad.Reader Issue 19
by Brent Yorgey 31 Oct '11

31 Oct '11

I am pleased to announce that Issue 19 of The Monad.Reader, a special issue on parallelism and concurrency, is now available: http://themonadreader.files.wordpress.com/2011/10/issue19.pdf Issue 19 consists of the following three articles: * Mighttpd – a High Performance Web Server in Haskell by Kazu Yamamoto * High Performance Haskell with MPI by Bernie Pope and Dmitry Astapov * Coroutine Pipelines by Mario Blažević Feel free to browse the source files. You can check out the entire repository using darcs: darcs get http://code.haskell.org/~byorgey/TMR/Issue19 If you’d like to write something for Issue 20, please get in touch. The deadline will likely be in December; more details will be forthcoming.

3 2

Call for Papers - First International Workshop on Bidirectional Transformations
by Janis Voigtländer 29 Oct '11

29 Oct '11

=============================================================== CALL FOR PAPERS First International Workshop on Bidirectional Transformations (BX 2012) Tallinn, Estonia Sun, March 25, 2012 (co-located with ETAPS 2012, adjacent to FASE, ESOP, GT-VMT) http://www.program-transformation.org/BX12 =============================================================== INVITED SPEAKERS: * Juan de Lara (Autonomous University of Madrid, Spain) * Jean-Luc Hainaut (University of Namur, Belgium) IMPORTANT DATES: * Paper submission: Mon, December 19, 2011 * Author notification: Tue, January 24, 2012 * Camera-ready papers: Sun, February 5, 2012 To facilitate smooth organization of the review process, authors are asked to submit a short abstract by December 12, 2011. SUBMISSION CATEGORIES: * Regular submissions (max. 15 pages, formal proceedings) * Short papers (max. 8 pages, informal proceedings) * Lightning talks (extended abstract) Submissions can be in LNCS or EC-EASST style. More details can be found on the webpage. PROCEEDINGS: There will be formal proceedings containing all accepted regular papers, published as a volume of EC-EASST (Electronic Communications of the European Association of Software Science and Technology, http://journal.ub.tu-berlin.de/eceasst) Short papers will be included in informal proceedings distributed at the workshop, and their authors may be invited to extend their contribution to a full paper for inclusion in the formal proceedings. SCOPE: Bidirectional transformations (bx) are a mechanism for maintaining the consistency of two (or perhaps more) related sources of information. Such sources can be databases, software models, documents, or their abstract models like graphs or trees. The methodologies used for bx range from classical program transformation to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. The aim of the workshop is to bring together researchers, from all relevant areas, interested in bidirectional transformations from different perspectives, such as: language-based approaches, software/model transformations, and data/schema co-evolution. Topics of interest for BX 2012 include, but are not limited to: * (coupled) software/model transformations * software-model synchronization * data-schema co-evolution and data synchronization * consistency analysis * language-based approaches * analysis/classification of requirements for bx technologies * case studies and tool support * comparison of bx technologies * efficiency of algorithms and benchmarks Regular submissions (11-15 pages) can be: * research papers providing new concepts and results * position papers and research perspectives * papers that apply bx in new domains * papers closing gaps between formal concepts and application scenarios For details about short papers and lightning talks, please consult the webpage. PROGRAM CO-CHAIRS: * Frank Hermann (Technical University of Berlin, Germany; University of Luxembourg, Luxembourg) * Janis Voigtländer (University of Bonn, Germany) PROGRAM COMMITTEE MEMBERS: * Paolo Atzeni (Roma Tre University, Italy) * Benjamin Braatz (University of Luxembourg, Luxembourg) * Anthony Cleve (University of Namur, Belgium) * Alcino Cunha (University of Minho, Portugal) * Carlo Curino (Massachusetts Institute of Technology, USA) * Davide Di Ruscio (University of L'Aquila, Italy) * Zinovy Diskin (University of Waterloo, Canada) * Ulrike Golas (Zuse Institute Berlin, Germany) * Ekkart Kindler (Technical University of Denmark, Denmark) * Kazutaka Matsuda (Tohoku University, Japan) * Fernando Orejas (Technical University of Catalonia, Spain) * Benjamin Pierce (University of Pennsylvania, USA) * Andy Schürr (Technical University of Darmstadt, Germany) * Perdita Stevens (University of Edinburgh, UK) * James Terwilliger (Microsoft, USA) * Antonio Vallecillo (University of Málaga, Spain) * Yingfei Xiong (University of Waterloo, Canada)

1 0

cabal conflicting rules
by Claudio Nieder 28 Oct '11

28 Oct '11

Hi, I just get this output from cabal: cabal install leksah Resolving dependencies... cabal: dependencies conflict: ghc-7.0.4 requires array ==0.3.0.3 however array-0.3.0.3 was excluded because ghc-7.0.4 requires array ==0.3.0.2 How can it be that the same package (ghc-7.0.4) asks for two different versions (array 0.3.0.3 / 0.3.0.2) excluding each other? claudio

6 7

Haskell Weekly News: Issue 205
by Daniel Santa Cruz 26 Oct '11

26 Oct '11

Welcome to issue 205 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of October 16 to 22, 2011. You can find an HTML version of this issue at: http://contemplatecode.blogspot.com/2011/10/haskell-weekly-news-issue-205.h… Announcements Ian Lynah sent out a call for nominations for the haskell.org committee. See the link for details on how to submit a nomination. Nominations close on October 29. [1] http://goo.gl/J9J6H New and Updated Projects * netwire (Ertugrul Soeylemez; 1.2.7) [2] http://goo.gl/ULujm Quotes of the Week * kmc: i just used Hayoo to see if anyone implemented this function and it came back with one of my own libraries * JoeyA: LLVM: The easy-to-use compiler infrastructure nobody knows how to use. * kmc: Haskell isn't really designed by mathematicians. it's designed by people who programmers would consider to be mathematicians and mathematicians would consider to be programmers * Cale: foldr is the real fold; foldl is an imposter * @remember hey daniel kmc wants his uploads featured on HWN [edit note: oops, I guess that was meant for me :) +1 for new and inventive ways to communicate!] Top Reddit Stories * Tech-talk about Haskell at Google: Haskell Amuse-Bouche Domain: youtu.be, Score: 86, Comments: 5 On Reddit: [3] http://goo.gl/Pf0NZ Original: [4] http://goo.gl/NPZ17 * Deprecate Prelude.head and partial functions Domain: chrisdone.com, Score: 58, Comments: 60 On Reddit: [5] http://goo.gl/Yat8J Original: [6] http://goo.gl/NyiRO * What does your company use Haskell for? I'll go first. Domain: self.haskell, Score: 51, Comments: 38 On Reddit: [7] http://goo.gl/VOfrO Original: [8] http://goo.gl/VOfrO * I am working on a functional web-programming language as a senior thesis. What do you think so far? Domain: elm-lang.org, Score: 40, Comments: 58 On Reddit: [9] http://goo.gl/6PrQM Original: [10] http://goo.gl/l3odM * Dear Redditor Emac-loving Haskeller(s): what cool emacs Haskell Mode (or custom) features do you use? Domain: self.haskell, Score: 40, Comments: 7 On Reddit: [11] http://goo.gl/LKW0A Original: [12] http://goo.gl/LKW0A * Macros in Haskell Domain: playingwithpointers.com, Score: 38, Comments: 0 On Reddit: [13] http://goo.gl/pwfjt Original: [14] http://goo.gl/bSYN8 * Type-safe event-based programming Domain: jaspervdj.be, Score: 35, Comments: 0 On Reddit: [15] http://goo.gl/gyj9J Original: [16] http://goo.gl/ZBC55 * Yesod excellent ideas Domain: yannesposito.com, Score: 34, Comments: 5 On Reddit: [17] http://goo.gl/ikFJV Original: [18] http://goo.gl/UgBaC * AI Challenge: Ants. Haskell support is only for GHC 6.12. Shall we lobby for 7.0? Domain: aichallenge.org, Score: 28, Comments: 24 On Reddit: [19] http://goo.gl/ShqaM Original: [20] http://goo.gl/O2YOp * Why not Haskell? Domain: neugierig.org, Score: 27, Comments: 26 On Reddit: [21] http://goo.gl/INmRp Original: [22] http://goo.gl/wK3U3 Top StackOverflow Questions * What are some compelling use cases for dependent method types? votes: 44, answers: 2 Read on SO: [23] http://goo.gl/2Xmgu * Why monads? How does it resolve side-effects? votes: 14, answers: 7 Read on SO: [24] http://goo.gl/UJimh * How does Haskell printf work? votes: 13, answers: 1 Read on SO: [25] http://goo.gl/351dE * Why is my genetic algorithm seemingly behaving randomly? votes: 10, answers: 1 Read on SO: [26] http://goo.gl/a5FtH * What are the benefits of applicative parsing over monadic parsing? votes: 10, answers: 4 Read on SO: [27] http://goo.gl/UEkpx * Fixity of backtick operators? votes: 9, answers: 1 Read on SO: [28] http://goo.gl/nwji2 * Bit Size of GHC's Int Type votes: 8, answers: 2 Read on SO: [29] http://goo.gl/DDtFZ * Simple word count in haskell votes: 8, answers: 4 Read on SO: [30] http://goo.gl/ZAYyT * existential search and query without the fuss votes: 8, answers: 2 Read on SO: [31] http://goo.gl/Fnes6 * How to selectively link certain system libraries statically into Haskell program binary? votes: 8, answers: 2 Read on SO: [32] http://goo.gl/HjPTc Until next time, Daniel Santa Cruz References 1. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18983 2. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/93163 3. http://youtu.be/b9FagOVqxmI 4. http://www.reddit.com/r/haskell/comments/lkiiw/techtalk_about_haskell_at_go… 5. http://chrisdone.com/posts/2011-10-17-boycott-head.html 6. http://www.reddit.com/r/haskell/comments/lf71l/deprecate_preludehead_and_pa… 7. http://www.reddit.com/r/haskell/comments/lfwlv/what_does_your_company_use_h… 8. http://www.reddit.com/r/haskell/comments/lfwlv/what_does_your_company_use_h… 9. http://elm-lang.org/ 10. http://www.reddit.com/r/haskell/comments/liqb4/i_am_working_on_a_functional… 11. http://www.reddit.com/r/haskell/comments/llt44/dear_redditor_emacloving_has… 12. http://www.reddit.com/r/haskell/comments/llt44/dear_redditor_emacloving_has… 13. http://playingwithpointers.com/archives/615 14. http://www.reddit.com/r/haskell/comments/lgeuk/macros_in_haskell/ 15. http://jaspervdj.be/posts/2011-10-16-type-safe-events.html 16. http://www.reddit.com/r/haskell/comments/le2dk/typesafe_eventbased_programm… 17. http://yannesposito.com/Scratch/en/blog/Yesod-excellent-ideas/ 18. http://www.reddit.com/r/haskell/comments/lj2br/yesod_excellent_ideas/ 19. http://aichallenge.org/starter_packages.php 20. http://www.reddit.com/r/haskell/comments/ljs9z/ai_challenge_ants_haskell_su… 21. http://neugierig.org/software/blog/2011/10/why-not-haskell.html 22. http://www.reddit.com/r/haskell/comments/lfv4b/why_not_haskell/ 23. http://stackoverflow.com/questions/7860163/what-are-some-compelling-use-cas… 24. http://stackoverflow.com/questions/7840126/why-monads-how-does-it-resolve-s… 25. http://stackoverflow.com/questions/7828072/how-does-haskell-printf-work 26. http://stackoverflow.com/questions/7792456/why-is-my-genetic-algorithm-seem… 27. http://stackoverflow.com/questions/7861903/what-are-the-benefits-of-applica… 28. http://stackoverflow.com/questions/7807994/fixity-of-backtick-operators 29. http://stackoverflow.com/questions/7786662/bit-size-of-ghcs-int-type 30. http://stackoverflow.com/questions/7803449/simple-word-count-in-haskell 31. http://stackoverflow.com/questions/7813691/existential-search-and-query-wit… 32. http://stackoverflow.com/questions/7832112/how-to-selectively-link-certain-…

1 0

haskell.org committee: first-year report
by Ganesh Sittampalam 26 Oct '11

26 Oct '11

This report is also posted to http://haskellorg.wordpress.com/2011/10/26/first-year-report/ The haskell.org committee is reaching the end of its first year of operation, so it's time to look back and see what has been achieved. *haskell.org incorporation* The most important work for the year has been trying to get the ownership of haskell.org resources -- principally some money from our GSoC participation, and various machines -- on a sounder footing. At the moment, Galois is kindly holding funds on behalf of haskell.org. However, this causes them administrative difficulties and it would also be better for haskell.org for them to be held separately in a vehicle with tax-free status (at least in the US) that can also accept donations. The main option we have been exploring is joining the Software Freedom Conservancy (http://www.sfconservancy.org <http://www.sfconservancy.org/>). After seeking the community's consent, we have contacted them to begin the application process. Unfortunately they are currently rather overworked and as they prioritise work for existing projects over accepting new ones, we do not yet know when there will be progress with this. In the meantime we are also investigating joining an alternative, Software in the Public Interest (http://www.spi-inc.org <http://www.spi-inc.org/>). Discussions about this option are still ongoing. The committee would like to thank Jason Dagit who has been helping us to make progress on this issue over the last few months, with the support of his employer Galois. *Subdomain policy* In response to various requests for subdomains of haskell.org, we have formulated the following policy, now (belatedly!) documented athttp://www.haskell.org/haskellwiki/Haskell.org_domain#Policy_on_adding_ne… /Subdomains should be used for *services *rather than *content*/. Content should be normally be hosted at subpaths of http://www.haskell.org <http://www.haskell.org/> So for example a Haskell graphics related website should normally go athttp://www.haskell.org/graphics, rather than http://graphics.haskell.org <http://graphics.haskell.org/>. In contrast, during the year, we did add revdeps.hackage.haskell.org for a hackage reverse-dependency lookup service, and of course hackage.haskell.org already exists. Clearly the line between services and content, and indeed the precise definitions of each, is something of a grey area, and we are certainly happy to be flexible particularly if there are technical or other reasons for doing things one way. Our overall goal is to minimise unnecessary proliferation of subdomains and to try to keep the haskell.org domain reasonably well organised, while still helping people do useful things with it. *Move of www.haskell.org <http://www.haskell.org/> to a new dedicated host* **For many years, www.haskell.org <http://www.haskell.org/> was generously hosted by Paul Hudak at Yale. This was becoming increasingly expensive for him so in late 2010 we moved to a new dedicated host (lambda.haskell.org) At the same time we put in place a policy that lambda would host only "meta" community resources, thus limiting the number of people who need to have accounts on it. For some time before this new project content had been created on community.haskell.org anyway, and this move gave us the opportunity to move "legacy" sites such as gtk2hs over to community. In addition, community.haskell.org is now also a VM running on the same machine. The committee as a whole's involvement in this was only to approve the change -- the sysadmin team did all the actual work. *General* The haskell.org infrastructure as a whole is still in a rather tenuous state. While the extreme unreliability we saw for a while has improved with the reorganisation , the level of sysadmin resource/involvement is still inadequate. The committee is open to ideas on how to improve the situation. Unfortunately we can't provide a full statement of haskell.org's accounts with this report; we are doing our best to track down the necessary information and will produce them as soon as possible. Better control and visibility of our finances and assets is of course one of the benefits we are seeking by affiliating with SFC or SPI.

1 0