3 ms·
A little language for dimensional analysis programming: https://github.com/whatgoodisaroad/doggerel https://github.com/whatgoodisaroad/doggerel Rather than sta
by whatgoodisaroad 6y ago
A little language for dimensional analysis programming: https://github.com/whatgoodisaroad/doggerel https://github.com/whatgoodisaroad/doggerel
Rather than static types, primitive values have static dimensions and (in lieu of objects) complex values are built up into unordered vectors. The core idea being that if the language makes it easy to spin up descriptive purpose-built dimensions, vectors are the only data structure we need!
It started out as a straightforward attempt to program with units and conversions, but slowly generalized to this vector concept. The next steps are about building a static dimension language (like a type language) to slice-and-dice vectors with projections.