Skip to content

Add links to the Scala 3 Language Specification. #2906

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.

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

Merged
merged 1 commit into from
Sep 20, 2023

Conversation

sjrd
Copy link
Member

@sjrd sjrd commented Sep 20, 2023

image
image

@sjrd sjrd requested a review from SethTisue September 20, 2023 14:13
Copy link
Member

@SethTisue SethTisue left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 🎉

attn @Kordyjan, note the version-numbered spec link — updating that should be added to the Scala 3 release steps, I think

@SethTisue
Copy link
Member

@sjrd I hope you're planning on blogging about this? At any length you choose. I think at least a short blog post to crow about this is definitely merited, and if you were in the mood to make it longer, I imagine any additional material you added about what was involved would be of great interest to language mavens.

@sjrd sjrd merged commit 83cfe6f into scala:main Sep 20, 2023
@sjrd sjrd deleted the link-spec-of-scala-3 branch September 20, 2023 16:08
@sjrd
Copy link
Member Author

sjrd commented Sep 20, 2023

Yes, that's a good point. I'll see what I can do tomorrow.

@SethTisue
Copy link
Member

SethTisue commented Sep 20, 2023

I'll record my other feedback from our conversation earlier, which is that ideally it should be clear in the spec itself what pieces are still missing. Up front, or in an appendix, either way.

I recall you said extension methods were still missing; I forget what else.

@sjrd
Copy link
Member Author

sjrd commented Sep 20, 2023

Given's and using's 😅
Yes, I'll follow up on that in the dotty repo tomorrow as well, once scala/scala3#18526 is merged for automatic updates.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants