Remote Interactive Course "A Compact Introduction to Haskell"

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

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

This course targets developers with knowledge in any programming language, but with no or just limited knowledge of Haskell. The course covers all the basics of the Haskell language, the Haskell type system, and the core libraries. The course does not merely show language features, but emphasizes the philosophy of Haskell and functional programming as well. It shows how programmers can use the type system to work for them and let it guide them in writing their programs, and it demonstrates how to systematically structure code (both with and without side-effects) in a language like Haskell. Haskell being the prime example of a well-designed purely functional programming language, this course is also excellent for people who are generally interested in functional programming, but want to apply concepts of functional programming in other languages such as for example Scala or F#.This 16-hour course will be split over four UK mornings (09:00 to 13:00 GMT) on 4th-7th November 2019. It will be delivered using the Google Meet video conferencing platform. This course will be a mixture of lectures, discussions and live coding. The maximum course size is deliberately kept small so that it is still possible to ask and discuss individual questions.This course includes:A Quick Tour of Haskell <ul><li> An overview of all important Haskell concepts</li></ul>Type-directed Programming<ul><li> Pattern matching and function definitions</li><li> Basic datatypes: lists, Bool, tuples, Maybe</li><li> Defining new datatypes</li><li> Haskell syntax</li></ul>Polymorphism and higher-order functions<ul><li> Parametric polymorphism</li><li> Overloading and type classes</li><li> Basic type classes: Eq, Ord, Show, Read</li><li> Numeric types and classes</li><li> Higher-order functions: filter, map, …</li><li> Composing functions</li><li> Abstracting from design patterns: foldr, foldl, …</li><li> The Functor class</li><li> Haskell module system</li><li> Finite maps and sets</li></ul>Input/Output<ul><li> How to model side effects in Haskell</li><li> The IO type</li><li> Composing IO actions</li><li> How to separate IO code from “pure” code</li><li> do notation</li><li> IO-based libraries (random numbers, file IO, …)</li><li> Derived high-level IO functions</li></ul>Applicative Functors and Monads<ul><li> Abstracting from common patterns</li><li> How Maybe-based code can be simplified</li><li> How explicit state passing can be modelled</li><li> The Monad class</li><li> More monad examples</li><li> IO as a monad</li><li> Library functions on monads</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 780 including UK VAT (GBP 650 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 "A Compact Introduction to Haskell"

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 "A Compact Introduction to Haskell"

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.