計算機科学のブログ

Will Kurt

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

型の紹介型の基礎関数、型シグネチャ、文字列への変換と文字列からの変換を行う関数、複数の引数を持つ関数

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT2(型の紹介)、LESSON 11(型の基礎)、11.2(関数の型)のクイックチェック11-1、文字列への変換と文字列からの変換を行う関数のクイックチェック11-2、複数の引数を持つ関数のクイックチェック11-3の解答を求めてみる。