Yahoo! JAPAN

2023/11/28 -複数のガードを付けている場合でも、1 つの変数束縛および case 式の 1 つの選択肢に対して 1 つの where を使用することができます。

2023/11/28 -リスト内包表記の <- はリスト内の要素を表すような条件を意味し、「ジェネレータ」と呼ばれます。 右辺が [a] 型のとき、左辺は a 型です。 単純な例では map 関数の ...

2024/4/13 -再帰とはループの手動呼び出し、あるいは goto 文のようなものであると捉えられます。ただし再帰呼出し時に引数の値を更新できます。 ! いい加減な理解かもしれませんが、 ...

2023/12/26 -「Haskell」は、純粋関数型プログラミング言語のうちの一つであり、数学的な理論に基づいた強力で安全性の高いとされる言語のことです。例えば、「静的型付け」や「遅延 ...

2023/11/23 -HaskellにおけるFunctorとは、型演算$A\mapsto TA$であって、メソッドとして$\texttt{fmap}:(\alpha\to\beta)\to T\alpha\to T\beta$を持つものをいいます。加えて、 ...

2024/1/30 -Haskellは、純粋関数を特色とするプログラミング言語です。Haskellを使う職種では、プログラマーなどのエンジニア系の職種が代表的です。Haskellは導入企業が増えつつ ...

2023/11/22 -ものすごく簡単に言うと、プログラミングを関数だけで構築するスタイルのことです。ただし、ここでの「関数」には通常のプログラミングよりもさらに特定の意味があります。

2023/12/3 -Haskell の Array は索引が型クラスの Ix で抽象化されているため、特に配列の次元を拡張する際に柔軟性がありとても便利です。 そんな便利な Array ですが、もともと ...

2023/11/22 -Haskellは関数型プログラミングであるが故、手続き型プログラミングでよくみられる「変数を複数宣言してそれらを管理する」手法は一般的ではありません。

2024/3/3 -型シグネチャとは変数や関数の型を宣言するためのものです。 例えば、整数値を持つ変数を宣言する場合は、以下のように型シグネチャを使用します。 myNumber :: Int ...