Jared Cone (Oct 19 2024 at 16:24): Jared Cone (Oct 19 2024 at 16:24):I thought I recall one of the talks I've seen on Roc mentioned that Bool was just a tag union of [True, False]. But it seems now it's a special type with values Bool.true and Bool.false. Am I misremembering, or did that change?
Anton (Oct 19 2024 at 16:27):Yes, that changed, that was a couple of years ago I believe
Anton (Oct 19 2024 at 16:31):It is still a tag union under the hood :)
Jared Cone (Oct 19 2024 at 17:16):oh, why not have it be a tag union publicly?
Anton (Oct 19 2024 at 17:21):Good question, I do not remember :sweat_smile: perhaps it was to discourage the use of bools and encourage tags with a nice name
Anton (Oct 19 2024 at 17:28):Last updated: Jul 26 2025 at 12:14 UTC