Haskellの代数的データ型とGADTs
Haskellの代数的データ型とGADTs Haskellのdataキーワードで宣言される代数的データ型(Algebraic data types)とGADT(一般化された代数的データ型)につい...
9 search resultsShowing 1~9 results
You need to log-in
Haskellの代数的データ型とGADTs Haskellのdataキーワードで宣言される代数的データ型(Algebraic data types)とGADT(一般化された代数的データ型)につい...
Haskellを書く上で、避けては通れない概念がいくつかあります。Functor(ファンクタ)もその1つですが、特徴的なものなので、理解しにくい人もいると思います。今回はできるだけコード例と図を...
今回はデータ型を定義するnewtypeとdataの違いについて説明していきます。主に違いを探っていくのでdataやnewtypeの詳しいオプションなどは説明していません。この記事で使用しているG...
HaskellコンパイラのGHCに付属する対話形式のコンパイラ、GHCiの基本的な使い方です。さらに詳しいドキュメントは、Haskell.jp1、公式ドキュメントを参照してください。この記事を書...
Ix―Haskellでのインデックス演算 Haskellの主要なデータ構造/データの演算といえばリスト([a])、n-タプル((a, a))、マップ(Map k a)、集合(Set a)だと思い...
lotzさんのData.Foldableの正体に迫るに触発されてこの記事を書きました。 Haskellで、リストなどへの畳み込み操作(ステップごとに結果を累積する計算)を一般化したものがFold...
Bifunctorってなんだよ、っていうと型引数を2つとるFunctorの兄弟です。語源はbi-functorという造語だと思われます。*bi-*は2つの、とか共通の、という意味があるので「双関...
HaskellのEitherについて HaskellのEitherモナドとそれに関連するData.Eitherの関数についてまとめました。この記事で使われているGHCのバージョンは8.8.3です...
Haskell の Data.List 関数まとめ Haskell の標準ライブラリの Data.List のページにある関数(117 個)がかなり便利だったのでまとめてみました。 注意点 この...
9 search resultsShowing 1~9 results
Qiita is a knowledge sharing service for engineers.