February 2012 - Haskell

Ph.D. Studentship at University of Teesside, UK
by Florin Craciun 11 Feb '12

11 Feb '12

SCHOOL OF COMPUTING University of Teesside Fully Funded University Ph.D. Studentship (3 years) Ref: QinFeb12 Applications are invited for a Ph.D. student to work in the research area of formal methods and software verification under the supervision of Professor Shengchao Qin in the School of Computing in Teesside University. Prof. Qin is affiliated with the Teesside Formal Methods and Programming Research Group (TFMPRG) and has been supervising a number of research associate and Ph.D students. Prospective candidates must have (or expect to have) at least a good honours degree in Computer Science or closely related subjects at grade 2:1 or equivalent or higher. The studentship requires good background knowledge in most of the following areas: logic and discrete mathematics related to computer science, compilers, program analysis and software verification. Strong programming skills will also be essential for the studentship. This fully funded studentship provides a tax-free living allowance at the standard rate (£13,590 p.a. for 2011/12) and full student tuition fees for three years. The successful candidate is expected to start on October 1 2012. More information can be obtained by contacting Prof. Shengchao Qin at s.qin(a)tees.ac.uk, or by visiting http://www.scm.tees.ac.uk/s.qin. For an application form, applicants should contact graduateresearchschool(a)tees.ac.uk. Applicants are expected to return their application form plus a CV, a research proposal, their degree certificates and academic transcripts by the following deadline (to graduateresearchschool(a)tees.ac.uk and copy to Professor Qin): Deadline for application: 8 March 2012. The selection process will start shortly after the deadline and be completed in March.

1 0

CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs
by Florin Craciun 11 Feb '12

11 Feb '12

CALL FOR PAPERS 14th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2012) (co-located with ECOOP and PLDI) Beijing China June 12, 2012 http://www.comp.nus.edu.sg/~ftfjp OVERVIEW Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security. Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: - formal techniques for Java, C#, Scala or similar languages - specification techniques and interface specification languages - specification of software components and library packages - automated checking and verification of program properties - verification logics - language semantics - type systems - dynamic linking and loading - security CALL FOR CONTRIBUTIONS Contributions (of up to 6 pages in the ACM 2-column style) are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages. Contributions need not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We particularly welcome contributions that simply suggest good topics for discussion at the workshop, or raise issues that you feel deserve the attention of the research community. Contributions will be formally reviewed, for originality, relevance, and the potential to generate interesting discussions. Accepted papers will be published in the ACM Digital Library. In addition, depending on the nature of the contributions, we may organize a special journal issue as a follow-up to the workshop, as has been done for some of the previous FTfJP workshops. Contributions must be in English, in pdf format, and are limited to 6-pages in ACM 2-column style. Papers must be submitted electronically via Easy Chair at: https://www.easychair.org/conferences/?conf=ftfjp2012 Any PC member, other than the chair, may be an author or co-author on any paper submitted for consideration but will be excluded from any evaluation or discussion of the paper. IMPORTANT DATES abstract submission: 16 March 2012 (anywhere on Earth) full paper submission: 25 March 2012 (anywhere on Earth) notification: 29 April 2012 camera-ready paper: 12 May 2012 conference date: 12 June 2012 PROGRAM COMMITTEE Aditya Nori, Microsoft Research India Aquinas Hobor, National University of Singapore, (co-chair) Atsushi Igarashi, Kyoto University, Japan Florin Craciun, Babes Bolyai University, Romania Hoang Truong, Vietnam National University, Vietnam Jens Palsberg, University of California, USA Jesper Bengtson, IT-University of Copenhagen, Denmark Jianjun Zhao, Shanghai Jiaotong University, China John Boyland, University of Wisconsin-Milwaukee, USA Jules Villard, Queen Mary, University of London, UK Sophia Drossopoulou, Imperial College London, UK Thomas Wies, New York University, USA Tyng-Ruey Chuang, Academia Sinica, Taiwan Wei-Ngan Chin, National University of Singapore, (co-chair) Zongyan Qiu, Peking University, China

1 0

Support tools for development with Cabal and Darcs
by Henning Thielemann 10 Feb '12

10 Feb '12

I have uploaded three packages to Hackage that shall simplify maintaining cabal packages under darcs revision control. They simplify tasks like uploading packages after some tests, cabal version handling, compiling multiple local packages in the right order, replacing identifiers in multiple files, renaming modules. * http://hackage.haskell.org/package/darcs-scripts * http://hackage.haskell.org/package/cabal-scripts * http://hackage.haskell.org/package/cabal-sort

1 0

ANNOUNCE: hs-json-rpc 0.0.0.1
by ARJANEN Loïc Jean David 09 Feb '12

09 Feb '12

Dear Haskellers, I am happy (and slightly intimidated) to present my first Haskell project: hs- json-rpc, a JSON-RPC library written in Haskell. It is inspired by HaXR and its use is, I hope, simple. It supports JSON-RPC versions 1 and 2 with HTTP POST as transport. It may in the future support more transports and also server-side applications. hs-json-rpc is available: * On Hackage: http://hackage.haskell.org/package/hs-json-rpc * Source repo: http://patch-tag.com/r/Azel/hs-json-rpc Feedback is very welcome, and as it is my first published Hackage package, I expect quite a few. Best regards, ARJANEN Loïc

1 0

ANNOUNCE: jhc-0.8.0
by John Meacham 09 Feb '12

09 Feb '12

I am happy to announce jhc 0.8.0 There have been A lot of major changes in jhc with this release. - http://repetae.net/computer/jhc - A brand new and sanified library description file format. Now it is a true YAML file. The previous quasi-cabal files are supported but deprecated. - new standard library 'bytestring' :) - jhc can now embed C code and header files directly into hl libraries. The code will automatically be unpacked and linked when needed transparently. This allows 'bytestring' to carry around its fpsstring.c low level implementaton for instance without having to coordinate the install of C headers/code along with the jhc haskell library. - the library description files now can affect pretty much any aspect of compilation, so it is much easier to make a self-contained build or for tools like configure/cabal to interface to jhc. They just need to spit out an appropriate yaml file rather than care about passing the right options to jhc in addition to creating a description file. See the user manual for the set of fields that can be set. - jhc now understands ghc-style LANGUAGE pragmas and -X options and will translate them into the appropriate jhc extensions as needed. - jhc transparently handles '.hsc' files (assuming you have hsc2hs installed). It even does the right thing when cross compiliing and will use the target architectures types rather than the hosts. - the bang patterns extension has been implemented. - the primtive libraries have been re-done, now there is a truely absolutely minimal jhc-prim library that is everything that must exist for jhc to work but brinsg in no code on its own. Everything else is implemented in user replaceable normal haskell code. Want to create a varient of haskell that has 16 bit Ints, ASCII 8 bit Chars and pervasively uses null terminated C style strings? just create a base-tiny library and link it against jhc-prim. - The standalone deriving extension has been partially implemented, this greatly improves the ability to re-arrange the libraries logically. - Better haskell 2010 compatibility. - Haskell object files and the --ho-dir have been fully removed in favor of pervasive use of the code cache. This allows jhc to cache compilation results with finer granularity than individual files would allow. Command line options have been renamed accordingly, we have --cache-dir, --no-cache, --readonly-cache and --ignore-cache to modify jhcs behavior with respect to the cache. Additionally a --purge-cache option has been added. - rather than trying to stuff everything in a monolithic .c file, jhc now builds a tree containing all the source needed to compile the final executable or shared library. This will help people porting jhc to new architectures and allows the embedding of c code in the haskell libraries. - Many programs typecheked in the past that were in fact, invalid. most now fail properly with an informative message. - pulled in most of the ghc typechecking regression tests. - internal class representation completely re-worked. - unboxed characters now supported, with the obvious syntax. John

2 2

Haskell Weekly News: Issue 214
by Daniel Santa Cruz 09 Feb '12

09 Feb '12

Welcome to issue 214 the HWN, a newsletter covering stories, questions, and remarks seen around the web during the week of January 29 to February 4, 2012. You can find the HTML version at: http://contemplatecode.blogspot.com/2012/02/haskell-weekly-news-issue-214.h… Quotes of the Week * Jafet: [on memoising an O(n) algorithm:] This is like trying to save work in a police investigation by having each detective determine whether another detective has already removed all evidence from his area by walking through it to search for evidence in the area. * CodeWeaver: keep in mind encryption's only as good as how much you trust that the implementors got it right. * cmccann: length [1..10^20] lambdabot: mueval-core: Time limit exceeded cmccann: looks like 10^20 is infinity * elliott: race condition waiting to happen * elliott: o'reilly publishes attoparsec tutorial: exactly the same as their parsec tutorial, but 10^-18th the size * rwbarton: Num works for Float/Double, it's Float/Double that doesn't work for Num * ddarius: Space isn't that big. * Brent Yorgey: > Sometimes, I suspect that Haskell not only makes easier of the hard > things for imperative programming languages but also makes harder of > some easy things. This is true. But usually these are things that you don't *want* to be easy, like shooting yourself in the kidney. (But these features are often described in ways that make them sound great, like "flexible usage of bullet-placement tools".) Inserting arbitrary print statements into the middle of some code is difficult for a reason. Top Reddit Stories * GHC 7.4.1 is out. Here's the release notes Domain: haskell.org, Score: 107, Comments: 59 On Reddit: [1] http://goo.gl/su4jl Original: [2] http://goo.gl/Nstve * Coming soon, to a bookstore near you Domain: yesodweb.com, Score: 82, Comments: 16 On Reddit: [3] http://goo.gl/6gZXg Original: [4] http://goo.gl/zSW1l * ImplicitCAD is a Programmatic CAD Tool/3D Modelling Engine in Haskell. Also my first big Haskell project. Feedback, advice? Domain: github.com, Score: 63, Comments: 23 On Reddit: [5] http://goo.gl/YHMRa Original: [6] http://goo.gl/39rc3 * Using monadic effects to reverse a merge sort Domain: github.com, Score: 42, Comments: 4 On Reddit: [7] http://goo.gl/dVuyp Original: [8] http://goo.gl/jL9qj * Exciting changes coming to conduit 0.2 Domain: yesodweb.com, Score: 38, Comments: 7 On Reddit: [9] http://goo.gl/neyW2 Original: [10] http://goo.gl/1ikN5 * Vectorisation without Replication in Data Parallel Haskell Domain: disciple-devel.blogspot.com, Score: 35, Comments: 4 On Reddit: [11] http://goo.gl/iJ4OD Original: [12] http://goo.gl/uMp4S * If software purity in functional languages is such an awesome idea, why are we still writing Python, Ruby or Java? Domain: self.haskell, Score: 33, Comments: 136 On Reddit: [13] http://goo.gl/F0QCY Original: [14] http://goo.gl/F0QCY * Released Data.Array.Accelerate 0.9.0.0 — the Haskell array library for GPUs Domain: justtesting.org, Score: 32, Comments: 3 On Reddit: [15] http://goo.gl/NqUwp Original: [16] http://goo.gl/JYTQ4 * Fun With -XPolyKinds : Polykinded Folds Domain: typesandotherdistractions.com, Score: 24, Comments: 1 On Reddit: [17] http://goo.gl/daxL8 Original: [18] http://goo.gl/u9gHi * Introduction to using acid-state, IxSet and data-lens as a native Haskell, noSQL, RAM-cloud database Domain: happstack.com, Score: 23, Comments: 21 On Reddit: [19] http://goo.gl/9bliO Original: [20] http://goo.gl/ZGXyW * Can't wait for the Haskell Platform? -- Compiling GHC 7.4.1 from source has never been easier. Domain: blog.jasonknight.us, Score: 21, Comments: 8 On Reddit: [21] http://goo.gl/IKjm6 Original: [22] http://goo.gl/dgMF2 * Generating random functions Domain: mainisusuallyafunction.blogspot.com, Score: 20, Comments: 6 On Reddit: [23] http://goo.gl/DB4f6 Original: [24] http://goo.gl/aOAPo * How to deal with undesired values when designing types Domain: self.haskell, Score: 19, Comments: 28 On Reddit: [25] http://goo.gl/aPCbQ Original: [26] http://goo.gl/aPCbQ * Guarded Pipes or How to write Conduit.List Combinators in Pipes. Domain: pcapriotti.wordpress.com, Score: 17, Comments: 16 On Reddit: [27] http://goo.gl/vo8ip Original: [28] http://goo.gl/mhnfH * UHC JavaScript Backend Project Page (Work in Progress) Domain: uu-computerscience.github.com, Score: 16, Comments: 0 On Reddit: [29] http://goo.gl/42xXs Original: [30] http://goo.gl/Cz8R6 Top StackOverflow Questions * What are the rules about concurrently accessing a persistent database votes: 17, answers: 1 Read on SO: [31] http://goo.gl/m3QhB * Functions don't just have types: They ARE Types. And Kinds. And Sorts. Help put a blown mind back together votes: 15, answers: 2 Read on SO: [32] http://goo.gl/fKjQR * Defining polymorphic constants in Haskell votes: 12, answers: 2 Read on SO: [33] http://goo.gl/3H3ke * Do guarded pipes behave the same as pipes using await? votes: 12, answers: 2 Read on SO: [34] http://goo.gl/Mf3HQ * What is the purpose of the IdentityT transformer? votes: 11, answers: 2 Read on SO: [35] http://goo.gl/L7Syk * call/cc implementation? votes: 10, answers: 5 Read on SO: [36] http://goo.gl/tfLLz * Understanding bind function in Haskell votes: 9, answers: 4 Read on SO: [37] http://goo.gl/amtSd * How to show that a monad is a functor and an applicative functor? votes: 8, answers: 2 Read on SO: [38] http://goo.gl/Cg0EQ * Avoiding lift with Monad Transformers votes: 7, answers: 2 Read on SO: [39] http://goo.gl/fBhCz * Container element types votes: 7, answers: 1 Read on SO: [40] http://goo.gl/UfZnG Until next time, Daniel Santa Cruz References 1. http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/release-7-4-1.html 2. http://www.reddit.com/r/haskell/comments/p886g/ghc_741_is_out_heres_the_rel… 3. http://www.yesodweb.com/blog/2012/01/coming-soon 4. http://www.reddit.com/r/haskell/comments/p4hpt/coming_soon_to_a_bookstore_n… 5. https://github.com/colah/ImplicitCAD 6. http://www.reddit.com/r/haskell/comments/p9jzh/implicitcad_is_a_programmati… 7. https://github.com/DanBurton/Blog/blob/master/Literate%20Haskell/recovery.l… 8. http://www.reddit.com/r/haskell/comments/p2kar/using_monadic_effects_to_rev… 9. http://www.yesodweb.com/blog/2012/01/conduit-changes-0-2 10. http://www.reddit.com/r/haskell/comments/p1iu0/exciting_changes_coming_to_c… 11. http://disciple-devel.blogspot.com/2012/02/vectorisation-without-replicatio… 12. http://www.reddit.com/r/haskell/comments/p7f6u/vectorisation_without_replic… 13. http://www.reddit.com/r/haskell/comments/pavb1/if_software_purity_in_functi… 14. http://www.reddit.com/r/haskell/comments/pavb1/if_software_purity_in_functi… 15. http://justtesting.org/released-dataarrayaccelerate-0900-the-haskell 16. http://www.reddit.com/r/haskell/comments/p5sij/released_dataarrayaccelerate… 17. http://www.typesandotherdistractions.com/2012/02/fun-with-xpolykinds-polyki… 18. http://www.reddit.com/r/haskell/comments/p8djh/fun_with_xpolykinds_polykind… 19. http://www.happstack.com/docs/crashcourse/AcidState.html 20. http://www.reddit.com/r/haskell/comments/p75ko/introduction_to_using_acidst… 21. http://blog.jasonknight.us/2012/02/how-to-install-ghc-741-in-ubuntu-from.ht… 22. http://www.reddit.com/r/haskell/comments/pabfi/cant_wait_for_the_haskell_pl… 23. http://mainisusuallyafunction.blogspot.com/2012/02/generating-random-functi… 24. http://www.reddit.com/r/haskell/comments/p89fq/generating_random_functions/ 25. http://www.reddit.com/r/haskell/comments/p5lv0/how_to_deal_with_undesired_v… 26. http://www.reddit.com/r/haskell/comments/p5lv0/how_to_deal_with_undesired_v… 27. http://pcapriotti.wordpress.com/2012/02/02/an-introduction-to-guarded-pipes/ 28. http://www.reddit.com/r/haskell/comments/p8g55/guarded_pipes_or_how_to_writ… 29. http://uu-computerscience.github.com/uhc-js/ 30. http://www.reddit.com/r/haskell/comments/p1nqh/uhc_javascript_backend_proje… 31. http://stackoverflow.com/questions/9055214/what-are-the-rules-about-concurr… 32. http://stackoverflow.com/questions/9074261/functions-dont-just-have-types-t… 33. http://stackoverflow.com/questions/9088821/defining-polymorphic-constants-i… 34. http://stackoverflow.com/questions/9145656/do-guarded-pipes-behave-the-same… 35. http://stackoverflow.com/questions/9122825/what-is-the-purpose-of-the-ident… 36. http://stackoverflow.com/questions/9050725/call-cc-implementation 37. http://stackoverflow.com/questions/9074284/understanding-bind-function-in-h… 38. http://stackoverflow.com/questions/9098247/how-to-show-that-a-monad-is-a-fu… 39. http://stackoverflow.com/questions/9054731/avoiding-lift-with-monad-transfo… 40. http://stackoverflow.com/questions/9078168/container-element-types

1 0

A fun afternoon in Oxford
by Tom Harper 08 Feb '12

08 Feb '12

Calling all functional programmers, The Department of Computer Science at the University of Oxford will be holding a Fun in the Afternoon on the 28th of February, 2012. Fun in the Afternoon is a seminar series that has been held at various universities in the UK to bring together anyone interested for an afternoon of talks about functional programming. There will be a few talks and plenty of chances to socialise. The atmosphere is friendly and informal, and anyone is welcome to attend. The talks are a great chance for people to present something they have been working on or think others might find interesting. If you think you would like to give a 15-30 minute presentation, please contact me at tom.harper(a)cs.ox.ac.uk. The sooner the better; the 28th of Feb is not that far away! You do not have to be an academic or professional functional programmer to attend (or even give a talk), just have an interest in functional programming. There’ll be more details soon, but mark your calendar, and please get in contact if you’ve got roughly 15–30 minutes of fun to share. We would also like to get an idea of the number of attendees, so if you intend to come, please register using the link below. Register here: http://goo.gl/ycPmp A handy map: http://g.co/maps/f5zsb More info: http://sneezy.cs.nott.ac.uk/fun/ Hope to see you there! -- Tom Harper DPhil Student Teaching Assistant Department of Computer Science University of Oxford

1 1

CFP TFPIE 2012
by Marco Morazan 03 Feb '12

03 Feb '12

CALL FOR PAPERS/PRESENTATIONS TFPIE 2012 International Workshop on Trends in Functional Programming in Education 2012 June 11 2012 University of St Andrews, Scotland http://www.cs.ru.nl/P.Achten/TFPIE_2012/TFPIE_2012_home.html The first International Workshop on Trends in Functional Programming in Education, TFPIE 2012, will be co-located with TFP 2012 at the University of St Andrews in Scotland. The goal of TFPIE is to gather researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chairs of TFPIE 2012 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or an article (up to 16 pages). The authors of all accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Any visitors to the TFPIE 2012 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, the program committee will review, using prevailing academic standards, the articles accepted for presentation to select the best for publication in Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and all extended abstracts will not be formally reviewed by the PC. TOPICS OF INTEREST TFPIE 2012 welcomes submissions describing practical techniques used in the classroom, tools used and/or developed, and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP in Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy If you are not sure if your work is appropriate for TFPIE 2012, please contact the PC chairs by e-mail at: tfpie2012(a)cs.ru.nl . Program Committee Peter Achten, Radboud University Nijmegen Jost Berthold, University of Copenhagen Marc Feeley, University of Montreal Ralf Hinze, University of Oxford Shriram Krishnamurthi, Brown University Michel Mauny, ENSTA Paris Tech James McKinna, UK Marco T. Morazan, Seton Hall University Rinus Plasmeijer, Radboud University Nijmegen Simon Thompson, University of Kent Important Dates May 20 submission of abstract or article May 25 notification of acceptance June 11 TFPIE July 6 submission of formal paper September 10 notification of acceptance October 1 camera-ready paper Venue The University of St Andrews is Scotland's first university and the third oldest in the English-speaking world, founded in 1413. Over six centuries it has established a reputation as one of Europe's leading and most distinctive centers for teaching and research. St Andrews is situated on the east coast of Fife, Scotland, UK. The town is approximately 50 miles north-east of Edinburgh, 14 miles south-east of Dundee, 78 miles south of Aberdeen, and 82 miles east of Glasgow making it easily accessible by any means of transportation. Help on traveling to St Andrews can be found at: http://www.st-andrews.ac.uk/visiting/GettingtoStAndrews/ . Questions? If you have any questions, do not hesitate to contact us at: tfpie2012(a)cs.ru.nl . -- Cheers, Marco

1 0

ANNOUNCE: GHC version 7.4.1
by Ian Lynagh 02 Feb '12

02 Feb '12

============================================================= The (Interactive) Glasgow Haskell Compiler -- version 7.4.1 ============================================================= The GHC Team is pleased to announce a new major release of GHC, 7.4.1. Here are some of the highlights of the 7.4 branch since 7.2 and 7.0: * The Num class no longer has Eq or Show superclasses. * There is a new feature Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe). The design has changed since 7.2. * There is a new feature kind polymorphism (-XPolyKinds). A side-effect of this is that, when the extension is not enabled, in certain circumstances kinds are now defaulted to * rather than being inferred. * There is a new feature constraint kinds (-XConstraintKinds). * It is now possible to give any sort of declaration at the ghci prompt. For example, you can now declare datatypes within ghci. * The profiling and hpc implementations have been merged and overhauled. Visible changes include renaming of profiling flags, and a new semantics for the cost-centre stacks (which should in most cases result in more useful and intuitive profiles). The +RTS -xc flag now also gives a stack trace. * It is now possible to write compiler plugins. * DPH support has been significantly improved. * There is now preliminary support for registerised compilation using LLVM on the ARM platform. Full release notes are here: http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/release-7-4-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

1 0

PhD studentship in Nottingham (closing date 10th February)
by Graham Hutton 02 Feb '12

02 Feb '12

Dear all, I am currently advertising a PhD Studentship in Functional Programming at the University of Nottingham in the UK: http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1088 The closing date is *** Friday 10th February 2012 ***. If you would like to apply, please follow the instructions in the advert, rather than clicking on "apply online". Many thanks, Graham Hutton -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0