2023/12/21 -まず簡単なモナドの例を、 Maybe と呼ばれるモナドを使って説明してみます。 このモナドは、Rustでいう Option のようなもので、返り値を Just と None の型に包むこと ...
2024/4/13 -再帰とはループの手動呼び出し、あるいは goto 文のようなものであると捉えられます。ただし再帰呼出し時に引数の値を更新できます。 ! いい加減な理解かもしれませんが、 ...
2023/12/26 -「Haskell」は、純粋関数型プログラミング言語のうちの一つであり、数学的な理論に基づいた強力で安全性の高いとされる言語のことです。例えば、「静的型付け」や「遅延 ...
2024/3/3 -... 意味しています。 簡単に言うと、 map 関数は第1引数で受け取った関数を第2引数のリストの各要素に適用した結果リストを返却するということになります。具体的な使用例 ...
2024/1/30 -Haskellは、純粋関数を特色とするプログラミング言語です。Haskellを使う職種では、プログラマーなどのエンジニア系の職種が代表的です。Haskellは導入企業が増えつつ ...
2024/5/22 -純粋な関数型言語 概要 Haskellは純粋な関数型言語である。この言語は、C言語など他の言語にはない性質をもっている。 名前は論理学者のハスケル・カリー (Haskell B.
2023/12/14 -この記事では、(Cooley-Tukey の)高速Fourier（フーリエ）変換を題材に取るので、簡単にどういう問題なのか説明しておきます。 手短かにいうと、Fourier変換というのは入力 ...
2024/1/14 -Haskellにおいて、条件文という言葉よりも「条件式」といったほうが適切かもしれません。 条件文という言葉は手続き型言語やオブジェクト指向型言語では使われます ...
2024/4/14 -ところが13章のモナドの章でその認識では説明できないコードが現れました。 Copied! -- landLeft :: Int -> (Int, Int) -> Maybe (Int, Int) -- landRight :: Int ...
2024/5/27 -アメリカのインディアナ州出身のデザイナーが手掛けるブランド「MIRIAM HASKELL」。 創業当時から変わらず全工程は手作業で行われており、ブランドスタート当時から現在に ...
A.縦棒は、「m -> e」の部分と、「MonadError e m」を区切るための記号です。 そもそも、この質問の書き方ならば、あなたは勘違いをしていると思われます。 「m -> e...