Speaker
Description
Since the introduction of type annotations in python3.x and the arrival of static analysis packages like mypy and pyright, more and more Python code is statically typed. Type systems work by providing compile-time error checking and a fast feedback loop for particular types of error at the expense of increasing verbosity and reducing the overall number of possible programs a language can produce to a type-safe subset. For these reasons there has been some resistance to adopting typing in Python due to its historical position as a very simple, versatile language and easy in-route for novices and dabblers. However at Diamond we feel there is a good case for adopting it everywhere and treating Python as a statically typed language, especially for facility-scale software developed in close collaboration with users.
| Abstract publication | I agree that the abstract will be published on the web site |
|---|
