如何在OCAML中安全地丢弃未使用的变量
在OCaml中安全地丢弃未使用的变量，可以通过以下方式实现：
- 使用下划线（_）作为变量名：在OCaml中，使用下划线作为变量名表示该变量不会被使用，可以安全地丢弃。下划线在OCaml中被称为匿名变量。
示例代码：
let _ = 42 (* 丢弃变量 *)- 使用忽略模式（ignore pattern）：忽略模式是一种特殊的模式匹配，用于忽略某个变量的值。可以将未使用的变量绑定到忽略模式中，从而安全地丢弃。
示例代码：
let (x, _) = (42, 10) (* 丢弃第二个元素 *)- 使用编译器警告选项：OCaml编译器提供了一些警告选项，可以帮助检测未使用的变量。通过在编译命令中添加相应的选项，可以及时发现并修复未使用的变量。
示例代码：
ocamlc -w +a-4 file.ml (* 启用未使用变量的警告 *)总结： 在OCaml中，可以使用下划线作为变量名或使用忽略模式来安全地丢弃未使用的变量。此外，通过启用编译器的警告选项，可以帮助及时发现未使用的变量并进行修复。
腾讯云相关产品和产品介绍链接地址： 暂无相关产品和链接地址。
相关·内容
1回答
ocaml-top无法编译过去(模式匹配)警告8
pattern-matching、ocaml、warnings
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：
当编译一个文件时，当函数触发(模式匹配)警告8时，警告显示为红色(在我通常使用的Windows ocaml-top版本中，它将是黄色的)；函数本身似乎是编译的，并给出了一个类型，但文件中位于它下面的函数无法编译(就好像警告是实际的编译错误一样)。
我怎么才能编译通过它呢？我失踪的案子显然是故意的。
编辑:由于没有ocaml-top特定的答案，我只是用_-> failwith "blabla"类型语句完成了所有的模式匹配。我应该使用比ocaml-top更好的东西吗?对于那些不知道包依赖等如何工
浏览 1提问于2018-05-28得票数 0
2回答
为什么要使用_防止出现警告？
ocaml
我有以下代码(这只是一个测试，所以它没有什么有趣的功能)
let test k =
let rec aux = function
|0 -> 0
|z when z = 2 -> raise Exit
|_ -> aux (k-1)
in try let _ = aux k in true
with Exit -> false
最后是语法：let _，对我来说，这只是一个语法，当你不知道可以用来定义函数的名称时，它只是一个语法。
然而，如果我执行以下操作：
let test k =
let rec aux =
浏览 32提问于2019-04-14得票数 -1
3回答
一个OCaml奇怪的东西
ocaml
有人能解释这种OCaml顶层行为吗？
# 1________________________________1;;
- : int = 11
(大行是一系列下划线：'_')
出于好奇，这个程序也是在ocamlc下编译的。
浏览 1提问于2011-02-20得票数 12
回答已采纳
2回答
为什么ocamlc说我不匹配{}而我不匹配？
functional-programming、ocaml
我写了myPercolation.ml。
open MyUnionFind
module type MyPercolationSig = sig
type percolation
val create_percolation : int -> percolation
val open_site : percolation -> int -> int -> unit
val is_open : percolation -> int -> int -> bool
val is_full : percolation -> int
浏览 8提问于2013-02-19得票数 2
回答已采纳
3回答
我在编译ocamlopt和floats时遇到了问题
我在Ubuntu 10.04和Ocaml 3.11下面
这一行：
let a = 10.0;;
无忧无虑
不要担心ocamlc ( test.ml文件中的代码)：
ocamlc -o exec test.ml
与ocamlopt错误：
ocamlopt -o exec test.ml
电文：
文件"test.ml"，第1行，字符0-1:错误:汇编程序错误，留在文件/tmp/camlasm5c3d4d.s中的输入
这是从哪里来的？
编辑:问题解决了，3.12修复了
谢谢各位:)
浏览 1提问于2012-01-13得票数 1
回答已采纳
2回答
OCaml '_a在程序中是不允许的？
ubuntu、compilation、makefile、ocaml
我正在Ubuntu12.04上使用OCaml，我试图使用make函数编译它，但它不太管用。
当前正在尝试编译程序EVA2H1，但它返回
ocamlc -w A -g -c error.mli
File "error.mli", line 54, characters 3-6:
Error: The type variable name '_a is now allowed in programs
make: *** [error.cmi] Error 2"
我在谷歌上搜索了“_a在程序中是不允许的”，并在这里看到，所以我输入了
# let f = List.so
浏览 0提问于2014-01-27得票数 1
回答已采纳
3回答
执行代码行n次而不初始化变量
swift
我对斯威夫特不熟悉。我想将100个随机整数添加到数组中。我有以下工作代码：
var integers = [Int]()
for i in 1...100 {
integers.append((Int.random(in: 0 ..< 100)))
}
编译器警告我，在for循环的作用域中没有使用i，这确实是一个明智的警告。有没有一种方法可以在不声明变量的情况下执行一些行n时间，而我无论如何都不会使用这个变量？
浏览 0提问于2018-11-25得票数 1
回答已采纳
2回答
绝对值函数Ocaml
ocaml
我正在看这个编程语言" ocaml“，我有一些麻烦，因为我读了ocaml的官方文档，但我不理解如何使用： ";“和”；“和"in”，特别是在函数的定义中。 这是我的代码： let abs_val value : int -> int =
let abs_ret = ref 0 ;
if value >= 0
then abs_ret := value
else abs_ret := -value ;
let return : int = abs_ret
;;
print_int abs_val -12 用"ocamlc“编译，它
浏览 39提问于2020-06-20得票数 0
1回答
OCaml:如何解决多个“how”的findlib警告
ocaml、opam、ocamlfind
现在，我尝试使用ocamlfind和一些包编写编译器，特别是使用opam的ppx_sexp_conv。
ppx_sexp_conv的依赖关系某种程度上需要compiler-libs，因此在ocamlfind ocamlc -package ppx_sexp_conv编译文件时添加了编译选项-I ~/.opam/VERSION/lib/compiler-libs。
问题是，compiler-libs包含非常常见的名称文件，如parsing.cmi、main.cmi、lexing.cmi。
这就产生了.cmi文件的冲突，并发出了以下许多噪音警告：
$ ocamlfind ocamlc -pack
浏览 0提问于2016-07-10得票数 5
回答已采纳
6回答
如何在Rust中禁用未使用的代码警告？
warnings、compiler-warnings、rust、dead-code
struct SemanticDirection;
fn main() {}
warning: struct is never used: `SemanticDirection`
--> src/main.rs:1:1
|
1 | struct SemanticDirection;
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: #[warn(dead_code)] on by default
我会在任何严重的情况下重新打开这些警告，但我只是在修补语言，这让我抓狂。
我尝试将#[allow(dead_code)]添加到我的代码中，但不起作用
浏览 138提问于2014-09-17得票数 336
回答已采纳
3回答
Ocaml记录匹配
ocaml
给出一个基本记录
type t = {a:string;b:string;c:string}
为什么这段代码会编译
let f t = match t with
{a;b;_} -> a
但这是
let f t = match t with
{_;b;c} -> b
和
let f t = match t with
{a;_;c} -> c
不是吗？我问这个是出于好奇，因此显然是无用的代码示例。
浏览 4提问于2017-02-14得票数 4
回答已采纳
1回答
顺风配置中“内容”的用途
vue.js、nuxt.js、tailwind-css
我在一个Nuxt应用程序中使用了顺风，并在Tailwincspsv3.0中更改了清除/内容选项，并在将清除更改为内容或离开它之后发出了警告，因为它只是没有改变任何没有删除警告的内容。
据我所知，这个选项(内容/清除)告诉顺风搜索类名的位置。但即使在名单中没有任何选择，一切都很好。
有人能解释为什么即使我的“内容”为空？
tailwind.condig.js
module.exports = {
mode: 'jit',
content: [
"./components/**/*.{js,vue,ts}",
"./layouts/*
浏览 6提问于2021-12-12得票数 1
回答已采纳
2回答
OCaml shebang语法错误
ocaml、syntax-error、shebang
$ cat hello.ml
#!/usr/bin/env ocamlrun ocaml
let rec main = print_string "Hello World!\n"
$ ./hello.ml
Hello World!
$ ocaml hello.ml
Hello World!
$ ocamlc -o hello hello.ml
File "hello.ml", line 1, characters 0-1:
Error: Syntax error
$ ocamlopt -o hello hello.ml
File "h
浏览 0提问于2011-09-30得票数 3
回答已采纳
3回答
箱体错误的索引
rust
我在玩Vec结构，遇到了一些我无法理解的有趣的错误和行为。考虑一下。
fn main() {
let v = vec![box 1i];
let f = v[0];
}
在锈蚀剧本中计算时，代码会产生以下错误：
<anon>:3:13: 3:17 error: cannot move out of dereference (dereference is implicit, due to indexing)
<anon>:3 let f = v[0];
^~~~
<anon>:3:9: 3:10
浏览 0提问于2014-07-25得票数 4
回答已采纳
2回答
对OCaml警告的解释
ocaml
我一直在阅读，我不知道其中一些是什么意思(没有提供示例)。具体来说，我想了解：
触发以下警告的代码示例(我认为我对每个警告的解释与其实际含义不同，因为我发现很难生成触发并非完全语言错误的警告的案例)：
5. Partially applied function: expression whose result has function type and is ignored.
6. Label omitted in function application.
28. Wildcard pattern given as argument to a constant constructor.
浏览 0提问于2019-03-23得票数 3
回答已采纳
1回答
用Swift循环计算字符串中的字符
swift、loops、for-loop
我试图循环一个字符串，并在Swift中计数它的字符。此代码成功输出字符计数，但我收到以下警告：
警告:从没有使用不可变的值“字符”；考虑用'_‘替换它，或者删除它的字符引号{^_
这是我的密码：
var quote = "hello there"
var count = 0
for character in quote {
count = count + 1
}
print("\(count)")
有人知道我为什么会有这样的警告吗？而且，这是处理这一任务的最佳方式吗？谢谢。
浏览 2提问于2020-05-01得票数 0
1回答
我在文本文件mpd.ml中有一个简单的模块，其中包含变体类型：
type ack_error =
| Not_list
| Arg
| Password
| Permission
| Unknown
| No_exist
| Playlist_max
| System
| Playlist_load
| Update_already
| Player_sync
| Exist
浏览 1提问于2016-09-12得票数 0
回答已采纳
1回答
Ocaml中未使用的let表达式
compiler-errors、ocaml、unused-variables、unused-functions
为什么我不能在Ocaml中用未使用的变量编译程序呢？
let foo a b = a + b
-错误(警告32未使用-值-声明)：未使用值foo。
浏览 7提问于2022-07-28得票数 0
回答已采纳
1回答
OCaml:引用未定义的全局“A”
ocaml
我有三个签名-- A.mli、B.mli和C.mli。在它们中，我分别有子模块Aa、Bb和Cc，以及实现Ai、Bi和Ci的签名。
我在一个名为D.ml的文件中实现了它们，该文件如下所示
open A
open B
open C
module Ai : Aa = struct ... end
module Bi : Bb = struct ... end
module Ci : Cc = struct ... end
我使用以下命令依次编译它们：
ocamlfind ocamlc -linkpkg -thread -package core A.mli
ocamlfind ocamlc -li
浏览 3提问于2015-03-29得票数 2
回答已采纳
2回答
模块用例名称混淆
ocaml、ocamlbuild、ounit
我犯了更新软件的错误，现在我不能运行任何OUnit测试。
我想我已经成功地将问题归结为一个简单的REPL会话。
$ ocaml -I /opt/local/lib/ OCaml /site/ Ounit ocaml version 4.01.0 #Ounit.assert_equal；错误:错误的文件命名: /opt/local/lib/ocaml/site-lib/ OUnit /ounit.cmi包含OUnit编译后的接口，预期OUnit为# Ounit.assert_equal;；错误:引用未定义的全局“OUnit”
知道我做错什么了吗？
我是在拥有默认文件系统的Mac笔记本电脑
浏览 3提问于2014-01-06得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
