1. The schism between static and dynamic languages has been long and bitter. Static types provide performance, safety, and intelligent IDE assistance. Dynamic languages are simpler and make it easier to use polymorphism and metaprogramming. I observe that in dynamic application frameworks like Rails the essential uses of polymorphism and metaprogramming occur (or could occur) during an initialization phase of the program. For example, generating classes for an Object Relational Mapping. Accordingly I demonstrate a language that is dynamic during an initial phase and then static henceforth. Initialization is performed by a bounded partial evaluation that computes all types, instantiates all generics, and executes all metaprogramming. What remains after this partial evaluation is a statically type-checked runtime. A notable (but perhaps orthogonal) feature is that types are implicit, never being mentioned within the language syntax or error messages. This approach may unite much that is good in both static and dynamic programming.

    # vimeo.com/74314050 Uploaded 5,293 Plays / / 6 Comments Watch in Couch Mode
  2. Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful

    Guy L. Steele, Jr.; Sun Microsystems

    International Conference on Functional Programming (ICFP)
    Edinburgh 2009

    # vimeo.com/6624203 Uploaded 13.5K Plays / / 2 Comments Watch in Couch Mode
  3. This tutorial explains what live.path, live.object, and live.observer do and how to use them.

    # vimeo.com/6800100 Uploaded 13.8K Plays / / 10 Comments Watch in Couch Mode
  4. Rob (@rob_pike) is a software pioneer. His influence is everywhere: Unix, Plan 9 OS, The Unix Programming Environment book, UTF-8, and most recently the Go programming language.

    # vimeo.com/49718712 Uploaded 50.4K Plays / / 0 Comments Watch in Couch Mode
  5. For references and more information, see worrydream.com/dbx

    Presented at Dropbox's DBX conference on July 9, 2013.

    Bret Victor -- worrydream.com

    # vimeo.com/71278954 Uploaded 218K Plays / / 0 Comments Watch in Couch Mode



Programming using C++

Browse This Channel

Shout Box

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels