5 ms·
Taking a moment to plug https://dhall-lang.org/ https://dhall-lang.org/, a truly non-imperative solution in this space
by s-zeng 4y ago
Taking a moment to plug https://dhall-lang.org/ https://dhall-lang.org/, a truly non-imperative solution in this space
- throwaway23329 4y agoAs much as I like Dhall, it needs unions like in typescript so we don't see `Some` littered everywhere.
- hither_shores 4y agoLike other forms of subtyping, unions make type inference much harder - typically undecidable. This is, of course, incompatible with guaranteed termination.