This is the presentation I gave about Emacs Org-mode for the GNU Hackers meeting in Paris, august 2011. Thanks to Ludovic Courtès for his kind invitation, to the audience for the nice questions and to IRILL/Jason Self for providing these videos. Check all presentations and videos out here:
The first 8 minutes are a general introduction of Org-mode, similar to the one I gave in FOSDEM.
From there, I do a small interactive demonstration of basic Org features: headlines, TODO keywords, agenda views, clocking tasks and clock reports, properties, HTML, LaTeX, OpenDocument Format exports, tables, Babel source code manipulation, etc.
Demonstration is done using Emacs 23.3 and Org 7.7 and no configuration at all.
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.