From 615167f07340d24aa29744e65068badaaae777b8 Mon Sep 17 00:00:00 2001 From: Louis Date: Tue, 12 Sep 2023 15:26:21 +0200 Subject: [PATCH] vault backup: 2023-09-12 15:26:21 --- .obsidian/workspace.json | 20 +++++---- .../0.1 - Print.md | 16 ------- .../Chapter 4 - A bit of imperative.md | 43 +++++++++++++++++++ 3 files changed, 54 insertions(+), 25 deletions(-) delete mode 100644 Algo/Chapter 0 - A bit of imperative/0.1 - Print.md create mode 100644 Algo/Séminaire/Chapter 4 - A bit of imperative.md diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 8bbbe1b..d779651 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,7 +13,7 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md", + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "mode": "source", "source": false } @@ -85,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md", + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md", + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md" + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md" } } }, @@ -158,19 +158,21 @@ }, "active": "c82ce15f72f65a11", "lastOpenFiles": [ - "Algo/Séminaire/Exercices seminaire.md", "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md", + "Algo/Séminaire/Chapter 4 - A bit of imperative.md", + "Algo/Séminaire/Untitled", + "Algo/Séminaire/Introduction.md", + "Algo/Séminaire/Chapter 1 - CAML basics.md", + "Algo/Séminaire/Chapter 2 - Functions.md", + "Mathématiques/Séminaire/Logics/Logics.md", + "Algo/Séminaire/Exercices seminaire.md", "Algo/Chapter 0 - A bit of imperative", "Algo/Séminaire/Chapter 3 - Case analysis.md", "README.md", "Algo/Séminaire/Weird stuff.md", - "Algo/Séminaire/Chapter 1 - CAML basics.md", - "Algo/Séminaire/Chapter 2 - Functions.md", - "Algo/Séminaire/Introduction.md", "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg", "Algo/Séminaire/assets", "Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg", - "Mathématiques/Séminaire/Logics/Logics.md", "Algo/Séminaire", "Untitled.canvas", "Mathématiques/Séminaire/Logics/Pasted image 20230904102817.png", diff --git a/Algo/Chapter 0 - A bit of imperative/0.1 - Print.md b/Algo/Chapter 0 - A bit of imperative/0.1 - Print.md deleted file mode 100644 index fb27945..0000000 --- a/Algo/Chapter 0 - A bit of imperative/0.1 - Print.md +++ /dev/null @@ -1,16 +0,0 @@ -If we want to print something in CAML, we have to use this structure - -```Ocaml -# print_string "Hello World!";; -Hello! - : unit=() - -# print_int ;; --: int -> unit = - -(*expression*) -# print_[type] [things to print];; -[things to print] -: unit=() -``` - -[![](https://mermaid.ink/img/pako:eNpFjsEKwjAQRH8lLOLJ_kAPguixvejReFiSrQ002bJuUCn9d9OKOKfhMczMBI49QQ3dwE_Xo6hpzjaZouOhbUxVGcdxDAMVuzebq7ktjF7kVvBQTB7FV5x1zGq2f0IiLLCDSBIx-LIxLcUWtKdIFupiPXWYB7Vg01yimJUv7-SgVsm0gzx6VDoFvAvGHyQflKX93l7fzx9XV0DK?type=png)](https://mermaid.live/edit#pako:eNpFjsEKwjAQRH8lLOLJ_kAPguixvejReFiSrQ002bJuUCn9d9OKOKfhMczMBI49QQ3dwE_Xo6hpzjaZouOhbUxVGcdxDAMVuzebq7ktjF7kVvBQTB7FV5x1zGq2f0IiLLCDSBIx-LIxLcUWtKdIFupiPXWYB7Vg01yimJUv7-SgVsm0gzx6VDoFvAvGHyQflKX93l7fzx9XV0DK) - diff --git a/Algo/Séminaire/Chapter 4 - A bit of imperative.md b/Algo/Séminaire/Chapter 4 - A bit of imperative.md new file mode 100644 index 0000000..dfbf713 --- /dev/null +++ b/Algo/Séminaire/Chapter 4 - A bit of imperative.md @@ -0,0 +1,43 @@ +## 0.1. Print +If we want to print something in CAML, we have to use this structure + +```Ocaml +# print_string "Hello World!";; +Hello! - : unit=() + +# print_int ;; +-: int -> unit = + +(*expression*) +# print_[type] [things to print];; +[things to print] -: unit=() +``` + +**Difference between compiler and interpreter for print** +```mermaid +flowchart LR + +A[CAML] -- compile --> B[ ] -- exec --> C[standard output] & D[standard error] ~~~ E(on your terminal) +``` +```mermaid +flowchart LR + +A[CAML] -- interpreter --> B[standard error] & C[standard output] & D[CAML answer] ~~~ E(in the interpreter interface) +``` + +**To print something and create a new line for the CAML evaluation** +```Ocaml +# print_endline "toto";; +toto +-: unit = () +``` +**To just print a newline** +```Ocaml +# print_newline();; +-: unit = () +``` + +## 0.2. Sequence of prints +```Ocaml +# print_string "The answer is: "; print_int 42;; +The answer is: 42 -: unit = () \ No newline at end of file