google-research / google-research/dex-lang

Convention: should type-class names generally be adjectives?

Open
#396 5 comments 0 reactions 0 assignees View on GitHub
discussion
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.