User-defined block functions should be allowed to get explicit types
オープン
enhancement
funblocks
- 主要言語
- Haskell
- スター
- 1.3k
- フォーク
- 201
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Since CodeWorld enables scoped type variables, it's possible to implement this in the pattern. For example, https://code.world/#PF-6FWEOWxwYUV5oUgJ3Fkg
コントリビューションガイド
調査の方向性
リンクされている CodeWorld の例から始め、ユーザー定義のブロック関数がどのように解析され、型チェックされるかを追跡します。関連する実装を探す前に、例から明示的な型の意図された構文とスコープを明確にします。完了の条件は、既存のブロック関数の動作を後退させることなく、例が明示的な型で動作することです。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- haskell
- 領域
- compilers
- issue の種類
- 機能追加
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- 説明が足りない
- 初心者へのやさしさ
- 35/100