計算機科学のブログ

関数型プログラミング

型によるプログラミング合成によるデザイン SemigroupとMonoid 単位元による合成、mempty関数、mappend関数、mconcat関数

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 17(合成によるデザイン:SemigroupとMonoid)、17.5(練習問題)Q17-1の解答を求めてみる。

型によるプログラミング合成によるデザイン SemigroupとMonoid 合成可能性関数を組み合わせるリスト、畳み込み

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 17(合成によるデザイン:SemigroupとMonoid)、17.1(合成可能性:関数を組み合わせる)のクイックチェック17-1の解答を求めてみる。

型によるプログラミング直積型と直和型モデル化、レコード構文

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 16(直積型と直和型)、16.5(練習問題)Q16-1の解答を求めてみる。

型によるプログラミング直積型と直和型レコード構文、継承

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 16(直積型と直和型)、16.1(直積型)のクイックチェック16-1、直積型の呪い、階層的な設計のクイックチェック16-2の解答を求めてみる。

型の紹介型クラスを使用するサイコロに有用なメソッドの定義、スーパークラス、インスタンス化

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 14(型クラスを使用する)、14.10(練習問題)Q14-2の解答を求めてみる。

型の紹介型クラスを使用する Enumクラス、OrdとEqの　手動での定義、fromEnum関数

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 14(型クラスを使用する)、14.10(練習問題)Q14-1の解答を求めてみる。

型の紹介型クラスを使用するよい派生・悪い派生比較、Eqクラス、Ordクラス

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 14(型クラスを使用する)、14.6(よい派生・悪い派生)のクイックチェック14-3の解答を求めてみる。

型の紹介型クラスを使用する Ordを実装する、compareメソッド、パターンの記述

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 14(型クラスを使用する)、14.5(Ordを実装する)のクイックチェック14-3の解答を求めてみる。

型の紹介型クラス必要な関数、インスタンス、Enum、Bounded、Eq、maxBound、minBound、succ

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 13(型クラス)、13.8 (練習問題)Q13-1の解答を求めてみる。

型の紹介型の基礎型シグネチャ、filter関数とmap関数、リスト、空のリストでエラーにならないtail関数の作成、foldl関数

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 11(型の基礎)、11.5(練習問題)Q11-1の解答を求めてみる。