CUE lang [1] is one instance where the idea of data types as lattices is implemented in industry [1]: https://cuelang.org/docs/concept/the-logic-of-cue/#the-va

CUE lang [1] is one instance where the idea of data types as lattices is implemented in industry [1]: https://cuelang.org/docs/concept/the-logic-of-cue/#the-value-lattice https://cuelang.org/docs/concept/the-logic-of-cue/#the-value...