Join Skills Matter for the virtual Haskell eXchange 2020 conference. This two-day event runs from November 4th to November 5th, and features expert-led talks and breakout spaces for getting to know likeminded people from the international Haskell community.
47 Degrees software engineer Eric Bond will be giving a talk on November 5th.
Stronger Types! : A Brief Introduction to Refinement Types and Dependent Types
Haskell is known for its strong static typing but there are even stronger typing disciplines! Refinement types are types ‘annotated’ with ‘predicates’. Dependent types allows terms to appear in types. Both of these disciplines allow the programmer to be more specific. A classic example is defining a type of lists of length ‘n’. Both of these disciplines allow the programmer to prove that some function is valid on all possible inputs, a much stronger proof of correctness than a battery of tests. How are these two disciplines different? How do they work? How can you experiment with them? I’ll answer these questions and demonstrate with examples in A Brief Introduction to Refinement Types and Dependent Types.
Do you want free tickets to Haskell eXchange 2020? We’ve got some tickets to give away! If you’d like to enter for a chance to win, simply retweet this tweet with the reason you want to attend Haskell eXchange or your favorite Haskell feature, and include the hashtag #HaskellX and tag @skillsmatter. Winners will be announced on Monday, November 2nd.
Check out the event website for the speaker lineup, the full event schedule, and to register.