私は2つのリスト入力を受け取り、次にリストの和集合を返す関数を作成しようとしています重複はありません。ここで Couldn't match expected type ‘a’ with actual type ‘[t0]’
‘a’ is a rigid type variable bound by
the type signature for newList :: [a]
誰でも以下のコードを説明することができます。ステップバイステップで実行してください。 のみ3引数の中があるようにそれはそうしながら、私はそれが機能し、その入力を定義している知っているが、(+)は何をするのか、そしてなぜplusで3 Int sおよびplusplusのタイプで4つのInt sがありますplusplusさんのコードですか? plus :: Int -> Int -> Int
plus
私の機能は動作しません。私は多くの異なるタイプの署名を試みました。タイプシグネチャを削除すると、ポイント番号が「p」として機能しません。 :t bTable
bTable :: Integral a => a -> a -> a -> a
をしかし、私は入力した場合:: bTable 50 0.8 10
私が手 fak :: (Num a, Ord a) => a->a
fak x
AndroidでXADES-BESでファイルに署名しようとしています。私はそれについての図書館を見つけました。 APKの作成と作成はうまくいきます。ファイルを選択してSignボタンをクリックすると、ランタイムエラーが発生します。デバッグ後に、私はの文脈での間違いがあることがわかりました。プログラムがクラッシュする箇所にコメントを追加しました。コードの関連部分は以下の通りです: String sou
traverse :: Applicative f => (a -> f b) -> t a -> f (t b)
こんにちは、私は署名を理解できない機能がたくさんあります 。もちろん、トラバースには2つの引数があります。最初は関数です。しかし、 何を意味するのですか(a -> f b)?私は(a -> b)を理解することができます。 と同様に、t a, 私に説明してもらえますか?