A Typed Language For Dimensional Numerical Quantities.

Define the type. Define the quality.
Make numerical meaning explicit before computation begins.

Overview

UnitValues defines two domain-specific typed languages for numerical quantities:

• Unit Types (.ut) for defining units from fundamental dimensions.
• Unit Informed Values (.uiv) imports Unit Types and uses dimensional construction to encode numerical quantities.

Language specification for .ut and .uiv can be found within docs/language.pdf

Implementation

UnitValues is implemented by PicoUnits.
You can try the language today by installing PicoUnits:

pip install PicoUnits

Example

.ut

# Example Units - Derived from Fundamental Dimensions (kg, m, s, A, etc.)
[version]
format: 0.1.0
 
[units]
# name: unit
p: kg*m^-1*s^-2                       # Defines the unit for pressure (Pascal)
V: kg*m^2*s^-3*A^-1                   # Defines the unit for voltage

Note

The fundamental unit semantics and prefixes (kg, m, s, A, etc.) & (u, m, k, M, etc.) is defined by the runtime environment.

.uiv

[version]
format: 0.1.0
unit_frame: units.ut

[model]
# name: value prefix(unit)
num_samples: 100                        # Implicitly dimensionless
sample_size: 10         (∅)             # Explicitly dimensionless
output_energy: 1.0      (kg*m^2*s^-2)   # Defines unit via construction
output_signal: 5.0      (V)             # Defined unit `V` for voltage
inlet_pressure: 101     k(p)            # Defined unit `p` for pressure with kilo prefix

Local Installation

To install the UnitValues extension locally for Visual Studio Code:

• From the Marketplace: Install UnitValues directly from the VS Code Marketplace

Manual Installation

To install the UnitValues extension manually for Visual Studio Code:

Windows

npx @vscode/vsce package
code --install-extension .\UnitValues-0.0.3.vsix --force

MacOS/Linux

npx @vscode/vsce package
code --install-extension ./uiv-0.0.3.vsix --force

Documentation

All internal documentation can be found within this repo's issues.