計算機科学のブログ

Haskell

型によるプログラミング Maybe型:欠損値に対処する Maybe:型を使って欠損値に対処する Nothingと型

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

型によるプログラミングパラメータ化された型 Data.Mapモジュール、Map型、fromList関数、toList関数、lookup関数、key、順序

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

型によるプログラミングパラメータ化された型 TripleとBox、map関数

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

型によるプログラミングパラメータ化された型複数のパラメータを持つ型カインド:型の型

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON18(パラメータ化された型)、18.2(複数のパラメータを持つ型)、カインド:型の型、クイックチェック 18-4の解答を求めてみる。

型によるプログラミングパラメータ化された型複数のパラメータを持つ型

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON18(パラメータ化された型)、18.2(複数のパラメータを持つ型)、クイックチェック 18-3の解答を求めてみる。

型によるプログラミングパラメータ化された型入れ子 Triple:より便利なパラメータ化された型リスト、map関数との比較

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON18(パラメータ化された型)、18.1(引数をとる型)、Triple:より便利なパラメータ化された型、クイックチェック 18-2の解答を求めてみる。

型によるプログラミングパラメータ化された型入れ子

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON18(パラメータ化された型)、18.1(引数をとる型)、クイックチェック 18-1の解答を求めてみる。

型によるプログラミング合成によるデザイン:SemigroupとMonoid 確率テーブルの構築

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

型によるプログラミング合成によるデザイン:SemigroupとMonoid 単位元、mempty、インスタンス

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

型によるプログラミング合成によるデザイン:SemigroupとMonoid Monoid:単位元による合成整数型、Integer、乗算、mempty、単位元

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON17(合成によるデザイン:SemigroupとMonoid)、17.3(Monoid:単位元による合成)、クイックチェック 17-4の解答を求めてみる。