programming-language

Currently, this is defined only for arrays, but it seems like we should have

normalize(x::Number) = x / abs(x)

(I just came across this when trying to implement this algorithm for random unitary matrices, which is basically Q * Diagonal(normalize.(diag(R)), but I discovered that normalize didn't work.)

Abstract

We need a CI job that runs mypy on every PR and reports type errors in Python code.

Motivation

Currently type annotations in our Python scripts are not checked at all. This is because the interpreter does not enforce them and an external tool is needed. mypy is currently the most popular one (though there are some others and we could use one of

Currently they use 20.04

The builder will need to be updated and then the version of said builder will need to be updated in .cirrus.yml.

This should get a changelog entry.

Ubuntu 22.04 will be available on or around April 21, 2022.

You can already do ucm version, but ucm --version is a pretty standard thing to be able to do, and I find that I keep typing it.

It's also expected by default for certain tools like help2man (though that one can be configured to look for ucm version).

Motivation

The .postf is a neat shortcut for posting a formatted string.

But personally I see my self doing things like "% is not implemented yet".format("something").warn and the equivalent with .error all the time.

Description of Proposed Feature

Add the following methods to String:

// Equivalent to .postf
St

i.e. src/one/two/three.js and src/one/two/three.erl.

We will need to track Erlang module names to ensure there are no clashes. For example src/one/themodule.erl and src/two/themodule.erl in one project is an error.