8000
Rename
Comment options
You must be logged in to vote
Comment options
You must be logged in to vote
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji
reacted with thumbs down emoji
reacted with laugh emoji
reacted with hooray emoji
reacted with confused emoji
reacted with heart emoji
reacted with rocket emoji
reacted with eyes emoji
Rename __todo__
#1607
sampersand
started this conversation in
Ideas
Replies: 2 comments 2 replies
-
I don't think 1 or 2 is better than The third option would make sense, while |
Beta Was this translation helpful? Give feedback.
2 replies
-
|
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Added in RBS 3.2,
__todo__
is an alias foruntyped
which is intended to denote that a type hasn't been fleshed out yet.I like the idea, but I'm not a fan of the name
__todo__
, as it breaks RBS's naming convention: It's a type alias (which should start with lowercase letters), but starts with a_
like interfaces.Ideas for solutions:
todo__
. Not a huge fan of, because it looks a bit clunkytodo
. Also not a huge fan, as this will probably conflict with user stuff^_*[a-z]\w*
and interfaces are^_+[A-Z]\w*
.I'm personally partial to the third option
Beta Was this translation helpful? Give feedback.
All reactions