条件を指定して検索しています。すべての条件を解除する
2025/6/9 -最近ちょっとHaskell触ってみたんだけど、思った以上に「型」に対する認識がひっくり返された。 というか、「型って意味なんだな」って、ちゃんと実感。
2025/4/6 -これを別の言い方をするのであればHaskellでは意味のあるまとまりごとに () でくくると言い換えれます。 この () 表現は、数学的な意味合いが強いです。 例えば、xに1 ...
2025/4/6 -Haskellは関数型プログラミングであるが故、手続き型プログラミングでよくみられる「変数を複数宣言してそれらを管理する」手法は一般的ではありません。
2025/6/3 -参照透明性（Referential Transparency） とは、同じ式が常に同じ結果を返す性質のことを指します。副作用がなく、関数の出力は入力だけに依存している状態です。 例えば、次 ...
2025/5/13 -Haskellは、純粋関数型言語と呼ば. れている。一般的なプログラミング言語では副作用と呼ばれる仕組みがないことを意味している。 つまり、同じ入力(引き数)に対しては ...
2025/1/24 -Haskell は、型推論と遅延評価を備えた汎用の静的型付け純粋関数型プログラミング言語です。教育、研究、および産業用途に適するように開発され、型安全な演算子オーバー ...
A.縦棒は、「m -> e」の部分と、「MonadError e m」を区切るための記号です。 そもそも、この質問の書き方ならば、あなたは勘違いをしていると思われます。 「m -> e...
2025/4/19 -結局何が言いたかったんだろう？… 彼の説明にしては珍しく曖昧… 数ある具象を汎化することを抽象化と言うんだと思ってたから、分類作業の一種… interfaceで括るとかと ...
2025/1/20 -我知道它是一种编程语言，可以做其他语言能做的一切。但它的主要优点是什么？ 它是纯粹的（这意味着函数没有“副作用”，它们不会改变任何 ...
2025/3/1 -Yoneda引理是范畴论中的一个基本结果，它提供了一个范畴\mathcal{C} 和它的函子范畴[\mathcal{C}^{op}, \textbf{Set}] 之间的关系。它非常抽象，但具有深远的影响，尤其是在 ...
2025/4/24 -HaskellやClojureのような関数型言語を読み書きしていて私が心地良く(美的な意味でエレガントとさえ)感じる理由のひとつに、簡潔に関数を組み合わせるための仕組みが ...