algebraic-data-types

    0熱度

    1回答

    OCaml的不接受的類型構造二叉樹

    我想構建這樣的事情 type ('a, 'b) btree = Empty | Node of ('a, 'b) * ('a, 'b) btree * ('a, 'b) btree ，但它表示，約在第一個星號是語法錯誤。
    ocaml algebraic-data-types 2017-10-07

    1熱度

    1回答

    型類模式替代了在斯卡拉

    與方法豐富ADT我寫的決定的基本代數數據類型如下 sealed trait Fruit {def name: String} case class Apple(name: String) extends Fruit case class Orange(name: String, color: String) extends Fruit 我很想做的是橫跨蘋果和橘子定義一個通用方法。所以我決定
    scala functional-programming typeclass algebraic-data-types 2017-06-29

    1熱度

    1回答

    泛型中[typof T]的原因與硬編碼類型有不同的語義？

    因此，我發現在打字稿中有一個技巧，通過將類型映射到鍵值對，然後使用keyof類型創建可以是地圖中的任何值的類型，將對象類型轉換爲區分的聯合。下面是一個簡單的例子： type SourceType = { foo: number, bar: string }; type MapWithKey<T> = {[P in keyof T]: { key: P, value: T[
    typescript algebraic-data-types typescript-generics 2017-08-25

    0熱度

    1回答

    哈斯克爾嵌套代數數據類型

    我想下面這個簡單的斯卡拉ADT在Haskell型號： sealed trait Value sealed trait Literal < Value case object Null extends Literal case class IntLiteral(value: Int) extends Literal case class Variable(name: String) <
    haskell algebraic-data-types 2017-07-08

    7熱度

    1回答

    如何表達

    我怎樣才能在Go表達一個類型，是「（字符串或其他類似的列表）名單」「（字符串或‘其他如切片’）的片」的類型？基本上，好ol'「樹表示爲無限的列表和作爲值的東西（在這個例子中的字符串）的東西」 我正在尋找一個S表達式的最簡單的可能表示（它本身就是最簡單的AST），在Python中看起來像這樣： sexp1 = ["+", "x", "y", ["*", "10", "myVal"]] sexp2
    go types abstract-syntax-tree algebraic-data-types 2017-09-02

    0熱度

    2回答

    約束密鑰是查找到的類型

    的一部分我需要創建限制由keyof關鍵字列出，它們是特定類型的屬性的TP1密鑰的約束。當我使用builder.setMetadata方法，第一個參數不應該接受字符串「配置」作爲有效值（應該接受的類型爲Foo<something>foo和其他鍵）。我試圖自己想出一個解決方案，但我有點失落，現在已經做了三個多小時。以下是工作代碼： interface Foo<T> {}; class Test {
    typescript types algebraic-data-types complex-data-types 2017-05-30

    1熱度

    1回答

    Scala一些冗餘協方差

    Scala標準庫包含Option類型。 選項類型本身是協變類型，這從它的聲明sealed abstract class Option[+A]明顯可見。 的問題是： 爲什麼它的構造Some也是協變 final case class Some[+A](x: A) extends Option[A]？ 這是模式匹配需要嗎？ 或者也許這是爲了更好的可讀性？ 對我來說似乎是多餘的，因爲我沒有看到任何理由使用
    scala pattern-matching option covariance algebraic-data-types 2017-06-01

    0熱度

    1回答

    關於CVC4中的歸納數據類型的斷言

    我在嘗試CVC4的實驗。 (set-option :produce-models true) (set-option :produce-assignments true) (set-logic QF_UFDT) (declare-datatypes() (Color (Red) (Black)) ) (declare-const x C) (declare-const y C
    smt algebraic-data-types cvc4 2017-04-22

    2熱度

    2回答

    Scala的抽象數據類型 - 是有沒有辦法從字符串中的一種通用的方式反序列化

    比方說，我有以下特點 trait Named { def name: String } 和下面的代數數據類型 sealed trait Animal extends Named case object Dog extends Animal { override val name: String = "dog man" } case object Cat exte
    scala deserialization algebraic-data-types 2017-04-27

    1熱度

    1回答

    在java中使用混合數據類型的數學公式

    我已經給出了一個問題來計算人口（p0）上升或下降到一定數量的人（p）所需的年數（nbYear）if人口將增加/減少百分比（百分比）和額外的人（一年）。 public static int nbYear(int p0, double percent, int aug, int p) { int nbYear = 0; while(p0 < p){ p0 = p0 +
    java equation algebraic-data-types 2017-09-24
最新問題