typeclass

    15熱

    2答えて

    機能

    可能性の重複： Haskell: some and many Haskell - What is Control.Applicative.Alternative good for? Alternative型クラス内の関数someとmanyはのために有用何ですか？ Docsは私が理解できなかった再帰的な定義を提供します。
    haskell functional-programming typeclass 2011-10-06

    7熱

    1答えて

    タイプをイクのインスタンスにする方法

    データタイプがPraatです。 PraatをEqのインスタンスにして、mxが等しい場合にのみ2つのPraatが等しいとします。どのようにこれを行うのですか？ -- data type data Praat t = Praat [k] [(k,k,k,k)] -- praat gives the maximum frequency Praat t -> Int mx (Praat [] _
    haskell instance typeclass 2011-12-02

    11熱

    2答えて

    FlexibleInstancesを持たない可変引数関数を引数としてとり、Haskell2010

    というハスケル関数は、FlexableInstancesのないHaskellプログラム、すなわち純粋なHaskell2010を表現できますか？ {-# LANGUAGE FlexibleInstances #-} class Funk a where truth :: a -> [Bool] instance Funk [Bool] where truth = \x -> x insta
    haskell types lambda typeclass variadic-functions 2011-12-04

    15熱

    2答えて

    特定の範囲内に限定された型を作成する方法

    ある範囲に限定された新しい整数型を作成したいと考えています。私が試してみました： data PitchClass = PC Int deriving (Ord, Eq, Show) instance Bounded PitchClass where minBound = PC 0 maxBound = PC 11 しかし、私が欲しいものを何か PC 12 ようまたは
    haskell types typeclass 2011-09-04

    23熱

    2答えて

    Haskellの型とデータ型の違いは何ですか？

    私はHaskellの中種類とデータ型との差にと少し混乱しています。 私が遭遇した文献から、彼らは異なる概念であるという印象を受けました。
    haskell typeclass 2011-10-27

    27熱

    2答えて

    「タイプクラス」は「タイプクラス」と呼ばれるのはなぜですか？

    Scalaに深く入ると、私はタイプのクラスと命名しました。 クラスは型であり、型は がScalaのクラスであり、 "型"と "クラス"自体が抽象的な用語であるため、混乱していました。 は、いくつかの例を読んだ後、私は型クラスは 何ができるかを感じましたが、多分型クラスは、それが を持っていた理由を説明することであるものに精神的なフック （絵、概念）を取得する簡単なアプローチがありますそのように名付
    scala haskell typeclass 2011-09-09

    1熱

    2答えて

    関数定義を複数のファイルに分割することでモジュール性が向上する

    mykelコードをモジュール化してもらえません。私はおそらくオブジェクト指向のパラダイムに詰まっていて、機能的に考えるのに問題がありますが、私は完全に困惑しています。 conjunction :: TruthType -> TruthType -> TruthType conjunction (TT_Percent x) (TT_Percent y) = TT_Percent (x*y) co
    haskell types typeclass 2011-09-17

    4熱

    1答えて

    Coqのsetoid_rewriteの奇妙な振る舞い

    setoid_rewrite戦術を使用した書き換えに問題があります。次のインスタンス宣言では、setoid_rewrite fmapCompがfmap iso ∘ fmap invをfmap (iso ∘ inv)に書き換えることを期待しています。しかし、コックは、書き換え時に「何も進展がなされなかった」ことを報告します Instance functorsPreserveIsomorphisms
    rewrite typeclass coq 2011-11-14

    10熱

    1答えて

    Data.Fordable for Unordered containers

    データベース操作のためのHaskell準拠のSQL言語と、それに合った共通のタイプのクラスライブラリに取り組んでいます。どこでも意味があります。 データベースクエリオプティマイザの重要な目的は、不要なソートを排除することなので、ソートが実際に必要な場所の静的な表現を保持することが重要です。これは折り目のためのtypeclassの定義に私たちをもたらします。 HaskellのData.Foldabl
    haskell typeclass parametric-polymorphism 2011-11-23

    9熱

    2答えて

    Scalaでネストされたクラスの型クラスインスタンスを記述する

    this recent Stack Overflow questionでは、あるタイプのパーサのリストをそのタイプのリストを返すパーサーに変更したいと考えました。私たちは、Scalazのsequence応用的ファンクタのためにこれをやって想像することができます： import scala.util.parsing.combinator._ import scalaz._ import Sca
    scala typeclass scalaz 2011-10-16
最新の質問