type-kinds

    21熱度

    1回答

    未定義類型級別

    通常，當我玩Haskell代碼時，我會用類型註釋和undefined來存儲事物。 foo :: String -> Int foo = undefined 是否有類型級別的「未定義」，我可以用類似的方式？ （理想情況下，以一種註解一起） type Foo :: * -> * type Foo = Undefined 進一步想在同一個線程：有沒有辦法對我來說，存根出類型類爲創建這樣類型的
    haskell types undefined ghc type-kinds 2012-01-27

    6熱度

    2回答

    這是Scala中更高級的類型嗎？

    有如下定義 type MyMap = Map[String, List[Map[Int, String]]] 可以映射被定義爲高kinded類型？
    scala types type-kinds 2012-05-08

    2熱度

    1回答

    Haskell將函數箭頭應用於僅結果類型？

    Haskell是否可以將函數的箭頭類型構造函數（ - >）僅應用於其右側類型（例如：（ - > a））以獲取類型* - > *的類型構造函數？
    haskell types type-kinds 2012-05-22

    0熱度

    2回答

    Google APP引擎數據存儲設計

    我目前正在使用Python在AppEngine上構建一個網站，並且我必須在數據存儲上存儲一些信息。 我所有的信息都在三個不同的類別拆分如下： 1°/ - 文章（主頁新聞條目）。 2°/ - 產品（產品頁面描述條目）。 3°/ - 導航（包含所有標題菜單條目）。 現在，我存儲他們這樣的： from google.appengine.ext import db class article(db.M
    python google-app-engine database-design google-cloud-datastore type-kinds 2012-08-31

    1熱度

    1回答

    這個尺寸安全的ZipWith變體需要哪些函數依賴項，爲什麼？

    我試圖定義具有類型參數化長度的列表上的操作。我最終在這些列表上有很多限制（Map,Fold，你有什麼），所以我想用新的GHC ConstraintKinds來簡化我的生活。但是，我似乎無法弄清楚。 考慮以下（徹底簡化的）例子： -- A list where length is implicit in the type. -- This allows us to have classes lik
    haskell types type-kinds 2012-02-16

    4熱度

    1回答

    升級的數據類型和類實例

    升級的數據類型具有固定數量的類型，它們是升級的數據類型的成員。在這個封閉的世界裏，支持在一個類型類中調用一個函數而不需要顯式地在字典範圍內有意義嗎？ {-# LANGUAGE DataKinds #-} {-# LANGUAGE PolyKinds #-} data DataType = Constructor data DataTypeProxy (e :: DataType) = D
    haskell type-kinds 2012-06-12
最新問題