計算機科学のブログ

関数型プログラミング

型によるプログラミング Maybe型欠損値に対処するデータコンストラクタ、Just、Nothing

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 19(Maybe型:欠損値に対処する)、19.3(Maybeを使った計算)のクイックチェック19-2の解答を求めてみる。

型によるプログラミングパラメータ化された型 Map、キー、Ordクラス

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 18(パラメータ化された型)、18.4(練習問題)Q18-2の解答を求めてみる。

型によるプログラミングパラメータ化された型 mapと同様の関数の実装

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 18(パラメータ化された型)、18.4(練習問題)Q18-1の解答を求めてみる。

型によるプログラミング合成によるデザイン SemigroupとMonoid データ型、リファクタリング、インスタンス

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

型によるプログラミング合成によるデザイン 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の解答を求めてみる。