Basecamp - 2-minute Demo
Managing your business with emails, meetings and chats? No wonder it's getting chaotic. Basecamp is the saner, organized way to stay on top of your projects, teams and company-wide communication.
Over the last few years, static type checkers have become available for popular dynamic languages like PHP (Hack) and JavaScript (Flow and TypeScript), and have seen wide adoption. Two years ago, a provisional syntax for static type annotations was added to Python 3. However, static types in Python have yet to be widely adopted, because the tool for checking the type annotations, mypy, was not ready for production use… until now!