私は現在、慎重な数学クラスのための個人的なプロジェクトに取り組んでおり、Haskellでセット理論を正式化しようとしています。私たちのクラスで定義されている集合は、特定の宇宙の要素の任意の入れ子です。私はすべての標準型クラス用のインスタンスを作成したい怠惰なHaskellのプログラマとして data Set a where
Empty :: Set a
Elem :: a ->
Haskell Book、「第22章リーダー」でエクササイズができません。演習では、「リーダーのためのApplicativeを実装」と言うと、それは次のようになります： {-# LANGUAGE InstanceSigs #-}
newtype Reader r a =
Reader { runReader :: r -> a }
instance Applicative (Re
私はApplicativeとMonadの理解を、Javascriptで関数インスタンスを実装することで改善しようとしています。私のハスケルに関する知識は限られており、私の質問はまったく意味があることを願っています。ここで はJavaScriptでFunctor、ApplicativeとMonad型クラスのためfmap、<*>と>>=の私の実装である： ： const fmap = f => g =
aとbの2つのパラメータを持つユーザー型を考えてみましょう。明らかに、これは、ユーザーが2つの異なる種類で構成することができます data Users a b = User a b deriving (Show, Eq, Ord)
はどのように我々は、このインスタンスのファンクタと応用的に宣言することができますか？ 私はこれらのアプローチはコンパイルされません試した： instance Fun
コードをリファクタリングしてApplicativeインターフェイスを使用することについて質問があります。私はこのような何かにそれを回すしたい filePath0 :: GenParser Char st Info
filePath0 = do
optional (string "./")
r <- artist
slash
l <- album
私は定義されたパーサーオブジェクトがあります。 newtype Parser a = Parser (String -> [(String, a)])
し、それらを生成する機能： produce :: a -> Parser a
produce x = Parser (\ts -> [(ts, x)])
そして、私は一つに複数のパーサをバインドできるようにするには、このパーサー・オブジェ
HackageでApplicative Functorsに言及されているように、それらは強力な緩やかな単相ファンクタです。なぜHaskellではその定義はそうのようにそれを表示されません：（starAp） class Functor f => MonoidalApplicative f where
mult :: f a -> f b -> f (a,b)
unit :: a