カテゴリー 「Haskell」

■[Haskell] ［増補改訂］関数プログラミング実践入門

コロナ自粛で勉強中。以前買ったHaskell本を読み直している。落ち着いて読めば結構理解できる。

https://gihyo.jp/book/2016/978-4-7741-8390-9

この本の概要

現場の方々に向け，関数プログラミングのエッセンスを厳選解説した入門書。

関数型言語Haskellを用い，基本から，Java 8/C/C++/Python/JavaScript/Rubyをはじめ各種命令型言語との比較，オススメの開発/設計テクニック等を平易に解説。

改訂版ではGlasgow Haskell Compiler 8ならびに新機構のStackage/stackへの全面対応，関数型言語由来の他言語の機能解説章（第8章）の新設（Swift/Go/Rust/C#等の例も紹介）をはじめ実践開発に役立つ解説を増強し，関数型言語でも命令型言語でも活かせる「使える基本」を凝縮しました。

こんな方におすすめ

• 簡潔なコードを書きたい方
• 安全でバグらせにくい，正しいコードの設計/実装に関心のある方々
• JavaやC++などメジャーな命令型言語の新機能と関数型言語の関係に興味をお持ちの方々

Permalink | 記事への反応(0) | 23:19

ツイートシェア

■[Haskell] Haskell学習のカリキュラム案

1. Haskellの文法を学ぶ。
2. 圏論を学ぶ。
3. 圏論の知識を基にして、再びHaskellを見直す。

Haskellの文法書だけを読む

圏論→Haskellの対応関係

となっていることを、最初は知らなくてもOK。

単にHaskellの文法を学ぶだけで、背後にある考え方（圏論）は、まだ知らなくてもOK。

圏論の基礎

圏論は元々数学で考案された考え方なので、直接的には代数やとトポロジーの知識が必要になるが、そこまでのレベルは求めていない。

とりあえず、プログラミングで使える程度の初歩的なレベルの理解で十分。

圏論の具体的な応用例としてHaskellを見直す。

圏論の知識を基にして、Haskellの文法や仕組みを見直してみる。

型注釈は対象を定義して、関数は射を定義していることが分かる。

ファンクター、アプリカティブ、モナドで、手続き型の順次・反復・分岐を表現できることが分かる。

Permalink | 記事への反応(1) | 20:17

ツイートシェア

■[Haskell]　関数型プログラミング学習

Haskell、関数型プログラミング、圏論の学習方法について検討してみよう。

• anond:20190824122309 [Haskell] プログラミングHaskell 第2版
• anond:20190912201725 [Haskell] Haskell学習のカリキュラム案

Permalink | 記事への反応(0) | 20:04

ツイートシェア

■[Haskell] プログラミングHaskell 第2版

https://www.lambdanote.com/products/haskell

著者前書き

狙い

Haskell は純粋関数型のプログラミング言語です。

Haskell を使うことで、明瞭簡潔にして正確なソフトウェアを素早く開発できます。

本書の対象読者は、その Haskell を学ぼうとする現役のプログラマー、大学生、高校生などの幅広い方々です。

プログラミングの経験がなくてもかまいません。

読者が何も知らないことを前提に、あらゆる概念についてゼロから説明していきます。

そのために例題と練習問題も慎重に選びました。

題材のほとんどは、科学的な考え方になじみがあれば、16 才くらいでも十分に理解できるでしょう。

Permalink | 記事への反応(1) | 12:23

ツイートシェア