0:00 / 0:00
Dynamic Typing in GHC
Compose Conference
2.9K subscribers • 30 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Dr. Stephanie Weirich
Advanced. Deep dive for people who know the field.
2K views10 years ago1 recommendation
Programming languagesHaskellLanguage design and type systems
Stephanie Weirich explains how GHC supports dynamic typing and type-safe cast operations using Typeable and related extensions.
Dr. Stephanie Weirich C◦mp◦se :: Conference composeconference.org/ February 4, 2016Why it's here
1 person recommends thisu/sclvin r/haskell • Mentions
On “[GHC Proposal] Type-indexed Typeable”
Stephanie Weirich also gave a very nice and clear talk on this at Compose for those who would like a "gentler" introduction:
link to this video
u/Faucelmein r/haskell • Mentions
On “Purely functional, total implementation of ST/STRef?”
The A reflection on types paper and the related talk by Stephanie Weirich touch on that.