I propose the following syntactic type-system based on units:
- Capital $E,S,U$ [ETH]
- lowercase $s$ [1] (dimless fractions)
- greek $\gamma,\phi,\beta$ [1/Yr] (frac rates: intensive flows)
- underset
\to $\underset{\to}{R},\underset{\to}{I}$ [ETH/Yr] (extensive flows)
(wanted mathcal but not supported apparently)
We would need to change $f\mapsto\phi$ and $y\mapsto\gamma$ and $q_\pm\mapsto\kappa_\pm$ and all the flows.
We keep $\dot{s}$ etc. the same -- $[\dot{s}]=[\sigma]=$ 1/Yr.
I propose the following syntactic type-system based on units:
\to(wanted
mathcalbut not supported apparently)We would need to change$f\mapsto\phi$ and $y\mapsto\gamma$ and $q_\pm\mapsto\kappa_\pm$ and all the flows.
We keep$\dot{s}$ etc. the same -- $[\dot{s}]=[\sigma]=$ 1/Yr.