Get-Programming-with-Haskell_Lesson_2 の履歴(No.2)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Get-Programming-with-Haskell_Lesson_2 へ行く。
  • 1 (2019-09-15 (日) 19:17:48)
  • 2 (2019-09-15 (日) 19:17:48)

Haskell ＞ 本 ＞ 入門Haskellプログラミング ＞ LESSON 2

入門Haskellプログラミング†

#html{{

table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4798158666/vertex9-22/" target="_blank"><img src="" border="0"></a></td>

td>　</td>

td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4798158666/vertex9-22/" target="_blank">入門Haskellプログラミング</a><br>Will Kurt<br>翔泳社<br>2019-07-31<br>￥ 4,104</td></tr></table>
}}

LESSON 2†

• 関数型プログラミングの概要
• Haskellでの単純な関数の定義
• Haskellでの変数の宣言
• 関数型プログラミングの利点

Haskellの関数の３つのルール†

1. すべての関数が引数を受け取らなければならない。
2. すべての関数が値を返さなければならない。
3. 関数が同じ引数で呼び出されたときは常に同じ値を返さなければならない。（参照透過性）

ラムダ計算†

1930年代、数学者アロンゾ・チャーチが関数と変数（x、y）のみを使用する論理システムの作成を試みました。
この論理システムはラムダ計算と呼ばれます。
ラムダ計算では、すべてのものが関数として表されます。