discriminated-union

    4

    3答えて

    スカラーまたはベクトル(この場合DiffSharpのDタイプとDVタイプ)で動作する数値コードを記述しようとしています。時々、私が使用できるようにしたいのいずれかので、私は彼らのために差別組合を定義した: type IBroadcastable = | Scalar of D | Vect of DV 事業者の多くはすでにので、私はコードを追加記述IBroadcastabl

    0

    1答えて

    XML文書には、実際の内容がインクルードされている列挙値に依存する一連のアドレスが繰り返し含まれています。私は、これは「タグ付けされた労働組合」の一種であると仮定し[または「組合差別」?]: { <AddressList> <Address> <AddressType type="addressEnum" fixed="CanadianAddress"/> <A

    5

    2答えて

    差別化された組合員の名前付きフィールドにアクセスするにはどうすればよいですか? 例:一般的に type Point = | Point of x : int * y : int let p = Point(3, 1) // how to access x-value or y-value of p here?

    5

    2答えて

    OCaml/F#DUタイプは、そのケースが他のケースのサブセットである場合、どのように作成できますか? たとえば、プログラムの種類、変数、関数などのシンボルの宣言タイプが異なるシンボルテーブルを作成したいとします。 一見すると、変数に型が含まれていることがわかります。関数には型と多くのパラメータ変数も含まれています。だから私は、1 DUを使用したいの代わりに多くのレコードまたはエイリアスにsepe

    0

    1答えて

    トーマスのユーザーsaid in the comment:私は(レコードの別名)「または」(別名組合を区別)の面で世界をモデリングと思う「と」 です非常に強力な機能のトリックです。時には、機能/インタフェースはあまりにも有用であるが、私は私がAnimal(オープンワールドの世界をモデル化しています:-) を仮定することができますできるだけ多くをする「または」/固執する傾向がある「と」場合差別化され

    0

    1答えて

    あなたは、このような判別式として列挙型で判別共用体を使用することができますtypescriptです2.0のとおり: 活字体2.3のよう export function getInstance(code: Enum.Type1, someParam: OtherType1): MyReturnType1; export function getInstance(code: Enum.Type2,

    0

    1答えて

    SOや他の場所でのアドバイスに続いて、次のような簡単な例のように、インターフェイスを使って多態性を実装しようとしました。 type IFace = // abstract methods abstract member foo: int -> int type X(i: int) = // some code interface IFace with

    2

    1答えて

    私はTypeScriptを初めて使用しています。私は次のコードを持っています: type Circle = { kind: "circle" } type Rectangle = { kind: "rectangle" } type Triangle = { kind: "triangle" } type Shape = Circle | Rectangle | Triangle fun

    5

    1答えて

    私は、差別化連合を使って代数式を定義し、再帰的マッチケースアルゴリズムで基本的代数単純化を実行する単純化関数を実装しています。私はネストされた加算/減算/乗算を含むロードブロッキングに遭遇しました。 2つ以上のネストされた/ etc/etcをネストするマッチケースは、必要なときに単一の定数に完全に簡素化されないという問題があります。 IE:それは次のコードがあるため、簡潔にするために、私は唯一の追

    4

    2答えて

    Proのとコンの type Complex = { real: float; imag: float; } または type Complex = Complex of real: float * imag: float のいずれかを使用するのは、私は読みやすさで特に興味を持って、さまざまな状況での取り扱いは何です