だめぽラボ 「Haskellでの型レベルプログラミング」
技術書典マーケット：Haskellでの型レベルプログラミング：だめぽラボ 概要 Haskellでの型レベルプログラミングの解説書です。型とカインドの基本から入って、現行のHaskellで依存型を模倣するやり方であるシングルトンパターンを目指します。Haskellによる定理証明も扱います。 この本はZennで公開している同名の本に加筆修正を加えたものです。主な加筆内容は「型レベルリスト」「定理証明の代償」「Dependent Haskellへの展望」です。サンプルコードをGitHubで公開しています。 Zenn版：Haskellでの型レベルプログラミング サンプルコード（GitHub） 目次 はじめに……ii 第1章 型とカインド……1 第2章 幽霊型とProxy……3 2.1 幽霊型……3 2.2 Proxy型……5 第3章 発展：カインド多相……7 3.1 カインド推論とカインド多相……
プログラミングとは ― 最強のカレーレシピ ― - golden-luckyの日記
「うちの学校でもついにプログラミングの授業が始まったよ」 「それは興味深いね。どんなふうに教えてるの？ やっぱりScratchとか？」 「Scratch？ ああ、プログラミング言語のことか。プログラミング言語は使わなくていいんだよ」 「え？」 「小学校で学ぶプログラミングっていうのは、プログラミング言語を覚えさせることが目的じゃないからね。システム思考力とかロジカルシンキングって聞いたことあるだろ？」 「あるかないかでいったら、あるよ」 「プログラミング言語みたいなのは、単なる技術だ。それは仕事で必要な人だけが覚えればいい。子どもたちに教えるべきことは、プログラミング言語みたいな技術じゃなくて、システム思考やロジカルシンキングの延長といえるプログラミング的思考なんだよ」 「プログラミング的思考っていうのが、システム思考やロジカルシンキングとどう違うのか、いまいちよくわからないんだけど…」
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
