Apparently you use "literal" for sum or inductive types? I've always thought of that word as meaning "introduction form".
Conversation
Oh, I don’t have inductive types yet. Maybe ‘builtin’ might be better?
1
(Yeah I wasn't quite sure what they were from those few lines :) just guessed based on the elimination form.)
Builtin would better convey the idea to *me* indeed, if that's what they are. Can't speak for anyone else of course :)
1
Yeah I kind of want literals to be more extensible to in the future too. So they’d be less.... builtin? ‘Constant’ perhaps?
1
I think an issue is I still don't know what feature we're discussing the name for :D
1
Check out the literals in `core/src/syntax/mod.rs`
1
1
Things like floats and ints and chars and strings and such.
1
I think I'd call these 'primitives' but you already have something else called Prim? :)
Anyway Builtin is fine too. In what way were you contemplating making them less-builtin in the future?
1
Like having the literal syntax be more extensible, to support byte literals, ascii, different encodings, big nums etc.
1
1
Not sure if I want it to be ‘open’ to more exotic numbers too, but would need to figure out how to map those at the low level codegen side of things...
1