什么是 succ_typings 為 false 的 Dialyzer？
[英]What is Dialyzer with succ_typings false?
問題描述
我認為 Dialyzer 是一個檢查成功輸入的工具。 但是，它的公共 API 有一個 succ_typings false 選項。 Rebar3 的 Dialyzer 提供程序通過--succ-typings false命令行選項公開了這一點。
使用和不使用此選項運行 Dialyzer 有什么區別？
文檔對這個問題保持沉默。
1 個解決方案
解決方案1
3 2020-12-07 19:59:35
看起來以前的分析類型稱為dataflow （Nyström，2003），后來引入了成功類型（ succ_typings ）。
自Erlang/OTP R12B-2起，數據流軟類型已停止使用，請參閱：
- Dialyzer 的分析從現在開始完全基於成功類型。 特別是，對選項
--old_style和--dataflow的支持已停止。
為什么 `fmap` 需要在 `Maybe Integer` 上調用 `succ`？
[英]Why is `fmap` needed to call `succ` on a `Maybe Integer`?
“if False：from typing import Type”是什么意思？
[英]what is the meaning of “if False: from typing import Type”?
為什么`succ i`在`i :: Num a => a`（而不是'Enum a`）中有效？
[英]Why is `succ i` valid where `i :: Num a => a` (and not an `Enum a`)?
為什么Dialyzer告訴我這個有趣的合同有重疊的域名？
[英]Why Dialyzer tells me that this fun contract has overlapping domains?
Dialyzer 無法使用多態類型識別 function 中的錯誤
[英]Dialyzer cannot recognize error in function using polymorphic types
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
相關問題
結構的透析器錯誤
Elixir、透析器、類型和亞型警告
為什么 `fmap` 需要在 `Maybe Integer` 上調用 `succ`？
動態函數的返回類型
“succ（零）”的類型與GHC中的“一”類型不同
如果我有成功<t>我可以創建類型小於嗎<t> ?</t></t>
“if False：from typing import Type”是什么意思？
為什么`succ i`在`i :: Num a => a`（而不是'Enum a`）中有效？
為什么Dialyzer告訴我這個有趣的合同有重疊的域名？
Dialyzer 無法使用多態類型識別 function 中的錯誤
相關標簽