計算機科学のブログ

Will Kurt

型によるプログラミング直積型と直和型レコード構文直積型の呪い:階層的な設計

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

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

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

型の紹介型クラスを使用するスーパークラス、インスタンス

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

型の紹介型クラスを使用する Ord型クラス、Eq型クラス、Enum型クラスの派生実装、fromEnum関数

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

型の紹介型クラスを使用するよい派生・悪い派生 derivingキーワード、Eq型クラス、Ord型クラス、データコンストラクタ、順番

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

型の紹介型クラスを使用する Ordを実装する compare関数

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

型の紹介型クラスを使用する Showを実装する instanceとwhere

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

型の紹介型クラス Int型、Enum型クラス、Bounded型クラス、succ関数の独自実装、Eq型クラス

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

型の紹介型クラス Int型、Enum型クラス、succ関数、Bounded型クラス、minBoundとmaxBound

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

型の紹介型クラス Word型とInt型の違い、Boundedクラス、minBoundとmaxBound

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