| 1 |
|
| 2 |
utop # type person = { name: string ; age: int ; human : bool };; |
| 3 |
type person = { name : string; age : int; human : bool; } |
| 4 |
|
| 5 |
utop # let david = { name = "david" ; age = 32 ; human = false };; |
| 6 |
val david : person = {name = "david"; age = 32; human = false} |
| 7 |
|
| 8 |
utop # let mary = { david with name = "mary" };; |
| 9 |
val mary : person = {name = "mary"; age = 32; human = false} |
| 10 |
|
| 11 |
utop # let toggle_human (p : person) = { p with human = not p.human };; |
| 12 |
val toggle_human : person -> person = <fun> |
| 13 |
|
| 14 |
utop # let () = |
| 15 |
let david' = toggle_human david in |
| 16 |
if david'.human then |
| 17 |
print_endline "david is human" |
| 18 |
else |
| 19 |
print_endline "david is not human" |
| 20 |
;; |
| 21 |
david is human |
| 22 |
|
| 23 |
(** From https://o1-labs.github.io/ocamlbyexample/basics-records.html *) |
| 24 |
|
