0:00 / 0:00
#idris#elaboratorreflection#dependenttypes
2 10 Elaborator Reflection: Extending Idris in Idris
ICFP Video
3.8K subscribers • 23 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
2.4K views10 years ago1 recommendation
Programming languagesLanguage design and type systemsFunctional programming
This ICFP talk presents elaborator reflection in Idris, allowing programmers to extend the language's elaborator using Idris itself.
The uploader added no description.Why it's here
1 person recommends thisWhat people say. Recommended as a key presentation on metaprogramming and elaborator reflection in dependently typed languages.