effekt-lang / effekt-lang/effekt

Structural Subtyping

Open
#65 0 comments 0 reactions 0 assignees View on GitHub
feature
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

We should reconsider the design of records and datatypes / variants. Some form of structural subtyping could prove to be more convenient / flexible to use.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.