top | item 32284113 (no title) s-zeng | 3 years ago Taking a moment to plug https://dhall-lang.org/, a truly non-imperative solution in this space discuss order hn newest throwaway23329|3 years ago As much as I like Dhall, it needs unions like in typescript so we don't see `Some` littered everywhere. hither_shores|3 years ago Like other forms of subtyping, unions make type inference much harder - typically undecidable. This is, of course, incompatible with guaranteed termination.
throwaway23329|3 years ago As much as I like Dhall, it needs unions like in typescript so we don't see `Some` littered everywhere. hither_shores|3 years ago Like other forms of subtyping, unions make type inference much harder - typically undecidable. This is, of course, incompatible with guaranteed termination.
hither_shores|3 years ago Like other forms of subtyping, unions make type inference much harder - typically undecidable. This is, of course, incompatible with guaranteed termination.
throwaway23329|3 years ago
hither_shores|3 years ago