functor

9熱

3答えて

Functorクラスは、隠された第二の部材が含まれています class Functor f where fmap :: (a -> b) -> f a -> f b (GHC.Base.<$) :: a -> f b -> f a ドキュメント：が同じ値を持つ入力におけるすべての位置を交換します。デフォルトの定義はfmap . constですが、これはより効率的なバージョ

7熱

1答えて

例では、scalaz.Lensのmodf、modp、xmapを使用しています。

レンズの方法をより簡単に扱うことができる多数のチュートリアルと記事があります。 Cleaner way to update nested structures;誰もがこれらの3つの他のメソッドの使用例を提供できますか？ありがとう。

8熱

2答えて

C++：パラメータとして任意の数のパラメータを持つ関数を渡す

長時間のブラウザ、初めての質問者です。私は、さまざまな1D数値統合メソッドを実行するためのスクリプトを作成し、それらをライブラリにコンパイルしました。私は、そのライブラリが可能な限り柔軟に統合できることを考えています。ここに私は例を挙げます：統合する関数へのポインタを渡す非常に単純な台形ルールの例です。 // Numerically integrate (*f) from a to b //

11熱

1答えて

Functor型クラスの歴史は何ですか？

私はクラスの階層のMonadを本当に深く理解しようとしています。それはもちろん、多くの例を見ていますが、私はこれらのクラスがどのように最初に発見されたか、その動機の歴史に特に興味があります。私はが当初、ハスケルのIO問題の解決策として出てきたことを理解しており、1989-92年のMoggiとWadlerの論文をよく知っています。 Conor McBrideとRoss Patersonの「Appl

5熱

1答えて

Data.Functor.ComposeのShowインスタンスをFlexibleContextsなしで作成する

私はData.Functor.Composeを試していて、ghciで試してみるときにShowインスタンスを書きたいと思っていました。私は（働いている）持っていることは次のとおりです。 {-# LANGUAGE FlexibleContexts #-} instance (Show (f (g a))) => Show (Compose f g a) where show = show

5熱

2答えて

catMaybesのようなHaskellでは関数が、型を有するが、[たぶん] - >たぶん、[A]

私はタイプと機能を持っているしたいと思います：例えば f :: [Maybe a] -> Maybe [a] f [Just 3, Just 5] == Just [3, 5] f [Just 3, Nothing] == Nothing f [] == Just [] それはそのcatMaybes除き、Data.MaybeでcatMaybes :: [Maybe a] -> [a]に

7熱

1答えて

タイプ制約を持つGADTのFunctorインスタンス

今日、タイプシグネチャタイプのデータを格納しないようにデータタイプを構築することが可能かどうかを調べたいと思っていましたが、。ですから、ここにはタイプコンストラクタがaであるが、タイプがByteStringのデータコンストラクタを持つGADTの試みがあります。 {-# LANGUAGE GADTs #-} import Data.ByteString.Char8 import Data.Se

5熱

2答えて

Applicative FunctorsとLeft from Either

私はgreat goodの本を使っていますが、私はApplicative Functorsとやや苦労しています。次の例では、maxが2つのMaybeファンクタの内容に適用され、Just 6を返します。 max <$> Just 3 <*> Just 6 次の例ではLeft "Hello"はどちらかファンクタの内容の代わりに返される理由：Left "Hello World"？ (++) <$>

5熱

1答えて

<code>Zones</code>の原因機能の私は2つのモジュール<code>Zone</code>と<code>Zones</code>を定義しているのOCaml

でファンクタの設計、ZonesはZoneのリストである、Zoneの関数を呼び出す必要があります。 module Zone = struct type t = { ... prop: bool } ... end modules Zones = struct type t = | ZSbot | ZS of Zone.t list | Z

32熱

1答えて

もしSML.NETにファンクタがあれば、F＃はできないのですか？

は、この質問は例についてはファンクタを使用してF＃にL. C.ポールソンによる「ML for the Working Programmer」（WorldCat）の私の翻訳から始まりました。「Purely Functional Data Structures」（WorldCat）はFunctorsを使用しているChris Okasakiによって翻訳されました。 Andrea AspertiとGi