linear-types

    4熱度

    1回答

    Idris'`BorrowedType`背後的意圖是什麼？

    在idris中，有一個名爲UniqueType的宇宙，其中只能使用一次的類型的值。據我所知，它可以用來編寫高性能的代碼。 但這一個值只能使用一次的事實，通常是太有限的，所以有一種方法來借用一個值，而不是消耗它的： data Borrowed : UniqueType -> BorrowedType where ... 的Borrowed數據類型被定義爲上述伊德里斯。它爲什麼不簡單地返回Type
    idris linear-types uniqueness-typing 2016-10-02

    1熱度

    1回答

    唯一類型取代STM STM

    論壇post使用唯一性類型代替STM。我不明白這是什麼意思。如何唯一性類型假設處理STM正試圖處理的問題，例如多個線程正在更新相同的變量？ 我看過維基百科關於uniqueness types和linear types的文章，它仍然不清楚論壇帖子的含義。
    programming-languages stm linear-types 2014-01-15

    5熱度

    1回答

    OCaml中的線性類型

    Rust具有線性類型系統。有什麼（好）的方法來模擬OCaml中的這個？例如，當使用ocaml-lua時，我想確保只有當Lua處於特定狀態（堆棧頂部的表等）時纔會調用某些函數。
    ocaml linear-types 2013-03-25

    3熱度

    1回答

    線性類型如何防止「重複」的這種實現？

    我最近閱讀the post on Tweag.IO關於線性類型是一個有用的工具，用於表示僅使用（精確地）一次的參數。他們提出了下面的例子： dup :: a ⊸ (a,a) dup x = (x,x) 現在，也許我誤解的想法，但爲什麼不能用這個來回避： dup' :: a ⊸ (a,a) dup' x = (y,y) where y = x 文章特別提到參數。這是否
    haskell types linear-types 2017-08-04
最新問題