「Haskell入門 関数型プログラミング言語の基礎と実践」の読書メモ。 第1章 はじめてのHaskell 1.1 Haskell の特徴（p.2） haskell.hatenablog.com 1.1 Haskell の特徴 Column Haskellの歴史 第1章では Haskellの特徴 Stack（ビルドツール）を中心とした開発…

入門Haskellプログラミングの読書メモ。 haskell.hatenablog.com (p.13 ～) UNIT 1 関数型プログラミングの基礎 関数型プログラミング学習時の注意点 UNIT 1 関数型プログラミングの基礎 プログラミングという行為を理解する方法には主に２つあります。 命令…

入門Haskellプログラミングの読書メモ。 haskell.hatenablog.com (p.1 ～) LESSON 1 Haskellを使用するための準備 Haskellのインストール GHCiの利用 LESSON 1 Haskellを使用するための準備 レッスン1では、次の内容を取り上げます。 Haskellの開発ツールの…

ラムダ計算の入門書を読んだら、Schemeで説明されていました。 haskell.hatenablog.com なので、Schemeの本を読んでついでに勉強してみようと思いました。 プログラミングGauche 作者:Kahuaプロジェクト 発売日: 2008/03/14 メディア: 大型本 Gauche（ゴーシ…

数学の動画コンテンツについてまとめた記事がありました。 数学系YouTubeコンテンツinfinitytopos.wordpress.com 圏論の動画も紹介されていました。 ●ゆる圏 YouTube チャンネル https://www.youtube.com/channel/UCyhP4s6961ebUp-jPv4yDwg/ 「ベーシック圏…

Haskellを習得するコツが提案されていました。 １．純粋な関数と値 ２．パターンマッチング ３．直和型と直積型 ４．副作用を作るためにIOをつなぐ方法 williamyaoh.com Haskellを習得するために、最初は難しいことを学ばなくても大丈夫、とのこと。 In part…

関数型プログラミングの学習で、いろいろな本や教材に手を出しています。 最近は、時間があるときにHaskellやOCamlの本を読んでいます。 いろいろ思うところがあって、積読になっていたLispの本の復習も始めました。 「入門Common Lisp」という本です。 入門…

Haskellの勉強メモ。 haskell.hatenablog.com (p.121) 関数の型 Haskellでは、演算子もまた関数です。 演算子に()（丸カッコ）を付けると、関数として扱えます。 まだ、:tでその型も確認できます。 Prelude> :t (&&) (&&) :: Bool -> Bool -> Bool ->が2個も…

Haskellの勉強メモ。 haskell.hatenablog.com (p.120) 関数の型 Prelude> :t not not :: Bool -> Bool ->という矢印のような表現が型の部分に出てきました。 関数の型はこのように「何かの型->何かの型」という型で表され、「矢印の元の型の値を受け取って、…

Haskellの勉強メモ。 haskell.hatenablog.com (p.119) 型の確認と型注釈 GHCiでは、:t（コロンt）コマンドで実際にGHCiが認識している型を確認できます。 「:t」とは「:type」の省略形でした。 haskell.jp 型(type)の情報の出力（:tコマンド） GHCの対話環境…

Lisp勉強のメモ。 はじめてのLisp関数型プログラミング――ラムダ計算からリファクタリングまで一気にわかる (Software Design plus) 作者: 五味弘,272 出版社/メーカー: 技術評論社 発売日: 2016/03/18 メディア: 大型本 この商品を含むブログ (4件) を見る (…