2017-12-180熱1答えて同時に証人と型クラスを取得する私は型パラメータを含むシングルトン型を試しています。私はそのシングルトン型のWitnessとそのネスト型の型クラスの両方を受け付ける関数を記述しようとしています。2017-12-311熱1答えて平等(決定可能平等?例えば、リスト内の要素を置き換える)私はleanを学び、二つの要素xとyを取り、与えられたリストでyでxのすべての発生を置き換える置き換え機能を、定義したいしようとしています。ごとにハードコードされたラインを持っていることの私が代わりにそれらを作成することができますメソッドを作成したいと思います。私はユーザーの入力に依存する型クラスを作成しようとしています。2017-11-201熱1答えてHaskell:Typedeclarationとしての機能グラフ用の関数をいくつか実装したいと思います。私はリスト[Knoten]を通過する必要があります。私は正しいアルゴリズムを持っていますが、[Knoten]にアクセスする方法はわかりません。questionです。Carteに基づいて、そこに提案されている解決策は、ファンクタ間の一種の包含関係を表すクラスを使用します。Map`型を特化する私はMapとPartialMapと呼ばれる一対のタイプメスを定義しました。Vを超えているかどうかでのみ異なります。PartialMapは、本質的にはMapという特殊なケースです。私はそれをどのようにエンコードするのか分かりません。2017-11-263熱1答えてScalaのtypeclassパターンの暗黙の定義の実行時コストthisの記事で、implicitsを使用してScalaで型式をシミュレートする方法について説明しています。a))が使用されるたびに、新しいインスタンスが実行時に構築されます。私はプロジェクトでアクティビティを持っていますが、アクティビティを開始するときにfirebaseにノードがありますが、オンラインにする必要がありますが動作しません。ViệtFrançaise。