個人的メモです.

モナドという概念の存在意義やモナド則の意味について, 自分なりの理解を記事にしました.

遅延評価はどこまで遅延されるのかよく分かってなかったので, いくつか実験をしてみました.

Haskellでは全ての変数がイミュータブルです. つまり再代入が禁じられています. それでもモナドの力を借りればまるでミュータブル変数を扱っているかのようなプログラムを書くことができます.

Haskellのパッケージvaultの使い方をご紹介します. 「vault」とは金庫室という意味の英単語です. その名の通りこのパッケージが提供する機能は「値の保管」です.

今回はHRRが自動で設定するデータ型を変更する方法をまとめます. 例として, PostgreSQLの

SQLジェネレーターのHRR(Haskell Relational Record)を使ってみました. Dockerコンテナの準備からデータ挿入まで解説します.

Haskellの型クラス宣言では, どんな関数が定義されているかまで見ないとKindが分かりません. 具体例で確かめてみました.