問題タブ [scalaz7]

最近、specs2がバージョン 2.4 に更新され、現在は 7.0.x の代わりにscalaz 7.1 が使用されています。プレイで specs2 の依存関係を更新したら! 2.3 プロジェクトでバージョン 2.4 を使用すると、すべてのテストが次の例外で失敗します。

以前にこのエラーが発生した人はいないようです。少なくとも、specs2 および play プロジェクトの問題追跡システムでは見つけることができませんでした。

セミグループの目的は、結合性と閉鎖性を確実にすることです。モノイドの目的は、セミグループに基づいており、追加のアイデンティティを提供します。|+| を使用する場合 semigroup アペンダー、暗黙のセミグループではなく暗黙のモノイドを定義した理由

初期値を必要としないreduceLeftを使用しているコードは次のとおりです

staffListSemigroup が Semigroup[List[Staff]] の場合、コンパイル エラーは値 |+| です。List[SemigroupSpec.this.Staff] のメンバーではありません

また、|+| の定義は 半群の中にあります

よろしくお願いします

編集

@Travisの回答が続きますが、それが正しいとは思いません。暗黙的な値の場合、特定の値は常に一般的な値をオーバーライドします。ここに私が書いたコード例があります：

それは、Scalaz では Foo のようなメソッドで指定された型が指定されていないためでしょうか。

これは期待どおりに機能します。

これはしません:

最初のケースでは、アプリケーションは正常に終了しますが、2 番目のケースでは終了しません。ただし、両方のバージョンで結果値が正しく出力されます。

これはバグですか、それとも私が理解していないことがありますか?

Scalaz SemiGroup が共変でない単純な理由は次のとおりです。

https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/Semigroup.scala

https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/syntax/SemigroupSyntax.scala

ありがとう。

http://eed3si9n.com/learning-scalaz/Tagged+type.htmlを読み、サンプル コードを試してみます。

ガイドによると、生成する必要があります40.0が、Scala 2.11.2 では次のようになります。

一方

うまく動作します。

それは 2.10 対 2.11 のものですか、それとも何か不足していますか? このように (もう) 使用できず、明示的なキャストに頼らなければならない場合、ボックス化されていないタグ付きタイプのポイントは何ですか?

Scalaz で Each 型を使用すると、非常に優れた設計ですが、メソッド getOrElse で型推論が失われます。

なぜ val どちらか = 3.right[String] | "123" は Int を参照していませんが、Any が発生しました。

それは欠陥ですか、それとも設計の一部ですか?

よろしくお願いします

私はこのようなものから始めました：

.toValidateNelここで、ボイラープレートを減らして読みやすくし、より多くのジュニア チーム メンバーに何を|@|意味するかを説明する必要がないようにするとよいと思いました。最初に考えたListのは、最後の行が機能しなくなり、静的な安全性をあきらめなければならないということでした。だから私はシェイプレスに目を向けました：

.map(...)しかし、私はそのビットを乗り越えることさえできないようです. #scalaz の提案に従って試してみました:

...無駄に。

私は #scalaz で助けを求めましたが、人々が箱から出してすぐに答えられるものではないようです。しかし、私は実用的な目的と学習目的の両方でこれを解決する方法を学びたいと思っています。

Kleisli[Va, A, B]PS実際には、私の検証はを使用して個々の検証ステップを構成できるようにラップされていますが、到達>=>するまでに問題に直交しているように見えます..map(...)KleisliValidation[String, A]