typechecking

2熱度

2回答

我想使用python3類型註釋功能。下面是一些玩具功能，而無需註釋： def fa(func, *args): return func(*args) def fb(x:str): return x + " returned." fa(fb, "Newton") 這些工作確定。但是，一旦我添加一些註釋爲fa，它就會出差錯： def fa(func:function, *

1熱度

1回答

Facebook流量功能聯盟類型

我正在玩Facebook流和奇怪，爲什麼以下功能不打字檢查？它顯然使用由'|'表示的聯合類型。 declare var f: ((x: any) => number) | ((x: any) => string); function f(x) { if(true) { return 5; } else return 'hello'; } 檢查者抱

9熱度

2回答

類型檢查破解匹配捕獲與上限？

創建一類像 public class Play { public static void main(String[] args) throws Exception { outer(Integer.class, inner("abc")); } static <C> void outer(Class<C> c, List<? super C> s){

5熱度

1回答

ghc在使用`no-code`標誌時不會報告非詳盡的模式匹配

我傾向於反覆在終端中對我的程序進行類型檢查，同時在我選擇的編輯器中修改它們以獲得實時反饋。我通常運行類似於：watch -d -n 1 "ghc -fno-code NoIncompletePM.hs"。不幸的是，我用來避免編譯我不在乎的代碼的no-code標記似乎與warn-incomplete-patterns不兼容。例如。有了這個程序： {-# OPTIONS -Wall #-}

-3熱度

2回答

檢查輸入的類型在C++

##要檢查的cpp輸入的數據的類型## int main() { int num; stack<int> numberStack; while(1) { cin>>num; if(isdigit(num)) numberStack.push(num); else break; }

2熱度

2回答

使用閉合編譯器Array <T>註釋與Array僅有哪些好處？

我期望Closure Compiler在下面的所有行上發出警告，但只有3）顯示爲一個問題。 Type Checking Array Contents with Closure-Compiler涉及這一點，但我的問題是，鑑於這些限制，從註釋Array<T> vs Array實現什麼好處？我覺得這是一種虛假的安全感。 // ==ClosureCompiler== // @compilation_le

3熱度

1回答

GHC 7.6下工作的代碼的歧義檢查和寬泛的覆蓋條件失敗

我有一個巧妙的類型級別的機制，可以在GHC 7.6上工作，但不是更高的版本。回首我不完全知道爲什麼它沒有計算過，但無論如何，我想找回這個功能莫名其妙： {-# LANGUAGE PolyKinds , FunctionalDependencies , FlexibleInstances , FlexibleContexts , OverlappingInstances

1熱度

2回答

解析器爲OCaml

任何人都可以推薦我一個開源的完整OCaml解析器嗎？本質上，我想爲OCaml實現我自己的類型檢查器。理想情況下，解析器是用OCaml編寫的。我只是用它來獲取輸入程序的AST。（要求預先填充標準庫函數簽名的初始打字環境可能太多了）

1熱度

1回答

嵌套列表的編譯時反射：typecheck List [List [Int]]返回List [List [...]]？

我使用宏註釋來檢查類的字段並基於這些字段添加成員。例如 @AddVal class A(x: Int) 擴展到 class A(x: Int){ val get: Int = x } 提取ValDef後，它tpe領域仍然null所以要獲得類型我有兩個選擇： 1）如果我打電話的ToString的類型樹，我可以看到類型，但現在我已經失去了一些類型安全 2）如果我在類型樹上使用c

1熱度

2回答

Groovy - 類型檢查腳本不能按預期工作

我有一個Groovy應用程序，我允許用戶通過Groovy腳本添加自定義行爲。我通過GroovyShell包含這些腳本，並通過Type Checking Extensions進行類型檢查。如何將腳本包含在我的應用程序中的完整代碼如下： def config = new CompilerConfiguration() config.addCompilationCustomizers( new