functor

1熱

3答えて

私はHaskellの初心者です。今、私は次のようにデータを定義しようとしました： data Unsure a = Sure a |Error [Char] deriving (Show) このようファンクタを実装しようとした：私の意見では instance Functor Unsure where fmap f (Sure x) = Sure (f x) fmap f (

1熱

2答えて

接続（QObjectを*は、SIGNAL（シグナル（））、ファンクタは）qt5に接続していない

私はQT5のドキュメントで定義されたファンクタにはQObjectからの信号を接続しようとしています： http://doc.qt.io/qt-5/qobject.html#connect-5 関連コード： namespace someNamespace { void processFinished() { qDebug() << "A Thread has finished pro

-1熱

1答えて

このアプリケーションファンクタの定義では、get（）とunit（）は何ですか？

私はいくつかのファンクション、モナド、およびアプリケーションをjavaでコーディングしようとしています。私はいくつかを見つけて、以下のものを選んだ。カテゴリ理論では、get（）は何を返していますか？ユニット（）は何らかのアイデンティティーのように思えますが、何から何に変わりますか？あるいは、これはコンストラクタですか？私はを見ました。 get（）を持つファンクタの定義です。これは何を返すだろ

2熱

1答えて

ファンクターの説明で〜>とは何ですか？

ラムダドキュメントを理解しようとしていますので、ファンクタがhereであることを調べましたが、この意味では~>は何ですか？ map :: Functor f => f a ~> (a -> b) -> f b

1熱

1答えて

Scala：composition law counter example

私はScala言語を使って関数型プログラミングを学んでいます。ファンクタに2つの法則があるファンクタについてのチュートリアルを読んでいます。 1. identity law: functor.map(x => x) ≡ functor 2. Composition law: functor.map(x => f(g(x))) ≡ functor.map(g).map(f) 構図法については分

1熱

1答えて

scala.util.Tryにcatsというインスタンスがありますが、scalazではインスタンスが存在しないのはなぜですか？

typelevelの猫（バージョン0.9.0）試しのためののFunctorインスタンスがscalaz（バージョン7.3.0-M12）ではありませんしながら、 object catsTry { import cats.Functor import cats.instances.try_._ import scala.util.Try val f = impli

1熱

1答えて

SML異なる構造の共通タイプ

標準MLにセットを実装しています。現在、それは次のようになります。 signature SET = sig type t type 'a set ... val map : ('a -> t) -> 'a set -> t set end functor ListSetFn (EQ : sig type t val equal : t * t -> b