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
-
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