programming-language

As discussed on Discourse, it would be nice to have !foo return a ComposedFunction, which would

1. allow dispatch and specialized methods for !foo
2. allow nicer pretty printing of !foo as "!foo" rather than as "#xx (generic function with 1 method)" (by overloading show for ComposedFunction{typeof(!)}

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.