関数型プログラミング言語Haskell Part33at TECH

---

836:デフォルトの名無しさん
21/04/16 21:38:11.49 gUR6Epkt.net
>>808
型駆動開発(TDD)はidris作者が本出してるけどそれのことかいな？
であれば予想してるように依存型前提よ
パターンマッチはデータ構築子に沿って分解してるだけだから
(x:xs)だけじゃなくて(xs++[x])でパターンマッチできるようにSQLよろしく型レベルのウインドウ関数つくりましょう
IDEにコード生成させましょう
とかって大変楽しい本だった

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch