Haskell勉強会

関数型プログラミングの学習日記

2018-08-01から1ヶ月間の記事一覧

すべてを関数と見なす

関数型プログラミングの特徴として、「すべてを関数と見なす」という考え方が紹介されていました。 関数型言語ML (SML, OCaml, etc.), Part 7 10 :デフォルトの名無しさん:2017/12/28(木) 09:57:11.71 id:H09IESsG.net 関数型って変数が定数になっただけ?…

プログラミングの基礎 1.3 準備

今日は、OCamlの実行環境を用意します。 haskell.hatenablog.com 1.3 準備 (p.4) 本書では、OCaml処理系がすでにインストールされており、コマンドラインから起動できることを仮定しています。 インストールの方法などについては1.4節で紹介するサポートペー…

プログラミングの基礎 1.2 使用する言語

今日も関数型プログラミングの学習です。 haskell.hatenablog.com 1.2 使用する言語 (p.3) 本書で使用する言語は、関数型言語のひとつであるOCamlです。 これで「オーキャムル」と発音します。 本書では、OCamlを使ってプログラミングを学習します。 OCaml -…

プログラミングの基礎 1.1 デザインレシピ

haskell.hatenablog.com 1.1 デザインレシピ 本書の目標は、3段構えになってました。 メトロネットワーク最短路問題を解く コンピューターサイエンスの基礎=データ構造とアルゴリズムの理解 正しいプログラムを作る方針=「デザインレシピ」の理解 (p.2) プ…

プログラミングの基礎 第1章 はじめに

haskell.hatenablog.com 第1章 はじめに 本書の目標は、「メトロネットワーク最短路問題」を解くプログラムを作ること。 haskell.hatenablog.com 東京の地下鉄にはいろんな路線があるけど、どの路線を使えば最短で移動できるか?を計算するプログラムですね…