test type checker
オープン
まだ誰も着手していません。
- 主要言語
- Python
- スター
- 53
- フォーク
- 16
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Verify the type checking meets parity with OOPSLA paper.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、BioScript の型チェッカーのエントリーポイントを特定し、OOPSLA 論文の型検査要件を確認します。論文に基づいて一連のチェックを作成し、実装の動作と比較します。型チェッカーが論文との同等性を検証できれば完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- compilers, testing
- issue の種類
- 機能追加
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 活発さ
- 停滞
- 明瞭さ
- 説明が足りない
- 初心者へのやさしさ
- 25/100