Remote Interactive Course on "Haskell Performance & Optimisation"

Well-Typed was founded in March 2008 as a specialist Haskell consultancy company. We provide application development, library and tool maintenance, project advice, and training.We offer a number of predefined remote courses or can develop a training program tailored to your needs. Whether you have no Haskell experience and want to learn the basics, or are a experienced Haskeller who need to master some advanced topics, we can provide you a training program. If you have any questions, pleasecontact us by mail.Our teachers have more than a decade of experience with Haskell, functional programming, compiler design, and related areas. We have been training people at all experience levels, both in academia and in industry.

Well-Typed - The Haskell Consultants

Two half days of online lectures, discussions and live coding, delivered by Andres Löh  for up to 8 participants.

A course for developers who have made their first steps in Haskell and written a few programs, and who now want to take a look beyond the surface of Haskell and really get the details of how things are implemented. This 8-hour course will be split over two mornings UK time (09:00 to 13:00 BST) on 22nd and 23rd October 2019. It will be delivered using the Google Meet video conferencing platform.It is part of the beauty of Haskell that you typically do not have to think too hard about performance. You can write code in a concise and declarative way, and still have it perform fast.Sometimes, however, it pays off to know more about how programs run. Choosing the right data structure can make the difference between a program that runs instantaneous or one that runs forever. Making programs either too strict or too lazy can cause space leaks, which may not only result in too much memory being used (which can be very bad for long-running processes), but also result in more work for the garbage collector and make everything slower.In this course, we’ll take a look at how Haskell (and GHC) implement things internally. We’ll discuss the internal representation of data on the heap, what exactly lazy evaluation means and how it works, how the compiler translates Haskell code to a target language via several internal representations, what you can and cannot reasonably expect the compiler to do, and how you can tweak the optimizer behaviour by using compiler pragmas such as inlining annotations.This course is likely to be enjoyed more by participants who already have gained some practical experience in writing Haskell code, but no particular experience of advanced language features is required.The course includes the following topics:<ul><li>Lambda calculus</li><li>Evaluation strategies (call-by-value, call-by-need / lazy evaluation).</li><li>Strictness analysis and space leaks.</li><li>Performance-oriented debugging.</li><li>GHC's Core language.</li><li>Inlining and other optimisations.</li></ul>About the teacherAndres Löh has more than 20 years of Haskell experience, and more than 15 years of teaching experience. He has taught many courses on all things Haskell, including a type-level programming course at the <a href="https://www.cs.ox.ac.uk/projects/utgp/school/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Summer School on Generic and Effectful Programming</a>. He helped establish the <a href="https://uu-afp.github.io/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Utrecht Summer School</a> on Applied Functional Programming and <a href="https://iohk.io/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">IOHK</a>’s course on <a href="https://iohk.io/blog/iohk-haskell-and-cryptocurrency-course-in-barbados/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Haskell and Cryptocurrencies</a>. He is a co-author or contributor to various packages that involve type-level programming, including <a href="https://hackage.haskell.org/package/generics-sop" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">generics-sop</a> and <a href="https://hackage.haskell.org/package/servant" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">servant</a>. He has a PhD from Utrecht University.Ticket PriceTickets are GBP 390 including UK VAT (GBP 325 excluding VAT). If you are purchasing a ticket on behalf of a VAT-registered EU business, please enter your VAT number in the registration form to pay VAT in your country via the reverse charge mechanism.Cancellation PolicyIf you are unable to attend after purchasing a ticket, please request a refund through Eventbrite; we will consider requests on a case-by-case basis and respond within 5 working days. The Eventbrite fee included in the ticket price is nonrefundable, unless the course is cancelled entirely.There is no minimum number of participants for the course. If unforeseen circumstances prevent Andres Löh from being able to deliver the course, we will endeavour to run the course with another experienced Haskell teacher from Well-Typed. In the unlikely event that we have to cancel the course, you will receive a refund or a replacement course at a different time.If you have any queries or require further information please email info@well-typed.com.

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Remote Interactive Course on "Haskell Performance & Optimisation"

More events from Well-Typed - The Haskell Consultants

Discover more events from Well-Typed - The Haskell Consultants, from Business to other experiences you might love.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.

Remote Interactive Course on "Haskell Performance & Optimisation"

More events from Well-Typed - The Haskell Consultants

Discover more events from Well-Typed - The Haskell Consultants, from Business to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.