https://wiki.haskell.org/api.php?action=feedcontributions&user=Astrolabe&feedformat=atomHaskellWiki - User contributions [en]2024-03-28T12:07:23ZUser contributionsMediaWiki 1.35.5https://wiki.haskell.org/index.php?title=Cabal/How_to_install_a_Cabal_package&diff=16348Cabal/How to install a Cabal package2007-10-26T21:15:47Z<p>Astrolabe: </p>
<hr />
<div>[[Category:How to]]<br />
You've found an interesting Haskell package on [http://hackage.haskell.org/packages/archive/pkg-list.html HackageDB]. How do you install it on your system?<br />
<br />
# Check whether the package came with your Haskell implementation.<br />
# If your [[:Category:OS|operating system]] has a packaging system (e.g. most Linux or BSD distributions), check whether it is already packaged there.<br />
# Otherwise, you'll have to build and install the package. A program to automate this process, called [http://hackage.haskell.org/trac/hackage/wiki/CabalInstall ''cabal-install''], is under development. In the meantime, you'll have to do it manually:<br />
## First, ensure that all the packages it depends on are installed (by following these instructions recursively).<br />
## Unpack the tar file (yes, this assumes a Unix system; sorry about that ([[how to unpack a tar file in windows]])):<br />
##:<code>tar xzf PACKAGE-VERSION.tar.gz</code><br />
## Move into the directory this creates:<br />
##:<code>cd PACKAGE-VERSION</code><br />
## This directory should contain a file <code>Setup.hs</code> or <code>Setup.lhs</code>. In order to install a package globally, perform the following commands for the appropriate file (see the [http://www.haskell.org/ghc/docs/latest/html/Cabal/builders.html Cabal documentation] for more details):<br />
##:<code>runghc Setup.hs configure</code><br />
##:<code>runghc Setup.hs build</code><br />
##:<code>runghc Setup.hs install</code><br />
#: If instead of installing globally, you just wish to install a package for your normal user account, you could instead use the following <code>configure</code> command, which would register the install in the user-specific database and install binaries and libraries in $HOME/bin, $HOME/lib, and so forth:<br />
#::<code>runghc Setup.hs configure --user --prefix=$HOME</code><br />
#: You can get more information about any of these commands by adding <code>--help</code> after the command. For example, to see all the options available for the <code>configure</code> step, you could use the following command:<br />
#::<code>runghc Setup.hs configure --help</code><br />
#: Lastly, if you encounter unsatisfied dependencies when you run the configure step, that is when you recurse and first install the missing package.</div>Astrolabehttps://wiki.haskell.org/index.php?title=How_to_unpack_a_tar_file_in_Windows&diff=16347How to unpack a tar file in Windows2007-10-26T21:10:31Z<p>Astrolabe: New page</p>
<hr />
<div># Download and install 7zip from [http://www.7-zip.org/].<br />
# Add the directory you installed 7zip into to your path (Start -> Control Panel -> System -> Advanced -> Environment Variables).<br />
# Move the tar file to the directory you wish to unpack into (usually the tar file will put everything into a directory inside this directory).<br />
# Open a command prompt, and cd to the directory.<br />
# Type <tt> 7z x ''filename.tar''</tt> at the command prompt (where <tt>''filename.tar''</tt> is the name of the tar file).</div>Astrolabehttps://wiki.haskell.org/index.php?title=Cabal/How_to_install_a_Cabal_package&diff=16346Cabal/How to install a Cabal package2007-10-26T21:01:55Z<p>Astrolabe: added link to a new page</p>
<hr />
<div>[[Category:How to]]<br />
You've found an interesting Haskell package on [http://hackage.haskell.org/packages/archive/pkg-list.html HackageDB]. How do you install it on your system?<br />
<br />
# Check whether the package came with your Haskell implementation.<br />
# If your [[:Category:OS|operating system]] has a packaging system (e.g. most Linux or BSD distributions), check whether it is already packaged there.<br />
# Otherwise, you'll have to build and install the package. A program to automate this process, called [http://hackage.haskell.org/trac/hackage/wiki/CabalInstall ''cabal-install''], is under development. In the meantime, you'll have to do it manually:<br />
## First, ensure that all the packages it depends on are installed (by following these instructions recursively).<br />
## Unpack the tar file (yes, this assumes a Unix system; sorry about that ([[how to unpack a tar file in windows]]):<br />
##:<code>tar xzf PACKAGE-VERSION.tar.gz</code><br />
## Move into the directory this creates:<br />
##:<code>cd PACKAGE-VERSION</code><br />
## This directory should contain a file <code>Setup.hs</code> or <code>Setup.lhs</code>. In order to install a package globally, perform the following commands for the appropriate file (see the [http://www.haskell.org/ghc/docs/latest/html/Cabal/builders.html Cabal documentation] for more details):<br />
##:<code>runghc Setup.hs configure</code><br />
##:<code>runghc Setup.hs build</code><br />
##:<code>runghc Setup.hs install</code><br />
#: If instead of installing globally, you just wish to install a package for your normal user account, you could instead use the following <code>configure</code> command, which would register the install in the user-specific database and install binaries and libraries in $HOME/bin, $HOME/lib, and so forth:<br />
#::<code>runghc Setup.hs configure --user --prefix=$HOME</code><br />
#: You can get more information about any of these commands by adding <code>--help</code> after the command. For example, to see all the options available for the <code>configure</code> step, you could use the following command:<br />
#::<code>runghc Setup.hs configure --help</code><br />
#: Lastly, if you encounter unsatisfied dependencies when you run the configure step, that is when you recurse and first install the missing package.</div>Astrolabehttps://wiki.haskell.org/index.php?title=AngloHaskell/2007&diff=14852AngloHaskell/20072007-08-03T21:50:39Z<p>Astrolabe: </p>
<hr />
<div>On June the 9th 2006, Microsoft Research sent out an advert for a job. This eventually led to [[AngloHaskell/2006|AngloHaskell 2006]], and much fun was had!<br />
<br />
Doing it again in 2007 seems like a good idea, who's up for it?<br />
<br />
Local contact: Duncan Coutts, +44 7913 261 613, backup Ganesh Sittampalam +44 7968 253467<br />
<br />
Organisational contact: Neil Mitchell, +44 7876 126 574<br />
<br />
== Date and Venue ==<br />
<br />
Confirmed! We're going with the 10th-11th of August in Cambridge, starting with talks at Microsoft Research and with more planning to happen below.<br />
<br />
Many thanks to Matthew Sackman for offering us an alternative venue! Perhaps we can try it next year?<br />
<br />
Yes, I'll still be at Imperial then so I can't see why not! [[User:MatthewSackman|MatthewSackman]]<br />
<br />
Edit: That's Cambridge in England. Yes, we have been asked this.<br />
<br />
=== Directions to MSR ===<br />
<br />
MSR has [http://research.microsoft.com/aboutmsr/visitmsr/cambridge/directions.aspx some directions], which can be best summarised as ‘get a taxi’. Here is (hopefully) a [http://earth.google.com/ Google Earth] [[Media:Microsoft_Research,_Cambridge.kmz|location]] of MSR, as well as a [http://maps.google.com/maps?q=CB3+0FB&ll=52.211499,0.117073&spn=0.02677,0.086517 Google Maps link]. (J J Thomson Avenue is immediately west of Clerk Maxwell Road.)<br />
<br />
If you do take a taxi and the driver doesn't know where it is, tell him or her to drive down Madingley Road until you reach the West Cambridge site, J J Thomson Avenue. The Computer Laboratory (next door) has [http://www.cl.cam.ac.uk/UoCCL/contacts/#gettinghere marginally better instructions].<br />
<br />
The fastest way to MSR (on foot and public transport) from the station is to [http://maps.google.com/maps?saddr=CB1+2JW&daddr=Trumpington+Road,+Cambridge cut through to Trumpington Road via Bateman Street] (don't follow the driving directions!), and take the Citi 4 or Uni 4. There's a bus stop just across the road from Bateman Street.<br />
<br />
To get to the city centre by bus, take the Citi 1 or Citi 3. Do ask to make sure they're going in the right direction though! There are also a number of clearly marked shuttle busses between the centre and station running during the day every 10 minutes or so.<br />
<br />
To walk to the centre (20 minutes not carrying luggage), go straight down the road facing you when you come out of the station, bear right when the road ends at some traffic lights / a WW1 memorial / the botanic gardens, and keep walking straight (Hills Road / Regent St / St Andrews St) for quite a while until you reach a pedestrianised bit, at which point you are in the centre.<br />
<br />
From the city centre to MSR, you can catch the number 77 Madingley Road Park and Ride which goes from bus stop M on Emma St. (Or find your way to Pembroke or Silver Street, and catch the Citi 4 / Uni 4 from there.) (Note that the 77 doesn't stop by MSR any more, it goes to the park and ride from which you have to walk back, 10-15 mins. This caught me out the other day --SimonM).<br />
<br />
==== Parking ====<br />
<br />
Some parking spaces will be available around the back of the MSR building. To get out again, drivers will need to talk to reception to obtain a token.<br />
<br />
== Attendees ==<br />
<br />
Per last year, all attendees should '''bring or make a nametag''' that identifies you by your real name and/or IRC name. If anyone wants to drag a roll of stickers and a pen along that'll help!<br />
<br />
If you can't make the start on Friday, or can only make it on Saturday, that's fine. If you're not sure where everyone's going to be, give one of the contacts a call or a text.<br />
<br />
Duncan Coutts has volunteered to act as local contact, with Ganesh Sittampalam as backup. Thanks guys!<br />
<br />
=== Definite ===<br />
<br />
* Philippa Cowderoy<br />
* Neil Mitchell<br />
* Simon Peyton Jones (leaving for vacation on Saturday though)<br />
* [http://www.dysfunctor.org/ Peter McArthur]<br />
* Chris Smith (cdsmith)<br />
* Duncan Coutts<br />
* Simon Marlow<br />
* Ganesh Sittampalam<br />
* [http://claudiusmaximus.goto10.org/ Claude Heiland-Allen]<br />
* Paolo Martini<br />
* Ben Lippmeier<br />
* Derek Wright<br />
* Tom Cooper (astrolabe)<br />
<br />
=== Possible ===<br />
<br />
* Ben Moseley<br />
* Alex McLean - looks like i might not be able to make it now :/<br />
* Ian Lynagh<br />
* Edwin Brady<br />
* Titto (if it is in September)<br />
* Sebastian Sylvan - interested. It depends on the talks. I'm sure all the talks listed so far will be interesting, but if we can get one or two of the "big names" to give a talk, then it's a surefire guarantee that it'll be worth coming for, and then other talks would be icing on the cake! Personally I'm very interested in the concurrency/parallelism stuff that's going on currently (so if anyone reading this has something to say on that, sign up!). Also, might be worhtwhile to synchronise it with a bank holiday so people don't have to take a day off?<br />
* Lennart Augustsson - I can probably make August 10-11, otherwise early September.<br />
* Matthew Sackman - it's unlikely I won't be there.<br />
* Andy Gimblett<br />
* Tom Parslow - Sounds fun, hopefully will be there<br />
* Magnus Therning<br />
* Alan Mock<br />
* Emil Sköldberg<br />
<br />
== Lodging ==<br />
<br />
It's likely that there'll be people in need of crashspace and so forth, so please organise here! Both offers and requests are good.<br />
<br />
=== Crashspace Requests ===<br />
<br />
* Claude Heiland-Allen<br />
* Andy Gimblett, though I'm trying to make an alternative arrangement (and bring my wife :) )<br />
<br />
=== Nearby Colleges ===<br />
<br />
Many of undergraduate colleges (which are really glorified halls of residence) offer cheap accommodation over the holidays. Locations near MSR include Churchill College, Wolfson Court (an annexe of Girton College), Fitzwillian College, Robinson College, New Hall (female only) and Burwells Field (an annexe of Trinity College).<br />
<br />
[http://www.cam.ac.uk/map/v4/drawmap.cgi?mp=main;xx=900;yy=560;mt=c;mx=759;my=467;ms=75;tl=Microsoft%20Research This map] might prove useful.<br />
<br />
-- [http://www.dysfunctor.org/ Peter McArthur]<br />
<br />
I just booked in to Churchill. A single room with shared facilities was £50.20 per night. Their accomodation phone number is +44 (0) 1223 336164.<br />
<br />
-- Tom Cooper<br />
<br />
=== Hostels ===<br />
<br />
There's a fairly inexpensive [http://www.yha.org.uk/find-accommodation/east-of-england/hostels/cambridge/index.aspx YHA hostel] in Cambridge. There may be others.<br />
<br />
== Programme ==<br />
<br />
Planning will be taking place on IRC as per last year: #anglohaskell on irc.freenode.net<br />
<br />
If you're having trouble following things on IRC, the discussion page on the wiki might be a good place to leave comments and questions.<br />
<br />
Last year we had talks in the day on a Friday, followed by pubbage in the evening and assorted activities on the Saturday. This seemed to work, so we'll follow a similar model this year.<br />
<br />
=== Talks ===<br />
<br />
Philippa will be arriving at MSR around 10am, with tea, coffee and biscuits available from 10:30am. There'll be a sandwich lunch available (time to be confirmed around the talks) and another coffee etc break sometime between 3 and 4. We'll also end with an 'open' session in which people can grab a whiteboard and talk for 10-15 minutes on whatever takes their fancy - see below!<br />
<br />
Volunteers please! Last year we had a largely more practical set of talks than you might find at Fun in the Afternoon or an academic event. This was a good thing, and some of the best talks were from people who were far from considering themselves as experts, so feel free to tell us about your experiences.<br />
<br />
Talks planned and/or offered:<br />
<br />
* Philippa Cowderoy - my experiences with Haskell as a person with Asperger's Syndrome - CONFIRMED<br />
* Neil Mitchell - Making Haskell Faster - CONFIRMED<br />
* Claude Heiland-Allen - maybe something on embedding Haskell inside the multimedia software [http://puredata.info Pure-data] - CONFIRMED<br />
* Ben Lippmeier - effect inference and optimisation, like at [http://www.comp.mq.edu.au/~asloane/pmwiki.php/SAPLING/SAPLING071 SAPLING] - CONFIRMED<br />
* Simon Peyton-Jones - Indexed type families in Haskell, and death to functional dependencies - CONFIRMED<br />
* Lennart Augustsson - I could have my arm twisted enough to give a talk.<br />
* Alex McLean - something related to improvising live music with Haskell - I need to sort out my schedule but am not sure if I can get to cambridge for the friday now :(<br />
<br />
If anyone has any dietary requirements, could they add them here before Friday the 3rd? Lunch'll be sandwiches, I'm told vegetarians should be okay either way.<br />
<br />
==== Abstracts ====<br />
<br />
* Simon Peyton-Jones - Indexed type families in Haskell, and death to functional dependencies <p>Indexed type families, aka "type functions", can express all that functional dependencies do, but in a much nicer way. Furthermore they play nice with GADTs etc. I'll describe the idea, and sketch the main technical challenge for type checking.</p><br />
* Neil Mitchell - Making Haskell Faster <p>In Haskell there is sometimes a tension between declarative high-level programs, and high-performance programs. This talk discusses a whole-program optimisation for Haskell, which can transform a high-level program into a very low-level performance orientated one.</p><br />
* Claude Heiland-Allen - Extending Pure-data with Haskell <p>Pure-data (Pd) is a real-time graphical programming environment for multimedia processing. Pd has a ''stateful objects and message passing'' paradigm, and additional object classes can be written in C (Pd native), C++, Python, Scheme, Ruby, and possibly others (through extra plugins). This talk will be about the trials and tribulations of adding Haskell support to Pure-data.</p><br />
* Philippa Cowderoy - Experiences with Haskell as a person with Asperger's -or- 'Ow much 'askell would an aspie 'acker 'ack if an aspie 'acker could 'ack 'askell?<p>Asperger's is an oft-controversial condition on the autistic spectrum, sometimes (mis)described as 'geek syndrome'. Philippa talks about how the condition affects her, how and why Haskell works for her as a programming language and how the Haskell community has responded to her.</p><br />
* Ben Lippmeier - Type Inference and Optimisation for an Impure World<p>Everyone knows that pure programs are not only easier to understand, but easier to reason about - but is a program based totally around state monads and IORef still pure? Does it matter? I'll demonstrate a prototype compiler that does an effect inference on Haskell-like code which allows laziness and program transformation style optimisations in the prescence of destructive update and other side effects.</p><br />
* You? - Functional Grit <p>Small and perhaps dirty talks that may nevertheless grow into functional pearls. An open session - we'll let volunteers take the stage and a whiteboard for 5-15 minutes each to talk about whatever they fancy (though preferably programming-related!)</p><br />
<br />
=== Other activity ===<br />
<br />
After Friday's talks, food and drink would be a good idea!<br />
<br />
I suggest we go to [http://www.beerintheevening.com/pubs/s/13/1361/Regal/Cambridge The Regal] for brunch on Saturday to kick off with. That's the Wetherspoons from last year. After that, punting again if it's not raining too much? Any suggestions for if it's wet?<br />
<br />
I'd like it if we can eat at a restaurant before finding a pub for the evening on friday. Borrowing Fun in the Afternoon's post-talks curry works if nobody's got any other suggestions - [[User:PhilippaCowderoy|PhilippaCowderoy]]<br />
<br />
=== Timetable ===<br />
<br />
This is somewhat preliminary and subject to change as talks are confirmed or otherwise, but the overall structure should hold: <br />
<br />
{| class="wikitable"<br />
|-<br />
! Day !! Time !! Event<br />
|-<br />
| Friday || 10am || Philippa arrives at MS Research<br />
|-<br />
| || 10:30 am || Tea, coffee and biscuits<br />
|-<br />
| || 11am || Keynote from Neil and Philippa<br />
|-<br />
| || shortly after || Simon Peyton-Jones - Indexed type families in Haskell, and death to functional dependencies<br />
|-<br />
| || ~12:00 pm || Ben Lippmeier - Type Inference and Optimisation for an Impure World<br />
|-<br />
| || ~12:30 pm || Neil Mitchell - Making Haskell Faster<br />
|-<br />
| || 1pm || Lunch<br />
|-<br />
| || 2pm || Philippa Cowderoy - Experiences with Haskell as a person with Asperger's<br />
|-<br />
| || 2:30pm || Claude Heiland-Allen - Extending Pure-data with Haskell<br />
|-<br />
| || 2:45?pm || More talks<br />
|-<br />
| || 3:30pm || Tea, coffee and biscuits<br />
|-<br />
| || 4pm || Functional Grit - small talks that may grow into functional pearls. Open session, anyone can give a quick talk!<br />
* Yhc: past, present, future -- Neil Mitchell<br />
|-<br />
| || When people get hungry or MSR kick us out || Food! Likely we'll head out for a curry<br />
|-<br />
| || Beer o'Clock || When everyone's finished eating, we'll head for a nearby pub<br />
|-<br />
| Saturday || 11am || Brunch and chat at [http://www.beerintheevening.com/pubs/s/13/1361/Regal/Cambridge The Regal] - at least someone will stay on until 1pm, next activity may start earlier though, anyone who may show up late should keep phone numbers for one or more of the contacts<br />
|-<br />
| || 1pm || Afternoon activities - probably punting if it's not raining, failing that we'll find something<br />
|-<br />
| || When everyone gets tired/hungry || We'll retire to a pub for food, drink, chat and perhaps hacking. A pub with wifi'll be preferred, so feel free to bring a laptop or PDA!<br />
|}<br />
<br />
== Wifi at MSR ==<br />
<br />
Once again, MSR is willling to provide wireless internet to everyone who gives their name and email address (and where appropriate, company/institution name) - this time by Friday the 3rd of August. Feel free to add your details even if you're not sure you're coming!<br />
<br />
* Philippa Cowderoy (flippa@flippac.org)<br />
* Ganesh Sittampalam (ganesh@earth.li, Credit Suisse)<br />
* Alan Mock (docmach@gmail.com)<br />
* Chris Smith (cdsmith@twu.net)<br />
* Lennart Augustsson (lennart@augustsson.net, Credit Suisse)<br />
* Claude Heiland-Allen (claudiusmaximus@goto10.org, GOTO10)<br />
* Andy Gimblett (a.m.gimblett@swan.ac.uk, Swansea University)<br />
* Paolo Martini (ponkje at gmail dot com)<br />
* Emil Sköldberg (emil.skoldberg@nuigalway.ie, NUIG)<br />
<br />
== Wiki organisation ==<br />
<br />
This isn't really a major point, but: it seems to me that keeping about the pages used to organise previous events is a good idea as things go on, and that this page should be used both to link to the archives and contain the current discussion. Anyone take issue with this?<br />
<br />
[[Category:Events]]</div>Astrolabehttps://wiki.haskell.org/index.php?title=AngloHaskell/2007&diff=14848AngloHaskell/20072007-08-03T13:03:48Z<p>Astrolabe: Added myself in.</p>
<hr />
<div>On June the 9th 2006, Microsoft Research sent out an advert for a job. This eventually led to [[AngloHaskell/2006|AngloHaskell 2006]], and much fun was had!<br />
<br />
Doing it again in 2007 seems like a good idea, who's up for it?<br />
<br />
Local contact: Duncan Coutts, +44 7913 261 613, backup Ganesh Sittampalam +44 7968 253467<br />
<br />
Organisational contact: Neil Mitchell, +44 7876 126 574<br />
<br />
== Date and Venue ==<br />
<br />
Confirmed! We're going with the 10th-11th of August in Cambridge, starting with talks at Microsoft Research and with more planning to happen below.<br />
<br />
Many thanks to Matthew Sackman for offering us an alternative venue! Perhaps we can try it next year?<br />
<br />
Yes, I'll still be at Imperial then so I can't see why not! [[User:MatthewSackman|MatthewSackman]]<br />
<br />
Edit: That's Cambridge in England. Yes, we have been asked this.<br />
<br />
=== Directions to MSR ===<br />
<br />
MSR has [http://research.microsoft.com/aboutmsr/visitmsr/cambridge/directions.aspx some directions], which can be best summarised as ‘get a taxi’. Here is (hopefully) a [http://earth.google.com/ Google Earth] [[Media:Microsoft_Research,_Cambridge.kmz|location]] of MSR, as well as a [http://maps.google.com/maps?q=CB3+0FB&ll=52.211499,0.117073&spn=0.02677,0.086517 Google Maps link]. (J J Thomson Avenue is immediately west of Clerk Maxwell Road.)<br />
<br />
If you do take a taxi and the driver doesn't know where it is, tell him or her to drive down Madingley Road until you reach the West Cambridge site, J J Thomson Avenue. The Computer Laboratory (next door) has [http://www.cl.cam.ac.uk/UoCCL/contacts/#gettinghere marginally better instructions].<br />
<br />
The fastest way to MSR (on foot and public transport) from the station is to [http://maps.google.com/maps?saddr=CB1+2JW&daddr=Trumpington+Road,+Cambridge cut through to Trumpington Road via Bateman Street] (don't follow the driving directions!), and take the Citi 4 or Uni 4. There's a bus stop just across the road from Bateman Street.<br />
<br />
To get to the city centre by bus, take the Citi 1 or Citi 3. Do ask to make sure they're going in the right direction though! There are also a number of clearly marked shuttle busses between the centre and station running during the day every 10 minutes or so.<br />
<br />
To walk to the centre (20 minutes not carrying luggage), go straight down the road facing you when you come out of the station, bear right when the road ends at some traffic lights / a WW1 memorial / the botanic gardens, and keep walking straight (Hills Road / Regent St / St Andrews St) for quite a while until you reach a pedestrianised bit, at which point you are in the centre.<br />
<br />
From the city centre to MSR, you can catch the number 77 Madingley Road Park and Ride which goes from bus stop M on Emma St. (Or find your way to Pembroke or Silver Street, and catch the Citi 4 / Uni 4 from there.) (Note that the 77 doesn't stop by MSR any more, it goes to the park and ride from which you have to walk back, 10-15 mins. This caught me out the other day --SimonM).<br />
<br />
==== Parking ====<br />
<br />
Some parking spaces will be available around the back of the MSR building. To get out again, drivers will need to talk to reception to obtain a token.<br />
<br />
== Attendees ==<br />
<br />
Per last year, all attendees should '''bring or make a nametag''' that identifies you by your real name and/or IRC name. If anyone wants to drag a roll of stickers and a pen along that'll help!<br />
<br />
If you can't make the start on Friday, or can only make it on Saturday, that's fine. If you're not sure where everyone's going to be, give one of the contacts a call or a text.<br />
<br />
Duncan Coutts has volunteered to act as local contact, with Ganesh Sittampalam as backup. Thanks guys!<br />
<br />
=== Definite ===<br />
<br />
* Philippa Cowderoy<br />
* Neil Mitchell<br />
* Simon Peyton Jones (leaving for vacation on Saturday though)<br />
* [http://www.dysfunctor.org/ Peter McArthur]<br />
* Chris Smith (cdsmith)<br />
* Duncan Coutts<br />
* Simon Marlow<br />
* Ganesh Sittampalam<br />
* [http://claudiusmaximus.goto10.org/ Claude Heiland-Allen]<br />
* Paolo Martini<br />
* Ben Lippmeier<br />
* Derek Wright<br />
* Tom Cooper (astrolabe)<br />
<br />
=== Possible ===<br />
<br />
* Ben Moseley<br />
* Alex McLean - looks like i might not be able to make it now :/<br />
* Ian Lynagh<br />
* Edwin Brady<br />
* Titto (if it is in September)<br />
* Sebastian Sylvan - interested. It depends on the talks. I'm sure all the talks listed so far will be interesting, but if we can get one or two of the "big names" to give a talk, then it's a surefire guarantee that it'll be worth coming for, and then other talks would be icing on the cake! Personally I'm very interested in the concurrency/parallelism stuff that's going on currently (so if anyone reading this has something to say on that, sign up!). Also, might be worhtwhile to synchronise it with a bank holiday so people don't have to take a day off?<br />
* Lennart Augustsson - I can probably make August 10-11, otherwise early September.<br />
* Matthew Sackman - it's unlikely I won't be there.<br />
* Andy Gimblett<br />
* Tom Parslow - Sounds fun, hopefully will be there<br />
* Magnus Therning<br />
* Alan Mock<br />
<br />
== Lodging ==<br />
<br />
It's likely that there'll be people in need of crashspace and so forth, so please organise here! Both offers and requests are good.<br />
<br />
=== Crashspace Requests ===<br />
<br />
* Claude Heiland-Allen<br />
* Andy Gimblett, though I'm trying to make an alternative arrangement (and bring my wife :) )<br />
<br />
=== Nearby Colleges ===<br />
<br />
Many of undergraduate colleges (which are really glorified halls of residence) offer cheap accommodation over the holidays. Locations near MSR include Churchill College, Wolfson Court (an annexe of Girton College), Fitzwillian College, Robinson College, New Hall (female only) and Burwells Field (an annexe of Trinity College).<br />
<br />
[http://www.cam.ac.uk/map/v4/drawmap.cgi?mp=main;xx=900;yy=560;mt=c;mx=759;my=467;ms=75;tl=Microsoft%20Research This map] might prove useful.<br />
<br />
-- [http://www.dysfunctor.org/ Peter McArthur]<br />
<br />
I just booked in to Churchill. A single room with shared facilities was £50.20 per night. Their accomodation phone number is +44 (0) 1223 336164.<br />
<br />
=== Hostels ===<br />
<br />
There's a fairly inexpensive [http://www.yha.org.uk/find-accommodation/east-of-england/hostels/cambridge/index.aspx YHA hostel] in Cambridge. There may be others.<br />
<br />
== Programme ==<br />
<br />
Planning will be taking place on IRC as per last year: #anglohaskell on irc.freenode.net<br />
<br />
If you're having trouble following things on IRC, the discussion page on the wiki might be a good place to leave comments and questions.<br />
<br />
Last year we had talks in the day on a Friday, followed by pubbage in the evening and assorted activities on the Saturday. This seemed to work, so we'll follow a similar model this year.<br />
<br />
=== Talks ===<br />
<br />
Philippa will be arriving at MSR around 10am, with tea, coffee and biscuits available from 10:30am. There'll be a sandwich lunch available (time to be confirmed around the talks) and another coffee etc break sometime between 3 and 4. We'll also end with an 'open' session in which people can grab a whiteboard and talk for 10-15 minutes on whatever takes their fancy - see below!<br />
<br />
Volunteers please! Last year we had a largely more practical set of talks than you might find at Fun in the Afternoon or an academic event. This was a good thing, and some of the best talks were from people who were far from considering themselves as experts, so feel free to tell us about your experiences.<br />
<br />
Talks planned and/or offered:<br />
<br />
* Philippa Cowderoy - my experiences with Haskell as a person with Asperger's Syndrome - CONFIRMED<br />
* Neil Mitchell - Making Haskell Faster - CONFIRMED<br />
* Claude Heiland-Allen - maybe something on embedding Haskell inside the multimedia software [http://puredata.info Pure-data] - CONFIRMED<br />
* Ben Lippmeier - effect inference and optimisation, like at [http://www.comp.mq.edu.au/~asloane/pmwiki.php/SAPLING/SAPLING071 SAPLING] - CONFIRMED<br />
* Simon Peyton-Jones - Indexed type families in Haskell, and death to functional dependencies - CONFIRMED<br />
* Lennart Augustsson - I could have my arm twisted enough to give a talk.<br />
* Alex McLean - something related to improvising live music with Haskell - I need to sort out my schedule but am not sure if I can get to cambridge for the friday now :(<br />
<br />
If anyone has any dietary requirements, could they add them here before Friday the 3rd? Lunch'll be sandwiches, I'm told vegetarians should be okay either way.<br />
<br />
==== Abstracts ====<br />
<br />
* Simon Peyton-Jones - Indexed type families in Haskell, and death to functional dependencies <p>Indexed type families, aka "type functions", can express all that functional dependencies do, but in a much nicer way. Furthermore they play nice with GADTs etc. I'll describe the idea, and sketch the main technical challenge for type checking.</p><br />
* Neil Mitchell - Making Haskell Faster <p>In Haskell there is sometimes a tension between declarative high-level programs, and high-performance programs. This talk discusses a whole-program optimisation for Haskell, which can transform a high-level program into a very low-level performance orientated one.</p><br />
* Claude Heiland-Allen - Extending Pure-data with Haskell <p>Pure-data (Pd) is a real-time graphical programming environment for multimedia processing. Pd has a ''stateful objects and message passing'' paradigm, and additional object classes can be written in C (Pd native), C++, Python, Scheme, Ruby, and possibly others (through extra plugins). This talk will be about the trials and tribulations of adding Haskell support to Pure-data.</p><br />
* Philippa Cowderoy - Experiences with Haskell as a person with Asperger's -or- 'Ow much 'askell would an aspie 'acker 'ack if an aspie 'acker could 'ack 'askell?<p>Asperger's is an oft-controversial condition on the autistic spectrum, sometimes (mis)described as 'geek syndrome'. Philippa talks about how the condition affects her, how and why Haskell works for her as a programming language and how the Haskell community has responded to her.</p><br />
* Ben Lippmeier - Type Inference and Optimisation for an Impure World<p>Everyone knows that pure programs are not only easier to understand, but easier to reason about - but is a program based totally around state monads and IORef still pure? Does it matter? I'll demonstrate a prototype compiler that does an effect inference on Haskell-like code which allows laziness and program transformation style optimisations in the prescence of destructive update and other side effects.</p><br />
* You? - Functional Grit <p>Small and perhaps dirty talks that may nevertheless grow into functional pearls. An open session - we'll let volunteers take the stage and a whiteboard for 5-15 minutes each to talk about whatever they fancy (though preferably programming-related!)</p><br />
<br />
=== Other activity ===<br />
<br />
After Friday's talks, food and drink would be a good idea!<br />
<br />
I suggest we go to [http://www.beerintheevening.com/pubs/s/13/1361/Regal/Cambridge The Regal] for brunch on Saturday to kick off with. That's the Wetherspoons from last year. After that, punting again if it's not raining too much? Any suggestions for if it's wet?<br />
<br />
I'd like it if we can eat at a restaurant before finding a pub for the evening on friday. Borrowing Fun in the Afternoon's post-talks curry works if nobody's got any other suggestions - [[User:PhilippaCowderoy|PhilippaCowderoy]]<br />
<br />
=== Timetable ===<br />
<br />
This is somewhat preliminary and subject to change as talks are confirmed or otherwise, but the overall structure should hold: <br />
<br />
{| class="wikitable"<br />
|-<br />
! Day !! Time !! Event<br />
|-<br />
| Friday || 10am || Philippa arrives at MS Research<br />
|-<br />
| || 10:30 am || Tea, coffee and biscuits<br />
|-<br />
| || 11am || Keynote from Neil and Philippa<br />
|-<br />
| || shortly after || Simon Peyton-Jones - Indexed type families in Haskell, and death to functional dependencies<br />
|-<br />
| || ~12:00 pm || Ben Lippmeier - Type Inference and Optimisation for an Impure World<br />
|-<br />
| || ~12:30 pm || Neil Mitchell - Making Haskell Faster<br />
|-<br />
| || 1pm || Lunch<br />
|-<br />
| || 2pm || Philippa Cowderoy - Experiences with Haskell as a person with Asperger's<br />
|-<br />
| || 2:30pm || Claude Heiland-Allen - Extending Pure-data with Haskell<br />
|-<br />
| || 2:45?pm || More talks<br />
|-<br />
| || 3:30pm || Tea, coffee and biscuits<br />
|-<br />
| || 4pm || Functional Grit - small talks that may grow into functional pearls. Open session, anyone can give a quick talk!<br />
|-<br />
| || When people get hungry or MSR kick us out || Food! Likely we'll head out for a curry<br />
|-<br />
| || Beer o'Clock || When everyone's finished eating, we'll head for a nearby pub<br />
|-<br />
| Saturday || 11am || Brunch and chat at [http://www.beerintheevening.com/pubs/s/13/1361/Regal/Cambridge The Regal] - at least someone will stay on until 1pm, next activity may start earlier though, anyone who may show up late should keep phone numbers for one or more of the contacts<br />
|-<br />
| || 1pm || Afternoon activities - probably punting if it's not raining, failing that we'll find something<br />
|-<br />
| || When everyone gets tired/hungry || We'll retire to a pub for food, drink, chat and perhaps hacking. A pub with wifi'll be preferred, so feel free to bring a laptop or PDA!<br />
|}<br />
<br />
<br />
<br />
== Wifi at MSR ==<br />
<br />
Once again, MSR is willling to provide wireless internet to everyone who gives their name and email address (and where appropriate, company/institution name) - this time by Friday the 3rd of August. Feel free to add your details even if you're not sure you're coming!<br />
<br />
* Philippa Cowderoy (flippa@flippac.org)<br />
* Ganesh Sittampalam (ganesh@earth.li, Credit Suisse)<br />
* Alan Mock (docmach@gmail.com)<br />
* Chris Smith (cdsmith@twu.net)<br />
* Lennart Augustsson (lennart@augustsson.net, Credit Suisse)<br />
* Claude Heiland-Allen (claudiusmaximus@goto10.org, GOTO10)<br />
* Andy Gimblett (a.m.gimblett@swan.ac.uk, Swansea University)<br />
* Paolo Martini (ponkje at gmail dot com)<br />
<br />
== Wiki organisation ==<br />
<br />
This isn't really a major point, but: it seems to me that keeping about the pages used to organise previous events is a good idea as things go on, and that this page should be used both to link to the archives and contain the current discussion. Anyone take issue with this?<br />
<br />
[[Category:Events]]</div>Astrolabe