小编cam*_*ter的帖子

我将应用程序从Tru64移植到Linux,它使用limits.h中定义的PID_MAX.Linux没有那个定义.如何在不用手动阅读的情况下在c中找到PID_MAX /proc/sys/kernel/pid_max？有图书馆吗？

最近我得到了代码

List.fold_left (fun acc x -> raise x ; acc) 3

Run Code Online (Sandbox Code Playgroud)

我完全没有这个具有类型功能值的部分应用程序exn list -> int,并且它产生警告的事实并不令人惊讶.但是,我不确定警告的一半是什么意思:

Warning 21: this statement never returns (or has an unsound type.)

Run Code Online (Sandbox Code Playgroud)

我实际上找不到任何对此警告的引用,因为它不是非返回语句的结果.即使是ocamlc的手册页也只提到了这个警告的非返回语句,而warnings.ml仅仅提到了它Nonreturning_statement.

我熟悉声音的概念,因为它与类型系统有关,但类型本身本身就不健全的想法对我来说似乎很奇怪.

所以我的问题是:

什么是不健全的类型？

当OCaml只发出警告而不是彻底失败时,会出现不健全类型的情况是什么？

有人发布了这个问题,在我写答案时,它被删除了.我相信这个问题非常有趣,值得重新发布.请考虑你可能有人愿意帮助你:-(

我是OCaml的新手,我现在正在尝试实现一个函数,该函数返回一个列表,其中包含输入列表中偶数位置的所有元素.对于[1; 2; 3; 5],返回[2; 5]和[1 3]返回[3]; 并且对于["i";"am";"new";"to";"ocaml"]返回["am";"to"].希望有人能给我一些解决这个问题的建议.