separate data structures for unresolved/resolved types
オープン
- 主要言語
- Haskell
- スター
- 952
- フォーク
- 50
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
A large source of type-system bugs relates to using `AtomType` to represent both unresolved (with type variables) and fully-resolved types together. It would reduce the bug potential to separate them into two, perhaps as:
```
data UnresolvedAtomType = TypeVariableType TypeVariableName | ResolvedAtomType
data ResolvedAtomType = IntegerAtomType | ...
```
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。