Skip to content
Hallway
0:00 / 0:00

#haskell#dependenttypes#exinst

Sandy Maguire - Some1 Like You Dependent Pairs in Haskell - λC 2017

LambdaConf

8.8K subscribers • 19 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Sandy Maguire

Intermediate. Assumes working knowledge.

1.7K views9 years ago2 recommendations

Programming languagesHaskellFunctional programming

Sandy Maguire demonstrates how to achieve type safety for complex problems in Haskell using dependent pairs and the exinst library.

Description: The session will work through a motivating example that cannot be made type safe using standard Haskell techniques. We will bring in the exinst library (hackage.haskell.org/package/exinst) to help us deal with this problem, and we will derive a type safe implementation. Slides: reasonablypolymorphic.com/some1-like-you/#/title

Why it's here

2 people recommend this

What people say. Recommended as an excellent talk on the practical application of dependent types and the exinst library in Haskell.

u/ephrionin r/haskell • Recommends

On “LambdaConf 2017 recorded sessions - 156 videos”

I really liked Som1 Like You. Nice talk on practical application of dependent types.
5View on Reddit

u/k0001in r/haskell • Recommends

On “Having problems with GADTs and deriving.”

If you can make the index to your GADT be a singleton type, then you can rely on exinst to derive many of these instances for you, without any TH. If you are interested, please read the tutorial in the `Exinst` module. Also, /u/isovector described exinst's approach in his excellent talk Some1 Like You
4View on Reddit

u/gelisamin r/haskell • Mentions

On “LambdaConf 2017 recorded sessions - 156 videos”

According to the LambdaConf program, the Haskell ones are: 1. Adjunctions in Everyday Life * Building a Blogging System with Haskell and Yesod * Corecursion, Codata, and Just a Little Combinatorial Game Theory * Deforestation and Program Fusion * Enhancing your Haskell with Dependently Typed Programming * Froid: Functional Programming on Android * Functional Infrastructure With Nix * Graphics Programming with LambdaCube 3D * Greek Classics: Lambda Calculus For Beginners * Higher order Abstractions * How to Program like a Five Year Old in Haskell * I Command You to be Free! * Less is More with MonadReader * Let's Lens * Mighty Morphin Data Types * [Neural Networ…
33View on Reddit