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.

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

Move RESTful API and gRPC support into plugins. #1

Open
Jisu-Woniu opened this issue Dec 10, 2023 · 1 comment
Open

Move RESTful API and gRPC support into plugins. #1

Jisu-Woniu opened this issue Dec 10, 2023 · 1 comment

Comments

@Jisu-Woniu
Copy link
Member

The dependency tree is relatively large, so maybe we should consider moving some functionality into the plugin. This may help reduce compilation time and coupling.

依赖树相对较大,或许应该将一部分功能移至插件中。这样可能有助于减少编译时长,降低耦合度。

@Jisu-Woniu
Copy link
Member Author

Jisu-Woniu commented Dec 10, 2023

Prerequisite:

  • Plugin API
    • Plugin configuration
      • Definition
      • Parsing
    • Judger abstraction
  • Dependency injection (Maybe not needed since we can control them with feature flags now)
    Possible choices:

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

No branches or pull requests

1 participant