u/mightybytein r/haskell • Recommends
Compose Conference - Type Provides and Error Reflection in Idris
0:00 / 0:00
#idris#type-providers#dependent-types
Compose Conference - Type Providers and Error Reflection in Idris
NYC Haskell User's Group
1.7K subscribers • 23 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
Advanced. Deep dive for people who know the field.
1.7K views11 years ago2 recommendations
Programming languagesLanguage design and type systemsFunctional programming
David Christiansen discusses how Idris implements type providers and error reflection to improve the developer experience with dependent types.
C◦mp◦se :: Conference composeconference.org/ January 31, 2015 Type Provides and Error Reflection in Idris by David ChristiansenWhy it's here
2 people recommend thisWhat people say. Recommended for its demonstration of type providers and error reflection capabilities in Idris.
Moments people linked to
u/gmarponsin r/haskell • Recommends
On “Type providers in Haskell”
I'd like to have type providers for (Postgre-)SQL schemas similar to those shown in this talk: Type Providers and Error Reflection in Idris. Is this feasible? Furthermore, we could have some kind of type-checked embedded SQL, including all Postgres functions. I mean writing SQL as a Haskell EDSL with GHC pointing out type mismatches, wrong column names, etc.
u/gallaisin r/haskell • Mentions
On “Towards Idris Version 1.0”
And Idris has some error reflection machinery.