Difference between revisions of "ZuriHac2015"
SimonMeier (talk | contribs) (→News) |
|||
(55 intermediate revisions by 9 users not shown) | |||
Line 5: | Line 5: | ||
|When: |
|When: |
||
|Friday 29th of May 2015 - Sunday 31st of May 2015 |
|Friday 29th of May 2015 - Sunday 31st of May 2015 |
||
− | |- |
||
− | |Hours: |
||
− | |09:00 ~ 20:00 |
||
|- |
|- |
||
|Where: |
|Where: |
||
Line 14: | Line 11: | ||
---- |
---- |
||
− | <big> |
+ | <big>Talks by [[File:kmett.jpg|50px]] [https://github.com/ekmett Edward Kmett] and [[File:duncan.jpg|50px]] [http://www.well-typed.com/people/duncan/ Duncan Coutts]</big> |
'''Important:'''<br> |
'''Important:'''<br> |
||
+ | Switzerland has [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#Swiss_SEV_1011_.28Type_J.29 its own power sockets]. We can't provide converters for everybody so make sure to bring one along. Do note that the [http://en.wikipedia.org/wiki/Europlug Europlug] will fit in a Swiss power socket. |
||
− | ZuriHac 2015 is in preparation. Registration is not yet open. Thank you for your understanding. |
||
− | |||
− | '''Important:'''<br> |
||
− | Switzerland has [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#Swiss_SEV_1011_.28Type_J.29 its own power sockets]. We can't provide converters for everybody so make sure to bring one along. Do note that the [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#CEE_7.2F16_.22Europlug.22_.28Type_C.29 Europlug] will fit in a Swiss power socket. |
||
|
|
||
Line 26: | Line 20: | ||
== About == |
== About == |
||
− | On the last weekend of May 2015, the [http://www.meetup.com/haskellerz |
+ | On the last weekend of May 2015, the [http://www.meetup.com/haskellerz Zurich Haskell Meetup group] will organize ZuriHac 2015, a three day Haskell Hackathon hosted at the Google offices. |
This is the fourth Haskell Hackathon in Zurich. The previous three were [[ZuriHac2014]], [[ZuriHac2013]], and [[ZuriHac2010]]. |
This is the fourth Haskell Hackathon in Zurich. The previous three were [[ZuriHac2014]], [[ZuriHac2013]], and [[ZuriHac2010]]. |
||
Line 43: | Line 37: | ||
[http://www.google.com/about/jobs/locations/zurich/ Google Switzerland] hosts the Hackathon. |
[http://www.google.com/about/jobs/locations/zurich/ Google Switzerland] hosts the Hackathon. |
||
+ | |||
+ | == Venue notice == |
||
+ | |||
+ | Visitors are not allowed to take any photos in the venue. No distribution of any Google work-related information visible inside the building. Visitors should always have a visitor sticker visible. Guests can not be left unattended. |
||
== News == |
== News == |
||
+ | |||
+ | ;29th of May 15 |
||
+ | :links to the slides published in the [https://github.com/meiersi/HaskellerZ#2015-meetups HaskellerZ repo] |
||
+ | ;27th of May 15 |
||
+ | :the [[/BBQ|BBQ will take place on Friday 29th of May]] ('''do bring some warm clothes''') |
||
+ | |||
+ | ;25th of May 15 |
||
+ | :Extended [https://www.google.com/maps/d/edit?mid=zizk28jdgSYw.kTu0mNVlZpBo venue map] with some Zurich by Night suggestions |
||
+ | |||
+ | ;9th of April 15 |
||
+ | :Confirmed beginners' talks |
||
+ | |||
+ | ;26th of March 15 |
||
+ | :Edward Kmett announced his talk title |
||
+ | |||
+ | ;6th of March 15 |
||
+ | :Duncan Coutts confirmed as second invited speaker; swapping days with Edward. |
||
+ | ;4th of March 15 |
||
+ | :Registration is open |
||
;10th of February 15 |
;10th of February 15 |
||
Line 50: | Line 67: | ||
== Registration == |
== Registration == |
||
+ | We have reached our maximum capacity. If you want to be queued into the wait list please still fill out this form: http://goo.gl/forms/L24NgFRvCw |
||
− | Registration is not yet open. Thanks for your understanding. |
||
+ | |||
+ | If somebody cancels, we will fill up the seats from the wait list in first come first serve order. Please don't book anything before we have confirmed a seat for you. |
||
== Attendees == |
== Attendees == |
||
− | + | Here is the [[/Attendees|list of participants]] who have signed up for ZuriHac 2015 and have chosen their name to be listed there. |
|
+ | |||
+ | And here is the distribution of the expertise level of all of the participants: |
||
+ | |||
+ | {| |
||
+ | ! Beginner !! Advanced !! Expert |
||
+ | |- |
||
+ | | 51 || 49 || 20 |
||
+ | |} |
||
+ | |||
+ | 45 participants offered to be a beginners' mentor for half a day (thank you!). |
||
== Location == |
== Location == |
||
Line 59: | Line 88: | ||
'''Zurich, Switzerland''' |
'''Zurich, Switzerland''' |
||
+ | |||
+ | Here is a map with [https://www.google.com/maps/d/edit?mid=zizk28jdgSYw.kTu0mNVlZpBo map with all important locations]. |
||
To learn more about the city, please see the [http://en.wikipedia.org/wiki/Zurich '''Wikipedia'''] and [http://wikitravel.org/en/Zurich '''Wikitravel'''] articles. |
To learn more about the city, please see the [http://en.wikipedia.org/wiki/Zurich '''Wikipedia'''] and [http://wikitravel.org/en/Zurich '''Wikitravel'''] articles. |
||
+ | See here for [http://www.zvv.ch/ public transport in the Zurich area]. |
||
− | * ZuriHac will be hosted at the Google offices, [https://www.google.ch/maps/place/Google/@47.36554,8.524864,17z/data=!3m1!4b1!4m2!3m1!1s0x0:0x6ce64332aeeb16ba '''Brandschenkenstrasse 110, 8002 Zurich'''] |
||
− | |||
− | === Getting around === |
||
− | |||
− | Local transport links: |
||
− | |||
− | http://www.zvv.ch/en/ |
||
'''A note on day tickets:''' |
'''A note on day tickets:''' |
||
Line 77: | Line 102: | ||
You can buy tickets from [http://www.zvv.ch/en/tickets/automatic-ticket-machine/index.html the ticket machines]. |
You can buy tickets from [http://www.zvv.ch/en/tickets/automatic-ticket-machine/index.html the ticket machines]. |
||
+ | |||
+ | Please note that all public transit in Zürich '''is free on Sunday''' (more precisely from Sunday, May 31st, 00.00, to June 1st, 05.00) due to anniversary of ZVV. |
||
== Accommodation == |
== Accommodation == |
||
Line 89: | Line 116: | ||
== Schedule == |
== Schedule == |
||
+ | {| |
||
+ | |- |
||
+ | ! !! Friday !! Saturday !! Sunday |
||
+ | |- |
||
+ | | 9am || doors open || doors open; french breakfast (*7) || doors open; french breakfast (*7) |
||
+ | |- |
||
+ | | 10am || opening ceremony & projects intro (*1) || || |
||
+ | |- |
||
+ | | 11am || Jannis Limperg, Monads by example (*4) || Gergely Risko, Template Haskell (*4) || Johan Tibell, Performance (*4) |
||
+ | |- |
||
+ | | 12pm || || lunch snacks (*3) || pizza lunch (*6) |
||
+ | |- |
||
+ | | 1pm || Oliver Charles, Web programming (*4) || || |
||
+ | |- |
||
+ | | 2pm || proper lunch (*5) || Mathieu Boespflug, Distributed programming (*4) || |
||
+ | |- |
||
+ | | 3pm || || || |
||
+ | |- |
||
+ | | 4pm || Duncan Coutts, Better faster binary serialization || Edward Kmett, Discrimination is Wrong: Improving Productivity || project summaries (*1) |
||
+ | |- |
||
+ | | 5pm || buy food and head to || || |
||
+ | |- |
||
+ | | 6pm || the [[/BBQ|BBQ at the lake]] || || doors close |
||
+ | |- |
||
+ | | 7pm || *sizzle,sizzle* || || |
||
+ | |- |
||
+ | | 8pm || *chomp* =) =) || doors close || |
||
+ | |} |
||
+ | |||
+ | === Notes === |
||
+ | (*1) If you are hosting a project, please be there to both introduce it and give a summary afterwards. Also, please add your project to the [[/Projects|projects page]]. |
||
+ | |||
+ | (*3) We will provide salad and sandwiches or similar snacks for you. Because of limited budget we cannot serve a real lunch meal every day. Of course you can go to a local grocery shop and bring food and drinks with you. |
||
+ | |||
+ | (*4) Beginners' track; Those talks will happen in a separate area, so if you don't want to attend you won't be disturbed. |
||
+ | |||
+ | (*5) On Friday we will provide a proper lunch mean. |
||
+ | |||
+ | (*6) On Sunday we will provide three types of pizzas and a salad. |
||
+ | |||
+ | (*7) Coffee/tea and croissants. Make sure to eat something more substantial beforehand if you are not used to such light breakfasts. |
||
+ | |||
+ | == Talks == |
||
+ | |||
+ | The links to the slides of the talks can be found on the [https://github.com/meiersi/HaskellerZ#2015-meetups '''HaskellerZ github page''']. |
||
+ | |||
+ | === Edward Kmett === |
||
+ | Title: Discrimination is Wrong: Improving Productivity |
||
+ | |||
+ | Abstract: |
||
+ | This talk is a case study in library design in Haskell. |
||
+ | |||
+ | Fritz Henglein has shown through a number of excellent papers how to use "discrimination" to do lots of things in O(n): Sorting many more data types than you'd expect, table joins, etc. |
||
+ | |||
+ | In the process of optimizing this approach and wrapping it up in a form that can be easily consumed, we'll take a lot of detours through the different ways you can think about code when optimizing Haskell. |
||
+ | |||
+ | * We'll need some category theory, from a deeper understanding of monoids to Day convolution. |
||
+ | * We'll need to consider final and initial encodings. |
||
+ | * We'll need to drift down to low level system concerns from building a custom foreign prim to nesting unsafePerformIO within unsafePerformIO. |
||
+ | * We'll need properties of laziness from productivity to IVars. |
||
+ | |||
+ | Along the way we'll find and fix a small problem with the initial discrimination paper, which opens the door to streaming results, rather than having to wait until all the input is ready. |
||
+ | |||
+ | === Duncan Coutts === |
||
+ | Title: Better faster binary serialization |
||
+ | Abstract: |
||
− | The schedule has not yet been fixed. It will look roughly as follows. |
||
+ | This talk is a case study in low level optimization in Haskell. |
||
− | === Friday === |
||
+ | We have existing libraries for binary serialization but the mainstream |
||
− | Hacking hours: 10:00 to 18:00. |
||
+ | ones use bad formats, and could always be faster. We will look at new |
||
+ | work to improve on the existing libraries, to use a new better format, |
||
+ | and to dramatically improve performance. |
||
+ | We will go into the details of a number of standard and new techniques |
||
− | ==== Introduction ==== |
||
+ | for getting a good combination of performance with features and |
||
+ | flexibility. |
||
+ | * High+low level approach to eliminating unnecessary allocations in deserialization |
||
− | Please come before '''11:00'''. At 11:00 there will be projects introduction and discussion. |
||
+ | * Surprising use of deep embeddings and interpreters |
||
+ | * Moving work from compiled code to an interpreter |
||
+ | * Rewrite rules to improve interpreted code |
||
+ | * Deep embedding of composition to give statically allocated descriptions of branching programs |
||
+ | * Types to safely use unsafe low level data structures |
||
+ | * Looking at STG code to see allocations and other problems |
||
+ | * Fast path / slow path tricks |
||
+ | * Explicit control stacks |
||
+ | * ABIs / calling conventions for unknown functions |
||
+ | There'll be plenty of code, types and benchmarks. |
||
− | ==== Talk at 17:00 ==== |
||
+ | === Jannis Limperg === |
||
− | Speaker: Edward Kmett. |
||
+ | Title: Monads by example |
||
+ | Abstract: The Monad type class is used extensively in both the Haskell standard |
||
+ | library and numerous third-party libraries for all sorts of domains. |
||
+ | Yet, it is also one of the most infamous roadblocks for Haskell |
||
+ | beginners, which this talk aims to address. |
||
+ | In order to build an intuition for what a Monad 'is' and especially for |
||
− | === Saturday === |
||
+ | how it's useful in everyday programming, we will take a look at several |
||
+ | important instances of the Monad class from the standard library (and |
||
+ | the de-facto standard transformers package): Maybe, Either, [], State |
||
+ | and IO. The examples will focus for the most part on how these very |
||
+ | different types are all instances of the abstract concept of a Monad, |
||
+ | and how using this abstraction and the associated syntactic sugar (do |
||
+ | notation) can lead to cleaner, more readable code. Afterwards, we will |
||
+ | take a look at how the Monad class is defined by a set of simple laws |
||
+ | that every Monad instance must obey. Time permitting, we may also touch |
||
+ | upon slightly more advanced topics such as Monad transformers and how |
||
+ | Monads are related to Functors and Applicative Functors. |
||
+ | Prerequisites: [http://learnyouahaskell.com/chapters LYAH] up to and including chapter 8 (or of course |
||
− | Doors open at 10:00. |
||
+ | anything else that covers the same topics). In particular, a basic |
||
+ | understanding of algebraic data types and type classes is essential. |
||
+ | === Oliver Charles === |
||
+ | Title: An Introduction to Web Programming |
||
+ | Abstract: For many people, Haskell is not their first programming language - a lot of us learnt to program in other languages like Python or Java, and would like to be able to use Haskell to solve practical problems. However, what seem to be simple web applications in other languages can be daunting to even begin using Haskell. In this talk, we'll look at how to build a small web application to allow ZuriHac participants to share what they have been working on. We'll use the Spock web framework along with postgresql-simple to build a basic CRUD application, and see how we can start prototyping a simple web application within minutes. |
||
− | ==== BBQ at Lake Zurich ==== |
||
+ | === Gergely Risko === |
||
− | If weather permits, then we'll have a BBQ at the Lake near Wollishofen. |
||
+ | Title: Template Haskell |
||
+ | Abstract: Template Haskell is the meta programming extension for GHC. In this |
||
+ | talk we will investigate and livecode some basic concepts of code |
||
+ | generation and code introspection provided by this facility. We will |
||
+ | also take a look on an example: the hflags command line parsing |
||
+ | library. |
||
− | === |
+ | === Mathieu Boespflug === |
+ | Title: Distributed Programming |
||
+ | Abstract: Shifting from building compilers and desktop applications to online |
||
− | Doors open at 10:00. |
||
+ | services and mobile apps means that Haskell programming is |
||
+ | increasingly about building systems, not standalone data-in data-out |
||
+ | contraptions. Systems that are distributed across anything from a |
||
+ | handful to millions of machines. We'll look at what Haskell has to |
||
+ | offer for building robust and scalable distributed systems, starting |
||
+ | from the paradigms popularized in other languages to more idiomatic, |
||
+ | safe and composable models. |
||
− | + | === Johan Tibell === |
|
+ | Title: Performance |
||
+ | Abstract: Production quality code not only needs to compute the correct result, |
||
− | On the afternoon participants will give short five-minute talks about the |
||
+ | but needs to do so within some given resource constraints (i.e. time |
||
− | work that they have done on the Hackathon. |
||
+ | and memory). We'll look at the most common optimizations you can use |
||
+ | to make your Haskell code perform better and some rules of thumb you |
||
+ | can use in your daily Haskell programming to avoid some performance |
||
+ | problems "by design". |
||
== Projects == |
== Projects == |
||
See the [[/Projects|projects page]]. |
See the [[/Projects|projects page]]. |
||
− | == |
+ | == Communication == |
+ | If you have any questions before the event, please reach out to Gleb Peregud <gleber.p@gmail.com> or Alexander Bernauer <acopton@gmail.com>. If you are a confirmed participant, you will receive update emails from Gleb or Alex as well. |
||
− | The main communication channel during the Hackathon will be our IRC channel: '''#zurihac''' at Freenode. |
||
+ | Before the event, and in particular during the event, you can find us and other participants on irc://freenode.net/#zurihac. In addition, feel free to post on Twitter and Google+ using the hashtag '''#zurihac'''. |
||
− | '''#zurihac''' is our Twitter/Google+ hashtag as well. |
||
== Organizers == |
== Organizers == |
Latest revision as of 08:31, 31 May 2015
When: | Friday 29th of May 2015 - Sunday 31st of May 2015 |
Where: | Google, Zurich, Switzerland |
Talks by Edward Kmett and
Duncan Coutts
Important:
Switzerland has its own power sockets. We can't provide converters for everybody so make sure to bring one along. Do note that the Europlug will fit in a Swiss power socket.
About
On the last weekend of May 2015, the Zurich Haskell Meetup group will organize ZuriHac 2015, a three day Haskell Hackathon hosted at the Google offices.
This is the fourth Haskell Hackathon in Zurich. The previous three were ZuriHac2014, ZuriHac2013, and ZuriHac2010.
The Haskell Hackathon is an international, grassroots collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure.
This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools or even start new ones!
This year, we want to have a special focus on beginners. During the whole event there will be beginners' mentors on site who you can directly approach at any time with any Haskell-related question you might have. Also, we will be having introductory talks for beginners, focusing on conveying experience that cannot simply be gathered by reading books or blog posts.
Sponsors
Google Switzerland hosts the Hackathon.
Venue notice
Visitors are not allowed to take any photos in the venue. No distribution of any Google work-related information visible inside the building. Visitors should always have a visitor sticker visible. Guests can not be left unattended.
News
- 29th of May 15
- links to the slides published in the HaskellerZ repo
- 27th of May 15
- the BBQ will take place on Friday 29th of May (do bring some warm clothes)
- 25th of May 15
- Extended venue map with some Zurich by Night suggestions
- 9th of April 15
- Confirmed beginners' talks
- 26th of March 15
- Edward Kmett announced his talk title
- 6th of March 15
- Duncan Coutts confirmed as second invited speaker; swapping days with Edward.
- 4th of March 15
- Registration is open
- 10th of February 15
- Added wiki page
Registration
We have reached our maximum capacity. If you want to be queued into the wait list please still fill out this form: http://goo.gl/forms/L24NgFRvCw
If somebody cancels, we will fill up the seats from the wait list in first come first serve order. Please don't book anything before we have confirmed a seat for you.
Attendees
Here is the list of participants who have signed up for ZuriHac 2015 and have chosen their name to be listed there.
And here is the distribution of the expertise level of all of the participants:
Beginner | Advanced | Expert |
---|---|---|
51 | 49 | 20 |
45 participants offered to be a beginners' mentor for half a day (thank you!).
Location
Zurich, Switzerland
Here is a map with map with all important locations.
To learn more about the city, please see the Wikipedia and Wikitravel articles.
See here for public transport in the Zurich area.
A note on day tickets:
Day tickets in Zurich run for 24 hours and can be used on all forms of transport, bus, train, tram.
If you arrive via airplane, please note that the airport is outside of the zone 10, which only covers the city of Zurich itself. Since zone 10 counts double, you will need a ticket for 3 zones then.
You can buy tickets from the ticket machines.
Please note that all public transit in Zürich is free on Sunday (more precisely from Sunday, May 31st, 00.00, to June 1st, 05.00) due to anniversary of ZVV.
Accommodation
We recommend the following accommodation options:
- http://www.langstars.com/en/ Youthhostel, CHF 50 per night.
- https://www.airbnb.com/ Airbnb, variable.
- Hotel Neufeld, http://www.hotel-neufeld.ch/.
Schedule
Friday | Saturday | Sunday | |
---|---|---|---|
9am | doors open | doors open; french breakfast (*7) | doors open; french breakfast (*7) |
10am | opening ceremony & projects intro (*1) | ||
11am | Jannis Limperg, Monads by example (*4) | Gergely Risko, Template Haskell (*4) | Johan Tibell, Performance (*4) |
12pm | lunch snacks (*3) | pizza lunch (*6) | |
1pm | Oliver Charles, Web programming (*4) | ||
2pm | proper lunch (*5) | Mathieu Boespflug, Distributed programming (*4) | |
3pm | |||
4pm | Duncan Coutts, Better faster binary serialization | Edward Kmett, Discrimination is Wrong: Improving Productivity | project summaries (*1) |
5pm | buy food and head to | ||
6pm | the BBQ at the lake | doors close | |
7pm | *sizzle,sizzle* | ||
8pm | *chomp* =) =) | doors close |
Notes
(*1) If you are hosting a project, please be there to both introduce it and give a summary afterwards. Also, please add your project to the projects page.
(*3) We will provide salad and sandwiches or similar snacks for you. Because of limited budget we cannot serve a real lunch meal every day. Of course you can go to a local grocery shop and bring food and drinks with you.
(*4) Beginners' track; Those talks will happen in a separate area, so if you don't want to attend you won't be disturbed.
(*5) On Friday we will provide a proper lunch mean.
(*6) On Sunday we will provide three types of pizzas and a salad.
(*7) Coffee/tea and croissants. Make sure to eat something more substantial beforehand if you are not used to such light breakfasts.
Talks
The links to the slides of the talks can be found on the HaskellerZ github page.
Edward Kmett
Title: Discrimination is Wrong: Improving Productivity
Abstract: This talk is a case study in library design in Haskell.
Fritz Henglein has shown through a number of excellent papers how to use "discrimination" to do lots of things in O(n): Sorting many more data types than you'd expect, table joins, etc.
In the process of optimizing this approach and wrapping it up in a form that can be easily consumed, we'll take a lot of detours through the different ways you can think about code when optimizing Haskell.
- We'll need some category theory, from a deeper understanding of monoids to Day convolution.
- We'll need to consider final and initial encodings.
- We'll need to drift down to low level system concerns from building a custom foreign prim to nesting unsafePerformIO within unsafePerformIO.
- We'll need properties of laziness from productivity to IVars.
Along the way we'll find and fix a small problem with the initial discrimination paper, which opens the door to streaming results, rather than having to wait until all the input is ready.
Duncan Coutts
Title: Better faster binary serialization
Abstract:
This talk is a case study in low level optimization in Haskell.
We have existing libraries for binary serialization but the mainstream ones use bad formats, and could always be faster. We will look at new work to improve on the existing libraries, to use a new better format, and to dramatically improve performance.
We will go into the details of a number of standard and new techniques for getting a good combination of performance with features and flexibility.
- High+low level approach to eliminating unnecessary allocations in deserialization
- Surprising use of deep embeddings and interpreters
- Moving work from compiled code to an interpreter
- Rewrite rules to improve interpreted code
- Deep embedding of composition to give statically allocated descriptions of branching programs
- Types to safely use unsafe low level data structures
- Looking at STG code to see allocations and other problems
- Fast path / slow path tricks
- Explicit control stacks
- ABIs / calling conventions for unknown functions
There'll be plenty of code, types and benchmarks.
Jannis Limperg
Title: Monads by example
Abstract: The Monad type class is used extensively in both the Haskell standard library and numerous third-party libraries for all sorts of domains. Yet, it is also one of the most infamous roadblocks for Haskell beginners, which this talk aims to address.
In order to build an intuition for what a Monad 'is' and especially for how it's useful in everyday programming, we will take a look at several important instances of the Monad class from the standard library (and the de-facto standard transformers package): Maybe, Either, [], State and IO. The examples will focus for the most part on how these very different types are all instances of the abstract concept of a Monad, and how using this abstraction and the associated syntactic sugar (do notation) can lead to cleaner, more readable code. Afterwards, we will take a look at how the Monad class is defined by a set of simple laws that every Monad instance must obey. Time permitting, we may also touch upon slightly more advanced topics such as Monad transformers and how Monads are related to Functors and Applicative Functors.
Prerequisites: LYAH up to and including chapter 8 (or of course anything else that covers the same topics). In particular, a basic understanding of algebraic data types and type classes is essential.
Oliver Charles
Title: An Introduction to Web Programming
Abstract: For many people, Haskell is not their first programming language - a lot of us learnt to program in other languages like Python or Java, and would like to be able to use Haskell to solve practical problems. However, what seem to be simple web applications in other languages can be daunting to even begin using Haskell. In this talk, we'll look at how to build a small web application to allow ZuriHac participants to share what they have been working on. We'll use the Spock web framework along with postgresql-simple to build a basic CRUD application, and see how we can start prototyping a simple web application within minutes.
Gergely Risko
Title: Template Haskell
Abstract: Template Haskell is the meta programming extension for GHC. In this talk we will investigate and livecode some basic concepts of code generation and code introspection provided by this facility. We will also take a look on an example: the hflags command line parsing library.
Mathieu Boespflug
Title: Distributed Programming
Abstract: Shifting from building compilers and desktop applications to online services and mobile apps means that Haskell programming is increasingly about building systems, not standalone data-in data-out contraptions. Systems that are distributed across anything from a handful to millions of machines. We'll look at what Haskell has to offer for building robust and scalable distributed systems, starting from the paradigms popularized in other languages to more idiomatic, safe and composable models.
Johan Tibell
Title: Performance
Abstract: Production quality code not only needs to compute the correct result, but needs to do so within some given resource constraints (i.e. time and memory). We'll look at the most common optimizations you can use to make your Haskell code perform better and some rules of thumb you can use in your daily Haskell programming to avoid some performance problems "by design".
Projects
See the projects page.
Communication
If you have any questions before the event, please reach out to Gleb Peregud <gleber.p@gmail.com> or Alexander Bernauer <acopton@gmail.com>. If you are a confirmed participant, you will receive update emails from Gleb or Alex as well.
Before the event, and in particular during the event, you can find us and other participants on irc://freenode.net/#zurihac. In addition, feel free to post on Twitter and Google+ using the hashtag #zurihac.
Organizers
The events are organized in name of the Zurich Haskell meetup group by the following people:
- Gleb Peregud (Google)
- Alexander Bernauer (Google)
- Johan Tibell (Google)
- Simon Meier (IBM Research)