In this talk by Alejandro Serrano, we will go through different Functional Programming concepts with a deep dive into Functors.

haskell

Do more with your types: GADTs and LiquidHaskell

One of the main selling points of Haskell is its strong type system. How can you squeeze it even further, and go beyond the type systems limits? And when should you do that?

This talk provides an introduction about two seemingly disparaging topics, which share a common goal: to provide a more expressive type language to be more precise in describing values. On the one hand, we have Generalized Algebraic Data Types (GADTs for short), a very popular GHC extension. On the other hand, we have LiquidHaskell, a plug-in for the GHC compiler which adds support for so-called refinement types.

Both approaches give you tools to prevent the hideous “head applied to an empty list” problem without having to manually check for emptiness. Instead, we make our tools more aware of the shape of the values (the length of the list, in this case), so it can automatically check whether calls to head are correct at compile-time.

A Q&A session will immediately follow the talk.

Enroll for FreeStarts on August 25 at 6 PM CET

Trainers

Alejandro Serrano

Alejandro Serrano

Senior Software Engineer

Skills

  • Haskell
  • LiquidHaskell
  • GADTs

This Talk includes:

  • Q&A session
  • Access to slides
  • Access to Academy Slack

Requirements:

  • General Programming skills in Haskell

Frequently Asked Questions

Is this course 100% online?

Yes

How do I register interest for a course with no start date or future training dates?

You can join the Academy newsletter to stay posted about upcoming courses and events.

What if I can’t find a course?

Please email your thoughts and suggestions to academy@47deg.com, and we’ll get back to you as soon as possible.

Will I receive accreditation for a course?

For any paid training courses, we intend to launch an accreditation process after the launch of Academy. If you take a paid training course before this time, we’ll make sure to send an accreditation when we’re ready.

What tools do I need to access 47 Degrees Academy content?

The only thing you need is a modern web browser and Internet connection. For training courses with code workshops or downloadable code samples, the course specifics will include the necessary tools and instructions to get going.

Will I earn university credit for completing any training?

No, at this time, the courses are not intended to replace university or other formal education courses. If you are an academic or training institution with an interest in partnering or licensing content from Academy, please get in touch at academy@47deg.com.

What languages will the training be given in?

English is the common language across 47 Degrees. If you have an interest in supporting other languages, please let us know at academy@47deg.com.

Is financial aid available for underrepresented or low-income groups?

Our industry is not diverse enough across many measures of representation. Nor is it easily accessible to many minorities or those in low-income scenarios. If you feel that you belong to an underrepresented minority or need help financially, please fill this form. We can apply a course voucher to your registered Academy account. The voucher can be redeemed against any paid course on a one-time basis. The voucher is non-transferable, non-refundable, and has no financial value.

What is the refund policy?

If you request a refund for a paid training course before taking it, we will refund your course fee during our next processing cycle. If you request a refund for a paid training course after starting or accessing it, please email us at academy@47deg.com. Please refer to the full Terms and Conditions before requesting a refund. 47 Degrees reserves the right to refuse refunds.

Are these courses qualified for the FUNDAE (Fundación Tripartita)?

Part of the course cost is reimbursable for companies located in Spain, through Fundae ( formerly, Fundación Tripartita ). If this is your case, please contact us through academy@47deg.com before enrolling in a course.

Do you have more questions? Contact us