gpt4 book ai didi

types - 使用原因显示类型和值

转载 作者:行者123 更新时间:2023-12-04 19:29:01 27 4
gpt4 key购买 nike

OCaml REPL 显示任何表达式的值和类型。例如,评估:

let rec map f = function
| [] -> []
| x::l -> f x :: map f l;;

给出:
val map : ('a -> 'b) -> 'a list -> 'b list = <fun>

这对于教授语言是没有值(value)的。

我正在考虑切换到 Reason,但您将如何获得相同的信息?
let rec map = (f) =>
fun
| [] => []
| [x, ...l] => [f(x), ...map(f, l)];

Try Reason不显示任何类型,我不确定是否存在 REPL for Reason。

最佳答案

rtopreason-cli 附带的顶层(OCaml-lingo 中的 REPL) ,这实际上只是对 utop 的一个薄包装。 .它会像这样打印类型:

let map: (('a) => 'b, list('a)) => list('b) = <fun>;

在 VSCode 中,merlin 还会在每个绑定(bind)上方显示的“CodeLens”中为您提供 let 绑定(bind)的类型。

enter image description here

关于types - 使用原因显示类型和值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47438554/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com