google-research / google-research/dex-lang
Convention: should type-class names generally be adjectives?
- Dominant language
- Haskell
- Stars
- 1.7k
- Forks
- 116
- PR merge metrics
- No merged PRs in 30d
Description
Not coming from a Haskell background, it feels odd to me that type-classes are all nouns.
idk if there is a good reason for it,
but if it is nothing but history, feels like we have a chance to make a different choice.
- `Eq` (equals) => `Equatable` (Swift uses this?)
- `Ord` (ordinal) => `Orderable` or `Comparable`
- `Show` => `Showable`
- `Add` => `Addable` or `PlusZeroMonoidal`
- `VSpace` => `Linear` (Not so sure about this one, maybe `VSpace` is better even though it is a noun)
Contributor guide
Research direction
No files, tests, or entry points are named. Start by reviewing the existing type-class names listed in the issue and the project's naming conventions; done means reaching a clear decision on whether names such as Eq, Ord, Show, Add, and VSpace should be changed, with an agreed scope for any renaming.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100