BT
rss
48:51

The Trouble With Types

Posted by Martin Odersky  on  Oct 28, 2013 4

Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs they make.

24:40

Dependent Types for JavaScript

Posted by Ravi Chugh  on  Mar 20, 2013

Ravi Chugh introduces Dependent JavaScript (DJS), a statically-typed system for the imperative, object-oriented, dynamic language.

30:00

Static vs. Dynamic Languages

Posted by Stuart Williams  on  Feb 25, 2013 7

Stuart Williams discusses the merits of dynamic languages, definitions, stereotypes, myths, suggesting when and how to introduce such a language in production.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2013 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT