Feature: memory info

[madcampos]

There is a new option for displaying memory information.

display_type property

The attribute schema has a new property called display_type, for now it only supports the memory value. The reasoning behind adding a new property instead of extending the editable attribute one is that this only affects the display of the attribute, does not make it editable and don't add any options for changing the display.

The updated attribute schema looks like this:

interface Attribute {
  key: string,
  value: string,
  editable?: { ... };
  display_type?: 'memory';
}

Notes on the value

The value for the attribute should be a floating point number, serialized as a string. Javascript only has one number type¹ encoded as an IEEE 754 double precision 64bit floating point.

So, in general, whatever conforms to Python's float type will be interpreted the same in javascript.

The UI is making the following assumptions:

• value is a floating point number that is not NaN
• value is grater than or equal to 0
• value is smaller than or equal to 1

Display example

Here is how the attribute is displayed:

Footnotes

1. Technically, there are two number formats, the other one being BigInt for arbitraty precision integers, but using that requires changes on math operations and potentially the use of a specialized library for doing division and other operations that yield fractional/floating point numbers. The all porpouse number type is Number. ↩