Static typing of python scientific program using Hindley Milner algorithm - View it on GitHub