mypy – A New Python Variant with Dynamic and Static Typing

Very interesting python development… drop in static typing. The mypy programming language is an experimental Python variant that aims to combine the benefits of dynamic or “duck” typing and static typing. Our goal is to have the expressive power and convenience of Python combined with compile-time type checking. The long-term goal is to also support …

Continue reading ‘mypy – A New Python Variant with Dynamic and Static Typing’ »

emacs-nav – Emacs mode for filesystem navigation – Google Project Hosting

Nav is a lightweight solution for Emacs users who want something like TextMate’s file browser, or the Eclipse project view. Unlike these two, Nav only shows the contents of a single directory at a time. Nav can be run painlessly in terminals, where Speedbar either fails on its attempt to make a new frame or …

Continue reading ‘emacs-nav – Emacs mode for filesystem navigation – Google Project Hosting’ »