From the Series از مجموعه : Generalized Algebraic Data Types and All That
Produced by تهيه كننده : Microsoft Research
Date تاريخ : 2006-08-22 Generalized Algebraic Data Types and All Thatdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Description توضيح : Generalized algebraic data types (GADTs) extend algebraic data types by a form of type refinement connected to pattern matchings. There are numerous useful examples which exploit this feature such as type-safe evaluators etc.
In this talk, I take a closer look at the GADT type inference problem and investigate how to compile GADTs to a typed intermediate language. Specifically, I will explain why type inference for GADTs is such a hard problem and suggest possible solutions to guarantee complete and decidable type inference. I also argue for a combination of GADTs with other type extensions such as type classes. This provides the user with reasoning capabilities which used to be the domain of specialized tools such as
Related Links لينكهای مرتبط : - Generalized Algebraic Data Types and All Thatdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Speaker(s) اجرا : Martin Sulzmann, assistant professor, School of Computing, National University of Singapore
Runtime مدت زمان : 01:08:07
Video Size حجم ويدئو : 136 MB
Number of Slides تعداد اسلايدها : 77 (5 MB) Generalized Algebraic Data Types and All Thatdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research
|