Type Inference for Dynamically-Typed Languages
Types play an important role in programming languages, by encoding contracts and invariants that enable modular programming and efficient code generation. Unfortunately, types can sometimes get in the way of rapid prototyping and code patching, which is why several popular languages for scripting are dynamically typed. These languages seem willing to trade the benefits of types for expressiveness and flexibility. Fortunately, type inference can restore most of the lost benefits to such languages, thereby letting programmers "have the cake and eat it too." In this talk I will describe two type inference techniques---one static and the other dynamic---for dynamically-typed languages. One technique is designed to improve the performance of dynamically-typed code without changing its behavior. The other technique is designed to unravel information on dynamically-typed code that is hard to analyze statically. I will conclude with some open questions on how to combine these techniques for pushing the state-of-the-art in compiling dynamically-typed languages.
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Type Inference for Dynamically-Typed Languages», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.