計算機科学のブログ

2021

コンテキストでの型の操作 コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる fmap関数の汎用バージョン、Functor、pure関数、<*>演算子

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 29(コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる)、29.5(練習問題)Q29-1の解答を求めてみる。

コンテキストでの型の操作 コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる 例:大量のテストデータをすばやく生成する 非決定論的な計算

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 29(コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる)、29.3(コンテキストとしてのリスト)、例:大量のテストデータをすばやく生成するのクイックチェック 29-5の解答を求めてみる。

コンテキストでの型の操作 コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる 例:クイズ番組 非決定論的な選択肢 pure関数、<*>演算子

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 29(コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる)、29.3(コンテキストとしてのリスト)、例:クイズ番組のクイックチェック 29-4の解答を求めてみる。

コンテキストでの型の操作 コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる Maybe、Just、Nothing、pureメソッド、IO

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 29(コンテキストとしてのリスト:Applicative型クラスをさらに掘り下げる)、29.1(Applicative型クラス)のクイックチェック 29-1、pureメソッドのクイックチェック 29-2の解答を求めてみる。