Skip to content
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

Component: Type-Checking #5257

Open
4 tasks
StachuDotNet opened this issue Jan 13, 2024 · 0 comments
Open
4 tasks

Component: Type-Checking #5257

StachuDotNet opened this issue Jan 13, 2024 · 0 comments
Assignees
@StachuDotNet

Comments

@StachuDotNet
Copy link
Member

StachuDotNet commented Jan 13, 2024 •
edited
Loading

Dark aims to be a gradually statically typed language.

At this point, we have incomplete run-time checking, and no at-rest / static type-checking.

The most pressing work to be done here is finishing the run-time checking efforts abandoned a few months ago.

It'll probably be easiest to have @StachuDotNet finish this work, but happy to hand off to anyone interested.

Run-time

  • link to relevant PRs
  • link to Dynalist
  • revisit the pending PRs and finish the work

At-Rest / Static / Ahead-of-Time

  • build something basic
@StachuDotNet StachuDotNet added the needs-review I plan on going through each of the issues and clarifying them -- this is to mark remaining issues label Feb 14, 2024
@StachuDotNet StachuDotNet changed the title Component: At-Rest / Static / Ahead-of-Time Checker Component: Type-Checking Feb 19, 2024
@StachuDotNet StachuDotNet removed the needs-review I plan on going through each of the issues and clarifying them -- this is to mark remaining issues label Feb 19, 2024
@StachuDotNet StachuDotNet self-assigned this Feb 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@StachuDotNet StachuDotNet

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@StachuDotNet