Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On! · 4 件のHN推薦
動画への質問
現在の場面の解説や、動画全体の要約を AI に頼めます。回答にタイムスタンプがある場合は、選択するとその場面に移動します。
質問例：ここで話し手は何を説明していますか？
Google でのログインが必要です。確定前に消費クレジットの上限を確認できます。
Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.
HNで推薦される理由： Recommended as the best demo of interactive, compiler-assisted dependently typed programming in action.
“Watch Edwin Brady's demo of Idris 2 [2] to see this form of interactive development in action.” HNのコメントを読む ↗