FieldType should be a proper algebraic type
Open
core
java
P3
sub-task
- Dominant language
- Java
- Stars
- 8.7k
- Forks
- 4.7k
- Avg merge
- 2d 2h
- Merged PRs (30d)
- 205
Description
TypeName mixes atomic types and type constructors. Or, equivalently, it does not distinguish by arity the type constructors. It would be best to make this an ADT.
Imported from Jira [BEAM-4083](https://issues.apache.org/jira/browse/BEAM-4083). Original Jira may contain additional context.
Reported by: kenn.
Subtask of issue #18898
Contributor guide
Research direction
Start by locating the FieldType and TypeName definitions and reading their surrounding type-model code. Determine how atomic types and type constructors are currently represented, then verify that the resulting model distinguishes constructors by arity and has appropriate tests.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- backend-api-design
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100