vault backup: 2023-09-14 16:58:35
This commit is contained in:
parent
d09a05e967
commit
079cfddfc2
31
.obsidian/workspace.json
vendored
31
.obsidian/workspace.json
vendored
@ -13,7 +13,19 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "markdown",
|
"type": "markdown",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
|
||||||
|
"mode": "source",
|
||||||
|
"source": false
|
||||||
|
}
|
||||||
|
}
|
||||||
|
},
|
||||||
|
{
|
||||||
|
"id": "0d2d422aa24bb900",
|
||||||
|
"type": "leaf",
|
||||||
|
"state": {
|
||||||
|
"type": "markdown",
|
||||||
|
"state": {
|
||||||
|
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
|
||||||
"mode": "source",
|
"mode": "source",
|
||||||
"source": false
|
"source": false
|
||||||
}
|
}
|
||||||
@ -85,7 +97,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "backlink",
|
"type": "backlink",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
|
||||||
"collapseAll": false,
|
"collapseAll": false,
|
||||||
"extraContext": false,
|
"extraContext": false,
|
||||||
"sortOrder": "alphabetical",
|
"sortOrder": "alphabetical",
|
||||||
@ -102,7 +114,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "outgoing-link",
|
"type": "outgoing-link",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
|
||||||
"linksCollapsed": false,
|
"linksCollapsed": false,
|
||||||
"unlinkedCollapsed": true
|
"unlinkedCollapsed": true
|
||||||
}
|
}
|
||||||
@ -125,7 +137,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "outline",
|
"type": "outline",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md"
|
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
@ -158,16 +170,16 @@
|
|||||||
},
|
},
|
||||||
"active": "9e7be1904dfd4451",
|
"active": "9e7be1904dfd4451",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
"Algo/Séminaire/assets/exception-meme.png",
|
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
||||||
"Algo/Séminaire/assets/filter-meme.png",
|
|
||||||
"Algo/Séminaire/assets/if-meme.png",
|
|
||||||
"Algo/Séminaire/Exercices seminaire.md",
|
|
||||||
"Algo/Séminaire/Chapter 3 - Case analysis.md",
|
"Algo/Séminaire/Chapter 3 - Case analysis.md",
|
||||||
"Algo/Séminaire/Chapter 2 - Functions.md",
|
"Algo/Séminaire/Chapter 2 - Functions.md",
|
||||||
"Algo/Séminaire/Chapter 1 - CAML basics.md",
|
"Algo/Séminaire/Chapter 1 - CAML basics.md",
|
||||||
"Algo/Séminaire/Chapter 5 - Recursivity.md",
|
"Algo/Séminaire/Chapter 5 - Recursivity.md",
|
||||||
|
"Algo/Séminaire/assets/exception-meme.png",
|
||||||
|
"Algo/Séminaire/assets/filter-meme.png",
|
||||||
|
"Algo/Séminaire/assets/if-meme.png",
|
||||||
|
"Algo/Séminaire/Exercices seminaire.md",
|
||||||
"Algo/Séminaire/assets/basics-meme.png",
|
"Algo/Séminaire/assets/basics-meme.png",
|
||||||
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
|
||||||
"Algo/Séminaire/assets/functions-meme.jpg",
|
"Algo/Séminaire/assets/functions-meme.jpg",
|
||||||
"Algo/Séminaire/assets/unitaire-meme.png",
|
"Algo/Séminaire/assets/unitaire-meme.png",
|
||||||
"Algo/Séminaire/Introduction.md",
|
"Algo/Séminaire/Introduction.md",
|
||||||
@ -182,7 +194,6 @@
|
|||||||
"Algo/Séminaire/Weird stuff.md",
|
"Algo/Séminaire/Weird stuff.md",
|
||||||
"Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
|
"Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
|
||||||
"Algo/Séminaire/assets",
|
"Algo/Séminaire/assets",
|
||||||
"Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg",
|
|
||||||
"Algo/Séminaire",
|
"Algo/Séminaire",
|
||||||
"Untitled.canvas",
|
"Untitled.canvas",
|
||||||
"Mathématiques/Séminaire/Logics",
|
"Mathématiques/Séminaire/Logics",
|
||||||
|
@ -1,5 +1,7 @@
|
|||||||
## 3.1. The alternative
|
## 3.1. The alternative
|
||||||
|
|
||||||
|
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/if-meme.png" width=auto height=400 /> </center>
|
||||||
|
|
||||||
### The if structure
|
### The if structure
|
||||||
```Ocaml
|
```Ocaml
|
||||||
if cond then expr1 else expr2
|
if cond then expr1 else expr2
|
||||||
@ -21,6 +23,10 @@ val abs : int -> int <fun>
|
|||||||
```
|
```
|
||||||
|
|
||||||
## 3.2. Exceptions
|
## 3.2. Exceptions
|
||||||
|
|
||||||
|
|
||||||
|
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/exception-meme.png" width=auto height=400 /> </center>
|
||||||
|
|
||||||
### Division by 0:
|
### Division by 0:
|
||||||
```Ocaml
|
```Ocaml
|
||||||
# 1/0
|
# 1/0
|
||||||
@ -51,6 +57,10 @@ val div int -> int -> int = <fun>
|
|||||||
```
|
```
|
||||||
|
|
||||||
## 3.3. Filtering
|
## 3.3. Filtering
|
||||||
|
|
||||||
|
|
||||||
|
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/filter-meme.png " width=auto height=400 /> </center>
|
||||||
|
|
||||||
### Explicit filtering
|
### Explicit filtering
|
||||||
|
|
||||||
> Explicit means that you matches the value
|
> Explicit means that you matches the value
|
||||||
|
Loading…
x
Reference in New Issue
Block a user