2024-03-13から1日間の記事一覧

Haskellのいとも奇妙なる演算子

Haskell は他の言語では見慣れない演算子が多々あって戸惑う。特に気になった主要なものをまとめる。 文脈で意味が異なる演算子・記法 &vert; (1) ガード条件(2) リスト内包表記の区切り (such that) (例) [func x &vert; x<-[1..9]](3) 列挙型の定義で列挙…

モノイドふたたび

前にまとめたが、( → ノート:群・モノイド・半群・マグマ(亜群) - 滴了庵日録 ) モノイドとは、集合と二項演算について単位元が存在するやつだった。 (ただし、この二項演算はこの集合のなかで閉じていること、また結合法則をみたすこと)このようなモノイド…