Hi there, we know that OCaml supports module type. So we may get a integral of value with different type (like A.t and B.t even though the t in each module is defined as int). My question is, how can we convert a variable from one type to another? Say we have module A and B and I want to transform …

[image] Tom_H: module A = struct type operand = | Imm of Int32.t end module B = struct type operand = | Imm of Int32.t end module C = struct let transform (op : A.operand) : B.operand = match op with | Imm i -> i end You simply need to construct a value of type B.operand inste…

Thank you for your answer, what does let transform = Fun.id mean in the left side panel? ohhhh, never mind, it is identical function.

Type conversion

Learning

Ulugbek September 16, 2022, 1:57pm 3

If you have the same representation for types in both modules, you can share a common type in the implementation, but hide it in the interface. Conversion becomes free then.

Topic		Replies	Views
Narrow down a module type with types dependent on each other Learning	3	335	March 15, 2024
Access inferred types Learning learning	4	527	January 8, 2024
A question on type/module equality Learning type-system , module , type-equality	12	2944	November 8, 2017
Polymorphic type conversion Learning type-system	7	1141	September 17, 2022
Saving a module in a reference Learning	22	757	October 6, 2024

Type conversion

Related topics