主页 / coding / 问题

问题[ocaml](coding)

Martin Hope
smwikipedia
Asked: 2025-01-13 18:16:13 +0800 CST
  • 6

红框里的类型信息为什么不是：'a -> 'a -> 'a -> 'a -> 'a？

在此处输入图片描述

我认为所有参数和返回值都应该是同一类型，并且 utop 确实确认它们都是同一Z.t类型。

utop # let rec fib_acc = fun n -> fun n_1 -> fun n_2 -> fun acc ->
  if (Z.equal n Z.one) || (Z.equal n (Z.of_int 2)) 
  then acc
  else fib_acc (Z.add n Z.minus_one) n_2 (Z.add n_1 n_2) (Z.add n_1 n_2);;
val fib_acc : Z.t -> Z.t -> Z.t -> Z.t -> Z.t = <fun>
ocaml
Martin Hope
Vlam
Asked: 2025-01-09 13:49:16 +0800 CST
  • 5

我正在尝试用下面的 OCaml 编写一个简单的可执行代码。

open Printf
open Lwt
open Cohttp
open Cohttp_lwt_unix
open Yojson

let () =
  let ip = "8.8.8.8" in
  let key = "" in
  let uri =
    Uri.of_string
      ("https://api.ip2location.io/?format=json&key=" ^ key ^ "&ip=" ^ ip)
  in
  Lwt_main.run
    ( Client.get uri >>= fun (resp, body) ->
      let code = resp |> Response.status |> Code.code_of_status in
      let json_promise = body |> Cohttp_lwt.Body.to_string in
      json_promise >>= fun json_string ->
      let json = Basic.from_string json_string in
      let open Yojson.Basic.Util in
      if code == 200 then
        if member "usage_type" json <> `Null then
          let usage_type = json |> member "usage_type" |> to_string in
          printf "usage_type: %s\n" usage_type
        else
          printf
            "ERROR: The usage_type field requires a paid subscription to the \
             Starter plan or higher."
      else if (code == 400 || code == 401) && member "error" json <> `Null then
        let error_message =
          json |> member "error" |> member "error_message" |> to_string
        in
        printf "ERROR: " ^ error_message
      else printf "HTTP Code: " ^ Int.to_string code )

但是当我跑步时我一直看到下面的内容dune build。

File "bin/main.ml", line 24, characters 10-46:
24 |           printf "usage_type: %s\n" usage_type
               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type unit but an expression was expected of type
         'a Client.io

从其他 StackOverflow 帖子来看，它似乎与返回的不同类型有关，if/else但我已确保所有类型都if/else在使用printf。

如果有人能让我知道我还做错了什么，我将不胜感激。

ocaml
Martin Hope
smwikipedia
Asked: 2025-01-06 15:52:55 +0800 CST
  • 4

(我正在学习 OCaml，这可能是一个幼稚的问题。)

我使用下面的代码来定义一个命名函数a：

utop # let a = fun x -> x+1;;
val a : int -> int = <fun>

请注意，前导val a清楚地显示为函数的名称。

然后我尝试查看该函数的类型信息a：

utop # a;;
- : int -> int = <fun>

前面有一个-，表示匿名。

但我给它起了个名字a。

为何不显示？

ocaml
Martin Hope
Vlam
Asked: 2024-12-13 08:37:28 +0800 CST
  • 5

我正在为我的 OCaml 项目编写测试代码，当使用下面的代码时，它运行良好。

open Printf
open Ip2location

(* query IP2Location BIN datababase *)
let meta = Database.open_db "./IP2LOCATION-LITE-DB1.IPV6.BIN";;

let ip = "2a02:3037:0400:6fa2:459c:84b6:967d:69e0";;
let res = Database.query meta ip;;

printf "country_short: %s\n" res.country_short;;
printf "country_long: %s\n" res.country_long;;
printf "region: %s\n" res.region;;
printf "city: %s\n" res.city;;
printf "isp: %s\n" res.isp;;
printf "latitude: %f\n" res.latitude;;
printf "longitude: %f\n" res.longitude;;
printf "domain: %s\n" res.domain;;
printf "zip_code: %s\n" res.zip_code;;
printf "time_zone: %s\n" res.time_zone;;
printf "net_speed: %s\n" res.net_speed;;
printf "idd_code: %s\n" res.idd_code;;
printf "area_code: %s\n" res.area_code;;
printf "weather_station_code: %s\n" res.weather_station_code;;
printf "weather_station_name: %s\n" res.weather_station_name;;
printf "mcc: %s\n" res.mcc;;
printf "mnc: %s\n" res.mnc;;
printf "mobile_brand: %s\n" res.mobile_brand;;
printf "elevation: %f\n" res.elevation;;
printf "usage_type: %s\n" res.usage_type;;
printf "address_type: %s\n" res.address_type;;
printf "category: %s\n" res.category;;
printf "district: %s\n" res.district;;
printf "asn: %s\n" res.asn;;
printf "as: %s\n" res.asys;;

Database.close_db meta;;

然后，我修改了代码以查询 IP 地址列表，如下所示：

open Printf
open Ip2location

(* query IP2Location BIN datababase *)
let meta = Database.open_db "./IP2LOCATION-LITE-DB1.IPV6.BIN";;

let mylist = ["0.0.0.0"; "8.3.34.0"; "8.8.8.8"; "3.91.171.8"; "37.252.228.50"; "64.94.62.0"; "197.85.191.64"; "255.255.255.254"; "255.255.255.255"; "179.125.12.0"; "::"; "2001::"; "2001:0:4136:e378:8000:63bf:f7f7:f7f7"; "2001:0000:4136:e378:8000:63bf:f7fc:ddff"; "2002::"; "2002:808:808::"; "2002:0803:2200::0803:2200"; "2600:1F18:45B0:5B00:0000:0000:0000:0000"; "::FFFF:FFFF"; "::FFFF:3.91.171.8"; "::FFFF:8.3.34.0"; "::FFFF:64.94.62.0"; "::FFFF:C555:BF40"; "ffff:ffff:ffff:ffff:FFFF:FFFF:FFFF:FFFE"; "FFFF:FFFF:FFFF:FFFF:FFFF:FFFF:FFFF:FFFF"; "0:0:0:0:0:ffff:b37d:0c00"; "0.0.0.256"; "0.0.0"; "1"; "A"];;

let getloc ip =
    let res = Database.query meta ip in
    printf "country_short: %s\n" res.country_short;;
    printf "country_long: %s\n" res.country_long;;
    printf "region: %s\n" res.region;;
    printf "city: %s\n" res.city;;
    printf "isp: %s\n" res.isp;;
    printf "latitude: %f\n" res.latitude;;
    printf "longitude: %f\n" res.longitude;;
    printf "domain: %s\n" res.domain;;
    printf "zip_code: %s\n" res.zip_code;;
    printf "time_zone: %s\n" res.time_zone;;
    printf "net_speed: %s\n" res.net_speed;;
    printf "idd_code: %s\n" res.idd_code;;
    printf "area_code: %s\n" res.area_code;;
    printf "weather_station_code: %s\n" res.weather_station_code;;
    printf "weather_station_name: %s\n" res.weather_station_name;;
    printf "mcc: %s\n" res.mcc;;
    printf "mnc: %s\n" res.mnc;;
    printf "mobile_brand: %s\n" res.mobile_brand;;
    printf "elevation: %f\n" res.elevation;;
    printf "usage_type: %s\n" res.usage_type;;
    printf "address_type: %s\n" res.address_type;;
    printf "category: %s\n" res.category;;
    printf "district: %s\n" res.district;;
    printf "asn: %s\n" res.asn;;
    printf "as: %s\n" res.asys

List.iter getloc mylist;;

Database.close_db meta;;

当我运行时dune test，我得到以下信息：

File "test/ip2locationtest.ml", line 12, characters 29-32:
12 |    printf "country_long: %s\n" res.country_long;;
                                    ^^^
Error: Unbound value res
Hint: Did you mean ref?

我是 OCaml 的新手，所以我不知道我错过了什么。如果能指出我做错了什么，我将不胜感激。

ocaml
Martin Hope
ihab
Asked: 2024-10-17 00:37:46 +0800 CST
  • 6
let x = 2;;

let x = 3
in let y = x +1
    in x + 1;;

let x = 3 and y = x + 1 
in x + y;;

结果按每个表达式分别排序：

val x : int = 2

- : int = 7

- : int = 6

你能帮我理解为什么最后一个表达式等于 6 吗？我很难理解。

我在tryOCamlpro中运行此代码。

ocaml
Martin Hope
Tom-Tom
Asked: 2024-09-27 17:37:17 +0800 CST
  • 6

在我使用 OCaml 进行编程的实践中，我最近发现以下管道运算符对于创建函数非常有用。

let (>|) f g x = g (f x)

val ( >| ) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c = <fun>

我用它来替换如下代码：

fun s -> int_of_string s |> Int.hash

 - : string -> int = <fun>

更简单的是：

int_of_string >| Int.hash

- : string -> int = <fun>

关联性很好：

int_of_string >| float_of_int >| string_of_float

- : string -> string = <fun>

这是否会对核心语言产生有价值的改进？如果是，如何提交这一贡献？

ocaml
Martin Hope
Alberto Zaccagni
Asked: 2024-02-11 22:11:01 +0800 CST
  • 7

我需要一些帮助来理解类型推断如何影响以下代码，该代码来自上一个问题（经过一番思考后，我将其简化为以下代码）：

type 'a result =
  | Succ of 'a
  | Fail

let first f = function
  | Succ c -> let res = f c in Succ res
  | fail   -> fail

let second f = function
  | Succ c -> let res = f c in Succ res
  | Fail   -> Fail

我的问题是：为什么fin firsthas type('a -> 'a)而fin secondhas type ('a -> 'b)？

你可以在这里看到它。

ocaml
Martin Hope
Travis
Asked: 2023-12-02 05:42:03 +0800 CST
  • 5

我试图在函数内部创建一个本地求和类型，然后返回所述求和类型，而无需在 main 中声明它。这可能吗？我不相信它是直接的，但我一直在尝试使用 GADT 和多态变体来尝试找到解决方法，但我对 OCaml 仍然相当陌生，并没有完全理解它们。

我想要该函数执行以下操作。给定一个类型为 的元组，返回第一个元素，但其类型为和('a, 'b)之间的总和。'a'b

从加莱的回答来看，我尝试与 合作type ('a, 'b) either = | Left of 'a | Right of 'b，但未能使其发挥作用。

编辑：为了回应 glennsl 的评论，我试图解决的问题是针对我的课程项目的。我正在尝试实现构造逻辑和程序之间的柯里-霍华德同构。我目前已经使定理证明器和程序提取正常工作，但在处理析取规则时，我正在努力将程序的抽象形式转换为 OCaml 代码。我使用的规则集来自本文档的第 34 页。我已经添加了析取规则的图片。

我问的例子是定理 (anb) -> (avb)。有两个有意义的证明，我选择了使用 vIL 规则的一个，它对应于将 A 类型的变量左和注入到具有两个组件 A 和 B 的 sum 类型中。定理（使用此规则）是一个函数，它接受一个元组并返回第一个元素，但总和类型为 A + B。我希望获得此示例函数的 OCaml 代码的帮助。一旦我理解了这一点，希望我能够概括它。

ocaml
Martin Hope
Chris
Asked: 2023-11-11 01:49:30 +0800 CST
  • 6

如果我们查看 OCamlList模块的源代码，of_seq定义为：

let[@tail_mod_cons] rec of_seq seq =
  match seq () with
  | Seq.Nil -> []
  | Seq.Cons (x1, seq) ->
      begin match seq () with
      | Seq.Nil -> [x1]
      | Seq.Cons (x2, seq) -> x1 :: x2 :: of_seq seq
      end

这是完全有道理的，除了为什么在函数内执行额外的工作而不是编写看似更简单的以下函数？

let[@tail_mod_cons] rec of_seq seq =
  match seq () with
  | Seq.Nil -> []
  | Seq.Cons (x1, seq) -> x1 :: of_seq seq

我缺少什么洞察力才能使这有意义？

ocaml
Martin Hope
OrderAndChaos
Asked: 2023-09-05 21:33:59 +0800 CST
  • 5

我有这个 sql 查询来在 Sqlite3 中构建一个表，我使用的是工作正常的多行字符串。

let create_blog_table db =
  let sql =
    "
        CREATE TABLE IF NOT EXISTS blog(
        id INTEGER PRIMARY KEY AUTOINCREMENT,
        author TEXT NOT NULL,
        content TEXT NOT NULL);
    "
  in
  match exec db sql with Rc.OK -> () | _ -> failwith "Error creating table"

但是当我运行dune fmt（安装了 ocamlformat）时，结果如下：

let create_blog_table db =
  let sql =
    "\n\
    \        CREATE TABLE IF NOT EXISTS blog(\n\
    \        id INTEGER PRIMARY KEY AUTOINCREMENT,\n\
    \        author TEXT NOT NULL,\n\
    \        content TEXT NOT NULL);\n\
    \    "
  in
  match exec db sql with Rc.OK -> () | _ -> failwith "Error creating table"

由于某种原因，这种格式是必要的还是可取的？

如果不是，我可以告诉它不要这样做吗？

我找到了规则break-string-literals，但只允许auto或never

.ocaml格式

profile = default 
version = 0.26.0

break-string-literals=auto
ocaml