Skip to content

Commit ad28e19

Browse files
lambdulilambduli
authored
Merge pull request #14 from vlasakm/costs-of-mutability
Add vol. 13, add costs of mutability slides
2 parents d4e3db0 + daa4436 commit ad28e19

File tree

144 files changed

+2365
-4
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

144 files changed

+2365
-4
lines changed

‎README.md

Lines changed: 16 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ You can also add stuff to the list - even if you don't want to give that talk yo
3939

4040
## ⌛ Upcoming Talks
4141

42-
### lang-talk meetup vol. 13
42+
### lang-talk meetup vol. 14
4343

4444
🎥 Recording: might be recorded
4545

@@ -52,6 +52,18 @@ You can also add stuff to the list - even if you don't want to give that talk yo
5252

5353
### [🎥 Complete YouTube Playlist](https://www.youtube.com/playlist?list=PLj19WpP5yB10Kbc4-S0Cx68K5GAGbJMnK)
5454

55+
### lang-talk meetup vol. 13
56+
57+
🎥 Recordings: TBA
58+
59+
📅 Date: 27. March 2024
60+
61+
📋 Line up:
62+
63+
- "Jak zahodit bash pro skripty a nahradit ho Pythonem aniž by toho člověk litoval"
64+
- Shen: building types with Prolog and the sequent calculus
65+
- [The costs of mutability in dynamic programming languages](./resources/13/costs-of-mutability)
66+
5567
### lang-talk meetup vol. 12
5668

5769
🎥 Recordings:
@@ -60,7 +72,7 @@ You can also add stuff to the list - even if you don't want to give that talk yo
6072
- [Inside the Rust Borrow Checker part 2](https://youtu.be/TJn_mvwrKm4)
6173
- [How flow-sensitive typing works in Kotlin](https://youtu.be/eD_zrfbibGE)
6274

63-
📅 Date: 29.1.2024
75+
📅 Date: 19. February 2024
6476

6577
📋 Line up:
6678

@@ -73,7 +85,7 @@ You can also add stuff to the list - even if you don't want to give that talk yo
7385

7486
🎥 Recording: not recorded
7587

76-
📅 Date: 29.1.2024
88+
📅 Date: 29. January 2024
7789

7890
📋 Line up:
7991

@@ -86,7 +98,7 @@ You can also add stuff to the list - even if you don't want to give that talk yo
8698

8799
🎥 Recording: not recorded
88100

89-
📅 Date: 29.11.2023
101+
📅 Date: 29. November 2023
90102

91103
📋 Line up:
92104

‎resources/13/costs-of-mutability/figure/Spiderman-Pointing-Meme.webp

31 KB
Binary file not shown.

‎resources/13/costs-of-mutability/figure/become.ditaa

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
--------------------+ | |
2+
| +------------------+ | |
3+
| | | | |
4+
v | v v |
5+
+---------+--+ +------------+ |
6+
| a | | b |<----+
7+
-------------->| | | |
8+
+------------+ +------------+
9+
^ ^ ^
10+
| | |
11+
-----------------+ | |
12+
| |
13+
-----------------------+ |
14+
15+

‎resources/13/costs-of-mutability/figure/become.png

3.74 KB
Loading

‎resources/13/costs-of-mutability/figure/become1.ditaa

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
--------------------+ | |
2+
| +--+ | |
3+
| | | | |
4+
v | v v |
5+
+---------+--+ +-+----------+ |
6+
| b | | a |<----+
7+
-------------->| | | |
8+
+------------+ +------------+
9+
^ ^ ^
10+
| | |
11+
-----------------+ | |
12+
| |
13+
-----------------------+ |
14+
15+

‎resources/13/costs-of-mutability/figure/become1.png

3.67 KB
Loading

‎resources/13/costs-of-mutability/figure/become2.ditaa

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
+-+-------------+ +-------+---+ +-----+
2+
|0| |------------->| a | 1 | +--->| b |
3+
+-+-------------+ | | | | | |
4+
|1| |--------+ +-------+---+ | +-----+
5+
+-+-------------+ | |
6+
|2| | +-------------------------+
7+
+-+-------------+

‎resources/13/costs-of-mutability/figure/become2.png

3.33 KB
Loading

‎resources/13/costs-of-mutability/figure/become3.ditaa

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
+-+-------------+ +-------+---+ +-----+
2+
|0| |----+ +--->| a | 1 | +--->| b |
3+
+-+-------------+ | | | | | | | |
4+
|1| |----+----+ +-------+---+ | +-----+
5+
+-+-------------+ | |
6+
|2| | +-----------------------------+
7+
+-+-------------+

‎resources/13/costs-of-mutability/figure/become3.png

3.44 KB
Loading

‎resources/13/costs-of-mutability/figure/binding.ditaa

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
| a | 2 |
5+
+-------+-------+
6+
| b | ? |
7+
+-------+-------+
8+
9+
10+
11+
12+
13+
14+

‎resources/13/costs-of-mutability/figure/binding.png

2.61 KB
Loading

‎resources/13/costs-of-mutability/figure/binding1.ditaa

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
5+
6+
7+
8+
9+
10+
11+
12+

‎resources/13/costs-of-mutability/figure/binding1.png

1.46 KB
Loading

‎resources/13/costs-of-mutability/figure/binding2.ditaa

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
| a | |
5+
+-------+-------+
6+
7+
8+
9+
10+
11+
12+
13+

‎resources/13/costs-of-mutability/figure/binding2.png

1.91 KB
Loading

‎resources/13/costs-of-mutability/figure/binding3.ditaa

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
| a | 1 |
5+
+-------+-------+
6+
7+
8+
9+
10+
11+
12+
13+

‎resources/13/costs-of-mutability/figure/binding3.png

1.94 KB
Loading

‎resources/13/costs-of-mutability/figure/binding4.ditaa

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
| a | 1 |
5+
+-------+-------+
6+
| b | |
7+
+-------+-------+
8+
9+
10+
11+
12+
13+
14+

‎resources/13/costs-of-mutability/figure/binding4.png

2.36 KB
Loading

‎resources/13/costs-of-mutability/figure/binding5.ditaa

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
| a | 1 |
5+
+-------+-------+
6+
| b | 1 |
7+
+-------+-------+
8+
9+
10+
11+
12+
13+
14+

‎resources/13/costs-of-mutability/figure/binding5.png

2.35 KB
Loading

‎resources/13/costs-of-mutability/figure/binding6.ditaa

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
| a | 2 |
5+
+-------+-------+
6+
| b | 1 |
7+
+-------+-------+
8+
9+
10+
11+
12+
13+
14+

‎resources/13/costs-of-mutability/figure/binding6.png

2.49 KB
Loading

‎resources/13/costs-of-mutability/figure/closure.ditaa

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
+---------------+ +---------------+
2+
| Environment | | Heap |
3+
+-------+-------+ +---------------+
4+
|initial| 5 |
5+
+-------+-------+
6+
| value | +--------+
7+
+-------+-------+ |
8+
| inc | +--+ |
9+
+-------+-------+ | |
10+
| get | +--+--+ +
11+
+-------+-------+ | | |
12+
| | |
13+
+----------+ | |
14+
| | |
15+
v | |
16+
+---------------+ | |
17+
| inc | | |
18+
+-------+-------+ | | +-------+-------+
19+
| value | +-----+--+--->| value | 5 |
20+
+-------+-------+ | | +-------+-------+
21+
| |
22+
+-------------+ |
23+
| |
24+
v |
25+
+---------------+ |
26+
| get | |
27+
+-------+-------+ |
28+
| value | +--------+
29+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure.png

11.3 KB
Loading

‎resources/13/costs-of-mutability/figure/closure1.ditaa

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
|initial| 5 |
5+
+-------+-------+
6+
| value | +--------+
7+
+-------+-------+ |
8+
| inc | +--+ |
9+
+-------+-------+ | |
10+
| get | +--+--+ +
11+
+-------+-------+ | | |
12+
| | |
13+
+----------+ | |
14+
| | |
15+
v | |
16+
+---------------+ | |
17+
| inc | | |
18+
+-------+-------+ | | +-------+-------+
19+
| value | +-----+--+--->| value | 5 |
20+
+-------+-------+ | | +-------+-------+
21+
| |
22+
+-------------+ |
23+
| |
24+
v |
25+
+---------------+ |
26+
| get | |
27+
+-------+-------+ |
28+
| value | +--------+
29+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure1.png

10.7 KB
Loading

‎resources/13/costs-of-mutability/figure/closure2.ditaa

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
|initial| 5 |
5+
+-------+-------+
6+
| value | +--------+
7+
+-------+-------+ |
8+
| inc | +--+ |
9+
+-------+-------+ | |
10+
| |
11+
| |
12+
| |
13+
+----------+ |
14+
| |
15+
v |
16+
+---------------+ |
17+
| inc | |
18+
+-------+-------+ | +-------+-------+
19+
| value | +--------+--->| value | 5 |
20+
+-------+-------+ +-------+-------+

‎resources/13/costs-of-mutability/figure/closure2.png

7.22 KB
Loading

‎resources/13/costs-of-mutability/figure/closure3.ditaa

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
|initial| 5 |
5+
+-------+-------+
6+
| value | +--------+
7+
+-------+-------+ |
8+
|
9+
|
10+
|
11+
|
12+
|
13+
|
14+
|
15+
|
16+
|
17+
|
18+
| +-------+-------+
19+
+--->| value | 5 |
20+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure3.png

5.66 KB
Loading

‎resources/13/costs-of-mutability/figure/closure4.ditaa

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+
4+
|initial| 5 |
5+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure4.png

2.16 KB
Loading

‎resources/13/costs-of-mutability/figure/closure5.ditaa

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
+---------------+
2+
| Environment |
3+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure5.png

1.46 KB
Loading

‎resources/13/costs-of-mutability/figure/closure_const.ditaa

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
+---------------+ +---------------+
2+
| Environment | | Heap |
3+
+-------+-------+ +---------------+
4+
|initial| +------------+-->| 5 |
5+
+-------+-------+ | +---------------+
6+
| value | +------------+
7+
+-------+-------+ |
8+
| inc | +--+ |
9+
+-------+-------+ | |
10+
| get | +--+--+ |
11+
+-------+-------+ | | |
12+
| | |
13+
+----------+ | |
14+
| | |
15+
v | |
16+
+---------------+ | |
17+
| inc | | |
18+
+-------+-------+ | |
19+
| value | +-----+------+
20+
+-------+-------+ | |
21+
| |
22+
+-------------+ |
23+
| |
24+
v |
25+
+---------------+ |
26+
| get | |
27+
+-------+-------+ |
28+
| value | +------------+
29+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure_const.png

11.3 KB
Loading

‎resources/13/costs-of-mutability/figure/closure_const1.ditaa

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
+---------------+ +---------------+
2+
| Environment | | Heap |
3+
+-------+-------+ +---------------+
4+
|initial| 5 |
5+
+-------+-------+
6+
| value | 5 |
7+
+-------+-------+
8+
| inc | +--+
9+
+-------+-------+ |
10+
| get | +--+--+
11+
+-------+-------+ | |
12+
| |
13+
+----------+ |
14+
| |
15+
v |
16+
+---------------+ |
17+
| inc | |
18+
+-------+-------+ |
19+
| value | 5 | |
20+
+-------+-------+ |
21+
|
22+
+-------------+
23+
|
24+
v
25+
+---------------+
26+
| get |
27+
+-------+-------+
28+
| value | 5 |
29+
+-------+-------+

‎resources/13/costs-of-mutability/figure/closure_const1.png

10.6 KB
Loading

0 commit comments

Comments
 (0)