New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Existential effect members #68

Open

b-studios opened this issue Apr 15, 2022 · 1 comment

Labels

feature

Collaborator

b-studios commented Apr 15, 2022

It would be great, if we could have existential type and effect members on interfaces.

b-studios added the feature label

b-studios mentioned this issue

Existential types #245

Closed

phischu mentioned this issue

Module System #30

Open

Collaborator

phischu commented May 9, 2023

Consider

interface Num {
  type R
  def add(x: R, y: R): R
}

What is the actual difference to

interface Num[R] {
  def add(x: R, y: R): R
}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment