4 ms·

Thanks for the links! A bit off topic, but Domain theory reminds me of Cuelang which manages types/values using a lattice data structure. This allows you to def

by dqpb 6y ago

Thanks for the links! A bit off topic, but Domain theory reminds me of Cuelang which manages types/values using a lattice data structure. This allows you to define configuration by progressively refining types until all values are concrete, at which point they can no longer be changed. The Logic of CUE: https://cuelang.org/docs/concepts/logic/ https://cuelang.org/docs/concepts/logic/

memexy 6y ago
Good to know. Anyone using it? Are there good examples I can take a look at? Your comparison makes sense after I looked at the CUE docs. The explanation for booleans is exactly how it's modeled as a domain, it is isomorphic to the lattice of subsets of the 2 element set with true and false. Domains and lattices are closely related, I think there might even be a duality theorem that says they're equivalent (probably Stone duality but I'm not sure).