unification

8熱度

2回答

`coerce`和類型變量的實例

考慮以下GHCI會議： >:set -XTypeApplications >import Data.Map.Strict >import GHC.Exts >newtype MySet a = MySet (Map a()) >let member' :: Ord a => a -> MySet a -> Bool; member' = coerce member <interacti

1熱度

1回答

統一引擎不是laravel

工作時我使用統一鍵分享關於laravel框架，然後我得到這個錯誤狀態：403和信息：禁止響應。感謝

2熱度

1回答

不允許轉讓

我與一個類型級權限的系統試驗，我試圖以禁止不從相同的「源」來源值的分配，即： data A = A { a :: Value, b :: Value } modify :: A -> A modify (A v) = A $ v { a = v.a } -- should work modify (A v) = A $ v { a = v.b } -- should *NOT* work

0熱度

1回答

Unificationegine不instagarm分享

我在PHP和捲曲使用unificationegine時收到此錯誤工作 $app = new UEApp("590f402bd2a043f98823eb1964230b2ab","a62c855ae17b5c7acb2345fabfbcc3a93"); $user = new UEUser("039c8b4b-58f6-46f6-b872-fsdc71e57eda", "91892138-e549

2熱度

2回答

Prolog中的自定義數據結構語法

在Prolog中，[H|T]是以H開頭的列表，其餘元素在列表T（內部由'.'(H, '.'(…))表示）中。是否可以用類似的方式定義新的語法？例如，是否可以定義[T~H]是以H結尾的列表，其餘元素在列表T中，然後在謂詞的頭部和主體中自由使用它作爲[H|T]？是否也可以定義<H|T>是否與列表不同？

1熱度

2回答

Prolog成員函數應該可以工作，但它不會

我想檢查一個字符串是否可以執行的工作調用。爲此，我解析字符串，得到第一個單詞，如果它匹配預定義函數的數據庫，它應該成功。 Q有字符串，A稍後會用，現在不用。字符串的例子是：追加a和b。 is_uni(Q, A):- split_string(Q, " ", ",", [X|Y]), uni_db(Z), member(X, Z). uni_db([ ap

2熱度

1回答

指定一個類型只能存在於一個類中，如果它已經存在於Haskell的其他類中

我正在處理涉及統一的問題，用戶定義類型爲Subst。問題是：「定義類型類Unifiable，指定函數unify :: a - > a - >可能（Subst a）必須爲此類中的任何類型a定義。在 Unifiable類中，如果它已經存在於Eq和Substitutable類中，則應在您的定義中表示。「這是我如何定義的可替代Unifiable至今： class Substitutable a w

1熱度

2回答

Prolog統一不是（）

我只是在學習序言，有一件事我不能理解我的頭。假設我有以下程序 value(v). a(X) :- not(value(X)). 所以a(v).給我假的，因爲value(v)可以證明是正確的。 a(w)給我的真實，因爲沒有事實value(w)，因此，即使在嘗試時，它不能被證明是正確的。據我瞭解，要求a(X).應該給我第一個可能的值，使得value(X)不可證實。應該有無限的可能性，因爲只

2熱度

2回答

統一不提供我的用戶密碼和用戶名

當我使用Instagram的分享那我怎樣才能從Instagram的（當前登錄用戶）用戶名和密碼。 $app = new UEApp(self::APP_SECRET, self::APP_SECRET); $user = new UEUser($this->currentUser->unification_userkey, $this->currentUser->unification_user

0熱度

2回答

（R）：計算獨特的行值統一

位數我有一個DF這樣的： > df<-data.frame(Client.code = c(100451,100451,100523,100523,100523,100525),dayref = c(24,30,15,13,17,5)) > df Client.code dayref 1 100451 24 2 100451 30 3 100523 15 4 1