现在，我尝试使用透析器和使用-spec，-type。
我把下面的代码交给了透析器，我希望透析器会注意到"hoge(a) +1是无效的“，但是Dialyzer没有注意到。
-spec hoge (X) -> bad when X :: a;
(X) -> number() when X :: number().
hoge(X) when is_number(X) -> 1;
hoge(a) -> bad.
foo() ->
_ = hoge(a) + 1.
但是，在另一个背景下，
-spec hoge (X) ->
浏览 0提问于2018-04-03得票数 3
回答已采纳
2回答
下面的Erlang代码在它的类型规范中似乎有一个明显的错误，但是透析器说一切正常。我是误会了，还是这是透析器的问题？运行于Erlang 19.3
-module(foobar).
-export([foo/1]).
-spec foo(atom()) -> ok | {error, atom()}.
foo(Arg) -> bar(Arg).
-spec bar(atom()) -> ok | error.
bar(baz) -> error;
bar(_) -> ok.
浏览 0提问于2018-03-04得票数 5
回答已采纳
1回答
Dialyzer不喜欢调用基础模块中的函数。有没有可以跳过这个错误的透析器标志，或者我做错了什么。
下面是一个类似的代码：
-module(base).
-export(foo/1).
foo(X) -> X*2.
-module(derived).
-extends(base).
-export(xyz/0).
xyz() ->
?MODULE:foo(5).
这段代码可以像我期望的那样工作。我唯一关心的是透析器的警告；
-.erl:41:调用缺失或未导出的函数-：-/3
是我做错了什么，还是透析器发出了不必要的警告？
浏览 0提问于2012-04-02得票数 2
回答已采纳
我有一个在代码中没有-spec或-type的项目，目前透析器可以找到一些警告，其中大部分是机器生成的代码。
在代码中添加类型规格会使透析器发现更多错误吗？
在主题之外，是否有任何工具来检查规范是否被违反？
浏览 1提问于2015-12-21得票数 8
回答已采纳
2回答
我有一个字符串，例如：
MatchString = "Renal and Dialysis Technologist and Technician"
我有一个表，其中有一个名为degree_name的字段
例如，学位名称之一可以是Dialysis Technician。
我想试着从上面的MatchString中找到包含大量单词的学位-可能是2个或3个匹配-在mysql中有没有简单的方法来做到这一点-如果有，代码会是什么样子？
谢谢!
浏览 0提问于2012-08-25得票数 0
回答已采纳
3回答
我一直在网上搜寻Erlang程序的各种打字练习，似乎有一些……虽然很难找到可靠的信息来源，也就是说，我正在寻找关于以下内容的实用信息：
1.-specs --这个看起来很吸引人。一些地方提到，在编译时检查具有关联-specs指令的函数(以确保正确的类型用法)……我似乎找不到更多关于如何使用它的信息(使用哪个工具-透析器，TypEr?)。我真的很想创建一个小型的解析器/代码生成器，它可以从表单的函数声明中生成这些“规范”
functionName(param1 :List, param2 :Tuple) -> ...
我还没有看到-spec是否支持抽象类型(用户声明的类型-“汽车”类型-
浏览 11提问于2009-02-10得票数 10
回答已采纳
1回答
我正在尝试让我的库()能够很好地处理结果元组和透析器。
此时，如果输入的数据不正确，代码会抛出一个很好的错误。然而，dialyzer指出，这种情况从来都不需要。我仍然想保留这个错误案例。向库的新用户解释这个错误是非常有帮助的，但我想让dialyzer忽略它。
quote location: :keep do
case unquote(right) do
{:ok, unquote(left)} ->
unquote(expand_bindings(rest, yield_block, exception_clauses))
{:error, reason
浏览 7提问于2018-08-22得票数 2
1回答
为什么透析器只检查功能的第一例？
-spec f(integer()) -> integer().
f(0) -> 0;
f(_) -> test.
从分析开始..。在0m0.25s内完成(成功通过)
带有"case“的版本也通过了检查：
-spec f(integer()) -> integer().
f(N) ->
case N of
0 -> 1;
_ -> test
end.
透析器版本为4.4.3
浏览 7提问于2022-07-17得票数 2
我有一个具有标准dir设置的OTP应用程序：
config/
log/
doc/
src/
_build/
rebar.config
我能够在像dialyzer src/source_name.erl这样的src文件上运行透析器。但是这是没有用的，因为src/foo1中的函数X可能在src/foo2中调用函数Y，并且您希望确保X将正确的参数类型传递给Y。
如何使用透析器检查我的/src回购中函数调用之间的所有交互？
浏览 2提问于2017-04-04得票数 0
回答已采纳
我使用以下命令为ejabberd和标准库构建了.plt文件：
$ dialyzer --build_plt --apps kernel stdlib erts mnesia eunit -o ./dialyzer/ejabberd.plt /path/to/ejabberd/repository/ebin/*.beam
对生成文件的手动检查表明该文件是有效的：
$ dialyzer --check_plt dialyzer/ejabberd.plt
Checking whether the PLT /home/citxx/.dialyzer_plt is up-to-date... ye
浏览 2提问于2014-06-03得票数 0
回答已采纳
1回答
背景
在玩透析器，类型测试和跑步的时候，我创造了一个透析器中假阳性的例子。
为了这个的目的，我使用 (包括版本)，因为它使我的生活更容易。透析器的作者证实，这对他们来说不是一个问题，所以暂时排除了这种可能性。
环境
$ elixir -v
Erlang/OTP 24 [erts-12.2.1] [source] [64-bit] [smp:12:12] [ds:12:12:10] [async-threads:1] [jit]
Elixir 1.13.2 (compiled with Erlang/OTP 24)
你用的是哪种版本的透析器？(cat mix.lock _ grep透析器)：
浏览 8提问于2022-02-16得票数 1
回答已采纳
1回答
我正在使用'-Woverspecs‘运行Dialyzer，并收到以下警告：
room_channel.ex:143:
Type specification 'Elixir.Backend.RoomChannel':
testU(a) -> a when is_subtype(a,#{})
is a subtype of the success typing: 'Elixir.Backend.RoomChannel':testU(_) -> any()
使用以下代码：
@spec testU( a ) :: a when a: %Backend
浏览 3提问于2016-04-05得票数 2
我有一个erlang应用程序，子应用程序在应用程序/依赖项在deps/。在其中一个子应用程序上运行透析器，例如：
$ dialyzer -r apps/app1/src --src
工作，但列出了“未知函数”的各种功能，从应用程序在deps。
那么，我应该将deps应用程序添加到plt，还是应该相信他们的作者已经完成了他们自己的测试？
我认为这两种观点都是合理的：
可能会发现下游的虫子；
会堵塞我自己的代码。
浏览 1提问于2013-07-10得票数 1
回答已采纳
1回答
以下是一些有错误的代码，我认为Dialyzer应该能够发现这些错误：
-module(myapp_thing).
-spec exists(pos_integer()) -> yes | no.
exists(Id) ->
myapp_mnesia:thing_exists(Id).
-module(myapp_mnesia).
thing_exists(Id) ->
Exists = fun() ->
case mnesia:read({thing, Id}) of
浏览 2提问于2013-07-10得票数 2
回答已采纳
2回答
我读过Mkyong的这个伟大的关于Hibernate中一对多关系的文章，我对此有很大的怀疑。Mkyong在他的示例中使用了两个clase：Stock.java and StockDailyRecord.java
我认为类图必须是：“股票有许多库存透析记录”，因此，作为数据库实体关系图，必须是：“库存一对多的库存透析记录”。
但是Mkyong已经走得更远了，这里是我怀疑的地方。他设置了一个名为Stock stock on the StockDialyRecords class的属性。也就是说，他创造了一个的双向关系。这是对的？我知道这条路对ORM来说，我们可以朝两个方向走。但从图类来看，的观点是
浏览 1提问于2012-11-22得票数 0
回答已采纳
是一个包含大约100个模块的大型Erlang项目。我在这个项目中实现了一个新的模块，并对透析器需要多长时间才能完成项目的一个完整检查感到震惊。在我的机器上运行一次make dialyzer大约需要200秒，对于实现更改的频繁测试来说，这是无法忍受的。
make dialyzer运行以下命令来启动透析器：
/usr/lib/erlang/bin/dialyzer -Dtid_not_builtin -Dwith_export_type_support \
-DNO_FILE_SENDFILE -Dhave_cthooks_support -Dhave_callback_supp
浏览 0提问于2012-08-15得票数 5
回答已采纳
在学习灵丹妙药的过程中，我开发了一个非常简单的应用程序，在使用透析器检查类型时遇到了一个小障碍。在我的代码上运行透析器会导致Analysis failed错误.到目前为止，透析器只给了我警告，而不是错误，当我违反类型规格，所以我不知道错误是什么。
为了缩小问题的范围，我做了一个超简单的函数，执行违规的返回值。
@spec blabla(integer) :: %{atom => any}
def blabla(1) do
%{:error => 'wrong input (US-state)'}
end
def blabla(2) do
浏览 4提问于2015-07-14得票数 2
回答已采纳
2回答
因为TypeScript是Javascript的超集，使开发人员能够定义类型，可以在编译期间检查这些类型。
有没有一种类库，也是一种动态语言？
在编译期间启用类型检查的药剂超集？
浏览 5提问于2017-02-25得票数 2
回答已采纳
当Dialyzer遇到未初始化所需字段的记录文字时，它认为控制流在记录文字的行处停止。
示例：
-module(sample).
-export([foo/0]).
-record(boo, {a :: number()}).
foo() ->
erlang:display(#boo{}).
错误：
13> dialyzer:run([{files, ["/Users/mheiber/sample.erl"]}, {from, src_code}]).
[{warn_return_no_exit,
{"/Users/mheiber/samp
浏览 5提问于2020-12-23得票数 5
回答已采纳
在Elixir中，我如何记录一个函数将返回一个实现特定行为的模块？
举个简单的例子，假设我创建了一个由两个模块实现的GreeterBehaviour行为：
defmodule GreeterBehaviour do
@callback say_hello(String.t) :: String.t
end
defmodule FormalGreeter do
@behaviour GreeterBehaviour
def say_hello(name) do
"Good day to you #{name}"
end
end
defmodule C
浏览 4提问于2017-06-24得票数 15
1回答
我正在使用药剂，我得到了一个透析器(通过透析)的错误，上面写着
The pattern
variableVdate
can never match, because previous clauses completely cover the type
{:error, :badarg}.
这是代码
date = Timex.DateTime.from_seconds(0)
case date do
{:error, :badarg} ->
{:error, "Bad Date"}
date ->
{:ok, date}
end
我相信这
浏览 7提问于2020-04-18得票数 0
2回答
我是怎么理解的，-spec只用于Erlang的透析器。
如何在编译时检查类型(例如函数)(这是如何实现的，例如在Haskell中)？
浏览 4提问于2015-02-23得票数 3
回答已采纳
1回答
Heroku CI上的缓存
、、、、
我正在设置Heroku CI与灵丹妙药凤凰建设包。我想开始使用透析器。
Diazlyer是一个静态分析工具，在第一次运行之前至少需要几分钟从Erlang、Elixir和项目依赖项创建一个类型的“持久查找表”(PLT)。稍后，项目分析要快得多。我想要缓存PLT。
我已经找到了关于构建过程中缓存的部分：，但是我无法在test-setup或test脚本中找到任何关于缓存的内容。
是否存在测试/CI缓存，还是仅在构建包中可用？
浏览 0提问于2019-08-31得票数 4
回答已采纳
透析器版本2.9。Erts 7.3。OTP 18。
在以下人为编写的erlang代码中：
-module(dialBug).
-export([test/0]).
%-export([f1/1]). % uncomment this line
test() ->
f1(1).
f1(X) when X > 5 ->
X*2.
当透析器在上面的代码上运行时，它会警告代码不会工作，因为防护测试(X > 5)永远不会成功。
但是，当我取消注释第三行并导出f1/1函数透析器时，不再发出任何警告。
我意识到，当f1/1输出时，透析器不可能知道防护条款将失败，因
浏览 4提问于2017-09-17得票数 6
1回答
静态分析器透析器(我通过使用它)将Logger (Logger.info "blah")的所有使用情况报告为无与伦比的返回：
Expression produces a value of type 'ok' | {'error',_}, but this value is unmatched
我可以编写:ok = Logger.info "blah"，但很明显，它很麻烦。我还可以使用-Wno_unmatched_returns配置透析器，以忽略所有这些警告。然而，我发现它们信息丰富，不想忽视它们。
说，我们可以在每个模块的基础上
浏览 2提问于2016-04-04得票数 5
回答已采纳
2回答
我有一个应用程序，用于绘制ICU住院期间的病人数据(电子记录)。病人通常连接多个设备(监视器、呼吸器、透析等)。在一分钟内发送数据。每名病人平均每小时插入1800行。
到目前为止，集成引擎接收数据并将其存储在专用驱动器上的文件中。应用程序从那里读取它，并在图形和数据网格中绘制它。
由于需要进行分析，我们正在考虑将传入的信号立即写入DB。但是在性能方面有很多问题。特别是在这种工作环境中，人们在性能方面非常敏感。
除了适当的索引之外，是否有任何技术来减轻占有式性能的影响？我正在考虑一项任务，将数据加载到一个专用的表中，甚至可能加载到另一个数据库中，例如，在记录关闭后的一个月之后。
有什么经验，如何
浏览 5提问于2020-07-13得票数 1
回答已采纳
1回答
我是新来的透析器，我希望有人能通过回答这个问题让我快速了解它的操作。
我认为下面的函数，给定一个数字X和一个非负整数N，会产生一个数字。(X的N次方。)
-spec pow(X :: number(), N :: non_neg_integer) -> number().
pow(X, N) ->
pow(X, N, 1).
pow(_X, 0, R) ->
R;
pow(X, N, R) ->
pow(X*X,
N bsr 1,
if
N band 1 =:= 0 ->
浏览 2提问于2012-09-26得票数 2
回答已采纳
在一个包含大约6000行Erlang代码但没有类型-spec()注释的项目中，我尝试了以下操作：
typer --annotate *.erl
I将所有*.erl文件替换为带注释的文件，并运行
dialyzer --src -c *.erl
我希望得到很多警告(第一次运行透析器/打字机组合)，但在做了它的事情后，所有的透析器报告是两个老调用在user_default，同时不存在的功能。
没有其他默认警告触发。
我是在使用它时犯了一个错误，还是这样的结果很常见？
自动注释与typer和dialyzer的结合不是很有用吗?还是我只是幸运，我的代码没有问题？
Sidenote:我不得不评论3或4个
浏览 1提问于2011-05-01得票数 2
回答已采纳
1回答
我的职能如下：
-spec check_connection_header(list()) -> atom().
check_connection_header([{<<"Connection">>, <<"close">>}|_]) ->
close;
check_connection_header([{<<"Connection">>, <<"Close">>}|_]) ->
close;
ch
浏览 2提问于2016-08-08得票数 2
回答已采纳
1回答
我使用的是Windows 10计算机。我通过chocolatey安装了Elixir；这安装了Erlang 18。如何安装透析器？控制台应用程序是unix独有的吗？
浏览 4提问于2015-10-23得票数 1
3回答
静态分析与静态类型
、、、
我正在学习Elixir，工具'dialyzer‘可以让你做静态分析--用函数定义的类型规范来注释它所期望的参数和它返回的输出。它完全是可选的，但是如果它被充分使用，它如何与好的静态类型相匹配呢？
浏览 2提问于2014-05-09得票数 5
1回答
在我学习长生不老药的过程中，我在玩透析器，把类型放在我的功能上。在这方面，我注意到Dialyzer似乎没有检查匿名函数的类型。
在下面的示例中，我将向all?函数传递一个匿名函数，该函数添加两个数字并返回一个数字all?。因此，我不会像all?规范(t::any -> boolean)中所承诺的那样返回布尔值。
defmodule Exercises do
@spec all?([t::any], (t::any -> boolean
浏览 2提问于2015-07-09得票数 6
回答已采纳
2回答
背景
我正在用透析器进行多态分型。举个例子，我正在使用著名的Option类型(又名，也许是Monad)，这种类型现在在许多其他语言中很流行。
defmodule Test do
@type option(t) :: some(t) | nothing
@type some(t) :: [{:some, t}]
@type nothing :: []
@spec validate_name(String.t()) :: option(String.t())
def validate_name(name) do
if String.length(name) >
浏览 8提问于2022-02-16得票数 2
回答已采纳
1回答
在长生不老药中可以参数化Enumerable.t类型吗？
因此，目前我有一个函数，它接受foos的列表：
@spec the_awesome([foo]) :: any
def the awesome(foos) do
Enum.reduce(foos, &(bar(&2, &1)))
end
事实上，它不一定非得是一个列表！由于唯一的函数调用来自Enum模块，所以我想更改类型foo以接受任何可枚举的类型，但是保留这样的要求:枚举必须完全由foo的
有点像
@spec the_awesome(Enumerable.t(foo)) :: any
这个是可能的吗？
浏览 1提问于2015-03-04得票数 8
回答已采纳
您是否可以将一个透析器PLT输出复制并使用到另一台不同架构的机器上？例如，我在一台x86_64 Linux机器上构建了一个PLT文件。我可以在x86 FreeBSD或Windows机上使用该文件吗？
浏览 2提问于2011-07-23得票数 3
回答已采纳
2回答
我正在学习Erlang，并试图在可能的情况下使用透析器来获得最大的类型安全性。有一件事我不明白:非终止函数的类型是什么，以及如何在-spec中表示它。有人能解释一下这件事吗？
浏览 8提问于2016-05-12得票数 5
回答已采纳
1回答
下面有一个简单的代码来测试Erlang如何处理异常。抛出和捕获的引用。
-module(exception).
-export([sum/2]).
-export([is_odd/1]).
sum(A, B) ->
case is_odd(A) of
odd ->
2*A+B;
Result ->
Result
end.
is_odd(A) ->
case is_integer(A) of
true ->
odd;
_ -> ****({error,
浏览 0提问于2019-02-19得票数 0
回答已采纳
Dialyzer指责试图与模块变量匹配的代码：
defmodule Main do
# -> :demo
@env Application.get_env(:myproject, :env)
def run do
case @env do
:production -> 1
_ -> 2
end
end
end
lib/myproject/main.ex:6:pattern_match
The pattern can never match the type.
Pattern:
:production
Type:
:
浏览 11提问于2020-01-21得票数 2
回答已采纳
1回答
在Erlang标准库的类型规范中，在when子句之前，规范中几乎没有任何类型。例如，lists:member/2的规范如下：
-spec member(Elem, List) -> boolean() when
Elem :: T,
List :: [T],
T :: term().
而不是：
-spec member(Elem :: T, List :: [T]) -> boolean() when
T :: term().
这有什么原因吗？从透析器的角度来看，这两种类型是否等效？
浏览 5提问于2020-05-31得票数 1
回答已采纳
我是Erlang的新手，我想挂起一个函数。我使用带有无限超时的接收，我的函数如下所示：
suspend() ->
receive
after
infinity->ok
end.
当我运行透析工具时，它会返回“功能没有局部返回”。我是否应该用计时器来代替这个函数:睡眠(无穷大)。暂时停职，哪一个更好？非常感谢。
浏览 0提问于2019-01-27得票数 1
回答已采纳
在定义函数子句时，我应该有多严格？
灵丹妙药允许在范围内编写函数头，从没有守卫到检查类型，直到在范围内验证值。
例如，我不知道在这样的函数中使用什么样式：
def measure(args = %{times: times, path: path}) do ...
def measure(args = %{times: times, path: path}) when is_integer(times) and is_binary(path) do ...
def measure(args = %{times: times, path: path}) when is_integer(tim
浏览 1提问于2015-03-12得票数 4
回答已采纳
我希望添加规范永远不会使事情变得不那么安全，但这正是在下面的情况下发生的情况。
在下面的代码中，Dialyzer (错误地)相信我返回的条形是1。这导致了这样的说法: foo()中的模式永远无法匹配--不正确的建议，如果被注意到，将导致运行时错误！
-module(sample).
-export([foo/0]).
foo() ->
case bar() of
1 -> ok;
2 -> something
end.
-spec bar() -> 1.
bar() ->
rand:uniform(2).
浏览 9提问于2020-12-16得票数 4
回答已采纳
例如，flat_map的类型规范如下。
flat_map(Enumerable.t(), (element() -> Enumerable.t())) :: Enumerable.t()
输入和输出数据类型的末尾有许多括号。为什么会有？
在TypeScript、Haskell或Rust等其他语言中，数据类型只是没有()的类型。
提前谢谢。
浏览 3提问于2019-12-09得票数 4
回答已采纳
我有一些代码是不合格的透析器，我不明白为什么。无论我将什么放入函数顶部的@spec中，对该函数的调用都会返回一个令人费解的透析器错误。这里是函数的简化。据我所知，我正确地说明了这个函数。
@spec balances(uuid :: String.t(), retries :: non_neg_integer) ::
{:ok, list()}
| {:internal_server_error, String.t(), String.t()}
| {:internal_server_error, map | list, String.t()}
浏览 0提问于2018-11-14得票数 1
回答已采纳
我正在使用透析器修复Erlang代码中的错误。
io:format(IoDevice, "[]");
这一行会产生以下错误：
The call io:format(IoDevice::pid(),[91 | 93,...])
will never return since the success typing is
(atom() | binary() | string(),[any()]) -> 'ok'
and the contract is (Format,Data) -> 'ok'
when Format
浏览 0提问于2018-07-02得票数 2
回答已采纳
3回答
创建多个TCP套接字连接
、、、、
在我的一个解析程序中，我必须执行以下操作(在C、C++、VC++中)：
我必须通过socket编程连接100台机器(透析机)。向每台机器发送请求，并接收来自机器的响应和我将从机器获得的数据。我必须解析这些数据并将值写入a文件。我必须每隔5秒将请求发送到每台机器。
因此，为了完成上述任务，我认为应该这样做：
我将从数据库中读取每台机器的ip和端口，使线程连接到每台机器，并在每个线程中创建一个子线程(子线程)，它将每隔5秒发送和接收并解析来自机器的数据(并将值写入txt文件)。我的解析函数将是通用的。
这是可行的解决方案吗。请提前帮助me.Thnaks。
浏览 2提问于2012-09-18得票数 4
回答已采纳
1回答
一个简单的程序产生两种透析器警告：
defmodule Dtest do
defprotocol Valid do
@doc "Returns true if data is in a valid state"
def valid?(data)
end
defimpl Valid, for: Integer do
def valid?(_), do: true
end
end
我不明白的警告是：
dtest.ex:2: The specification for
'Elixir.Dtest.Valid':'__p
浏览 3提问于2016-06-06得票数 4
回答已采纳
1回答
我开发了一个工具，可以根据用户输入的内容从数据库中检索最近的表达式。(使用word嵌入-比较数据库中的每个表达式和用户输入的每个表达式)
检索n-结果，但最接近的表达式不一定是最相关的表达式。
例如，通过键入:医院机器的最高结果将是“透析机”，“医疗机器”，.但我也会找到像“建筑机器”，“办公机器”这样的表达方式，用户很可能会选择与药品相关的机器。
是否有一种方法可以根据用户输入优化我的排名系统，同时保持表达式向量之间的相似性？
浏览 0提问于2019-03-13得票数 2
我在/lib/mix/ Mix.Task /start.ex中为我的项目创建了新的
defmodule Mix.Tasks.Start do
use Mix.Task
def run(_), do: IO.puts("Hello, World!")
end
现在，它可以从这样的控制台运行：
mix start
但是我得到了透析器的错误，那个Callback info about the 'Elixir.Mix.Task' behaviour is not available。这意味着什么，以及如何解决这个问题？
浏览 1提问于2018-07-06得票数 27
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
