algebraic-data-types

    7熱

    2答えて

    Haskellで整数を型でパラメータ化する

    型ではなく、型の要素、具体的には整数によってパラメータ化されたHaskell型をいくつか作成しようとしています。例えば、R^2の（線形代数）ベクトルとR^3のベクトルは異なる型付きオブジェクトです。具体的には、私はハスケルにK-Dツリーを作成しています.3Dツリーと4Dツリーが異なるタイプになるように、データ構造を正の整数でパラメータ化したいと思います。 私はタプルでツリーをパラメータ化しようとし
    haskell kdtree algebraic-data-types higher-kinded-types 2011-09-01

    9熱

    2答えて

    ADT名。ハスケルでは「左翼」とは何か、次に「a」とは何ですか？

    IのようなHaskellのADTを使用している場合： data Foo = A Int Double | B Bool [Integer] | C (Maybe String) Float A、B、及びCがデータコンストラクタと呼ばれます。場合によっては値コンストラクタとします。しかし、正確な名前は何ですか： "行/代替"： B Bool [Integer]; 「行/代替」の「フィールド
    haskell functional-programming terminology algebraic-data-types 2011-11-01

    4熱

    2答えて

    レコードの無限型エラーはありません

    Haskell（GHC）でこれを定義すると、リストスタイルの無限型エラーが発生しないのはなぜですか？ data Broken = Broken { title :: String, loop :: Broken } それは型エラーなしでコンパイルが、明確には使用できないタイプだ：私は foo = Broken "one" (Broken "two" (Broken "thr
    haskell types algebraic-data-types 2012-04-07

    2熱

    1答えて

    Opaは代数的データ型を提供しますか？

    Opaの背後にある概念をより深く理解しようとしています。特に、私は、MLやHaskellのような差別化された共用体を提供しない（つまり、0以上の値をラップするいくつかのコンストラクタを定義する）ことはできませんが、それらのレコード型と合計型にとどまることには興味があります。この決定は私には完全に意味があります（おそらく私はFPよりもOOPにいるためです）。そして、それは差別化された組合でできるすべ
    opa algebraic-data-types 2012-03-04

    0熱

    1答えて

    Haskellの代数的データ型

    ： data Color = HexColor Int | RGBColor Int Int Int | ColorString String deriving Show data FontAttribute = Size Int | Face String | FontColor Color deriving Show data Font = Font [FontAttribute] der
    haskell types algebraic-data-types 2012-03-11
最新の質問