問題タブ [scalaz7]

次のように定義された型があります。

のインスタンスを作りたいSemigroup。私はこれを試しました：

を実行するsbt consoleと、次のエラーが表示されます。

を使用できるようにMyIntするにはどうすればよいですか?Semigroup|+|

完全を期すために、ここに私のbuild.sbtファイルがあります：

したがって、scala では、典型的な Lens シグネチャは次のようになります。

しかし、ご覧のとおり、同じ型の値を更新および設定するだけで、ある型を別の型に設定することはありません。私が念頭に置いているのは、次のようなものです。

私の質問はA. これは同型でなくなりますか？いくつかのルールを破ることなく、より簡単な方法はありますか?BO[_]

Float と RDD を含む算術式を解析するための次のパーサーがあります。

次のエラーが発生します。

Scala は初めてで、このエラーを解決する方法がわかりません

私は scalaz にかなり慣れていないので、さまざまな型をモナド変換子に変換する方法を見つけようとしています。

Intaを aOptionT[Future, Int]に、または にさえ変換しようとして困っていEitherT[Future, String, Int]ます。

を使用してこれを行う方法を説明するチュートリアル/SOの回答がたくさん見つかりましたpointが、何らかの理由でそれらをコンパイルできません。

たとえば、ここからのこのスニペット:

エラー:(9, 9) タイプの証拠パラメーターの暗黙的な値が見つかりませんでしたscalaz.Applicative[[x]scalaz.EitherT[scala.concurrent.Future,String,x]]

もうひとつはScalaz Monad Transformersから

エラー:(8, 10) タイプの証拠パラメーターの暗黙的な値が見つかりませんでしたscalaz.Applicative[A$A35.this.Result]

これもうまくいくと思いますが、メソッドliftMはのメンバーではないと言っていますFuture[Int]：

これらの例はすべて失敗しますがFuture、たとえばList. 現在、これが私にとって唯一の方法ですが、少し冗長です-point代わりに使用できるようにしたいと思っています:

これがコンパイルされないのはなぜですか？applicative/monad forFutureは最近のバージョンで scalaz から削除されましたか?

私はscala 2.11.7とscalaz 7.1.3を使用しています。価値のあるものとして、これらは私の輸入品です：

最近Scalazを勉強しています。λ[α =>F] がどのように機能するか知りたいですか?

ここで λ が何らかの型を意味することは理解できますが、その定義を見つけることができず、上記のコードがどのように機能するかを知りたいです。

私はscalazとLearn You A Haskell For Greater Good の学習に取り組んでおり、filterM の例を LYAHFGG から Scala に変換する方法を考えています。

fst $ runWriter $ filterM keepSmall [9,1,5,2,10,3]

としてkeepSmall定義された

私の素朴なアプローチはコンパイルエラーで終わり、その問題を回避する方法がわかりません!

コンパイル エラー:

と

最近の scalaz-stream では、awakeEvery内部がなくなっていることがわかりました。scalaz.stream.Processピリオドで何かを実行する方法は？

この Scalamachine のプレゼンテーションで Jordan West は関数について明確に語っていmap2ます。この関数はScalaz 6 で利用可能だったことが判明しましたが、Scalaz 7 ではそれまたは同等のものを見つけることができません。

たとえば、次のコードを実行できるようにしたいと思います。

結果として得る

この関数は Scalaz 7 のどこにありますか?

編集:f: A => B理想的には、任意の機能を 実行できるようにしたいと思いますl: List[Option[A]]

そしてList[Option[B]]、直感的なセマンティクスを理解してください。

返す関数を使用して状態モナド内のリストを削減しようとして立ち往生していますState:

リストを減らして取得したいState[S, T]