Computer Sience & Engineering
كامپيوتر و مهندسی
Business and Economics
اقتصاد و بازرگانی
Sciences
علوم پايه
Health and Medicine
علوم پزشكی
K-12 and Education
علوم تربيتی
Art and Humanities
فرهنگ و هنر
Social Sciences
علوم انسانی
Documentary Movie Store
فروشگاه فيلم‌های مستند

Home>Computer Sience & Engineering>Video & Slide>New Entries>1
 
Generalized Algebraic Data Types and All That

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

توضيح مختصر اين عنوان به فارسی (هيچ موردی اضافه نشده است)

كاربر محترم، در صورتی كه از اين عنوان استفاده نموده و یا مهارت زبان انگليسی شما به حدی است كه می‌توانید مفهوم توضيحات فوق را به فارسی برگردانید، تقاضا می‌شود به جهت آنكه ساير دوستانتان كه با اين عنوان آشنايی نداشته و يا ممکن است سطح زبان انگليسی آنها در حدی نباشد كه توصيحات فوق را درك نمايند نیز بتوانند از آن استفاده کنند، با كليك برروی به يكديگر بياموزيم  و وارد نمودن هر چند مختصر شرح و توضیح اين عنوان به فارسی، علاوه بر در اختیار همگان قرار دادن دانش خود ، راهنمای دیگر دوستانتان دراستفاده از اين عنوان نیز باشید.

نام Name:
تحصيلات Education:
شهر City:
Email: عدم نمايش Hidden      نمايش Visible
 



Order on DVD
سفارش برروی لوح فشرده
Download
دريافت
 Add to My Library
اضافه به كتابخانه من
 

 Add Comment نظر بدهيد


نام Name:
تحصيلات Education:
شهر City:
Email: عدم نمايش Hidden       نمايش Visible
 


©2009 i-google.ir
اين پايگاه اينترنتي متعلق به گروه دانش گستران جوان بوده و هر گونه برداشت مطالب از آن به شرط ذكر نام بلامانع است.