lgallet/epicours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2023-09-05 15:36:43

Browse Source
This commit is contained in:
Louis Gallet 2023-09-05 15:36:43 +02:00
parent e4b01f109a
commit 4ca90c0f38
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
3 changed files with 26 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.obsidian/workspace.json vendored
View File

@ -13,7 +13,7 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 2 - Functions.md", "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
"mode": "source", "mode": "source",
"source": false "source": false
} }
@ -85,7 +85,7 @@
"state": { "state": {
"type": "backlink", "type": "backlink",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 2 - Functions.md", "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
"collapseAll": false, "collapseAll": false,
"extraContext": false, "extraContext": false,
"sortOrder": "alphabetical", "sortOrder": "alphabetical",
@ -102,7 +102,7 @@
"state": { "state": {
"type": "outgoing-link", "type": "outgoing-link",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 2 - Functions.md", "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
"linksCollapsed": false, "linksCollapsed": false,
"unlinkedCollapsed": true "unlinkedCollapsed": true
} }
@ -125,7 +125,7 @@
"state": { "state": {
"type": "outline", "type": "outline",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 2 - Functions.md" "file": "Algo/Séminaire/Chapter 3 - Case analysis.md"
} }
} }
} }
@ -148,10 +148,11 @@
}, },
"active": "13c9bfe482ec2d42", "active": "13c9bfe482ec2d42",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Exercices sémaines.md", "Algo/Séminaire/Exercices sémaines.md",
"Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg", "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
"Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Chapter 1 - CAML basics.md",
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Introduction.md", "Algo/Séminaire/Introduction.md",
"Algo/Séminaire/assets", "Algo/Séminaire/assets",
"Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg", "Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg",

3
Algo/Séminaire/Chapter 2 - Functions.md
View File

@ -81,7 +81,7 @@ _: int = 4 (*same things but with another method*)
# let average(a,b) = (a+b)/2 ;; # let average(a,b) = (a+b)/2 ;;
val average: int*int -> int = <fun> val average: int*int -> int = <fun>
(*This method is not for several parameter, is just a one parameter wich is a couple*) (*This method is not for several parameter, is just a one parameter wich is a couple*) (*f(x,y) ≠ f x y*)
(*The OCaml way (the way that it work) *) (*The OCaml way (the way that it work) *)
# let average a b = (a+b)/2;; # let average a b = (a+b)/2;;
@ -89,3 +89,4 @@ val average: int -> int -> int = <fun>
# average (-2) (2);; # average (-2) (2);;
-: int = 0 -: int = 0
``` ```

18
Algo/Séminaire/Chapter 3 - Case analysis.md Normal file
View File

@ -0,0 +1,18 @@
## 3.1. The alternative
### The if structure
```Ocaml
if cond then expr1 else expr2
```
> ⚠️ `expr1` and `expr2` have to be the same type. `cond` is a `bool`
**For exemple**
```Ocaml
# if 1<2 then "higher" else "lower" ;;
-: string = "higher"
# let abs(x) =
if x>0 then x
else then x=x+(-x)+(-x) ;;;
```