条件を指定して検索しています。すべての条件を解除する
2023/11/28 -複数のガードを付けている場合でも、1 つの変数束縛および case 式の 1 つの選択肢に対して 1 つの where を使用することができます。
2023/8/4 -Haskellとは、コンピュータプログラムを関数の組み合わせによって定義していく関数型プログラミング言語の一つ。関数型言語の標準化を求める研究者による委員会が1990 ...
2024/4/13 -再帰とはループの手動呼び出し、あるいは goto 文のようなものであると捉えられます。ただし再帰呼出し時に引数の値を更新できます。 ! いい加減な理解かもしれませんが、 ...
2023/12/21 -まず簡単なモナドの例を、 Maybe と呼ばれるモナドを使って説明してみます。 このモナドは、Rustでいう Option のようなもので、返り値を Just と None の型に包むこと ...
2023/9/17 -Haskellは、遅延評価方式を採用しているプログラミング言語です。遅延評価方式とは、構成した式をすぐに評価せず、引数を参照する際に遅延して評価する手法を指します。
2023/12/26 -「Haskell」は、純粋関数型プログラミング言語のうちの一つであり、数学的な理論に基づいた強力で安全性の高いとされる言語のことです。例えば、「静的型付け」や「遅延 ...
2024/3/3 -... 意味しています。 簡単に言うと、 map 関数は第1引数で受け取った関数を第2引数のリストの各要素に適用した結果リストを返却するということになります。具体的な使用例 ...
2023/11/22 -Haskellは関数型プログラミングであるが故、手続き型プログラミングでよくみられる「変数を複数宣言してそれらを管理する」手法は一般的ではありません。
2023/11/22 -HaskellにおけるFunctorとは、型演算 A ↦ T A であって、メソッドとして fmap : ( α → β ) → T α → T β を持つものをいいます。加えて、Functor T ...
2023/10/1 -この記事は主にそういった方々向けに Haskell における線型型がどんなもので、現状どんな感じで使えるのかというのを説明するものです。 というわけで、Linear Haskell の ...
A.縦棒は、「m -> e」の部分と、「MonadError e m」を区切るための記号です。 そもそも、この質問の書き方ならば、あなたは勘違いをしていると思われます。 「m -> e...