Skip to content

Commit de7519f

Browse files
simonsanmarcoieni
andauthored
Add introductions (#117)
Co-authored-by: Marco Ieni <[email protected]>
1 parent 66ce03a commit de7519f

File tree

9 files changed

+124
-10
lines changed

9 files changed

+124
-10
lines changed

README.md

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Rust Design Patterns
22

3-
An open source repository of design patterns and idioms in the Rust programming
4-
language.
3+
An open source book about design patterns and idioms in the Rust programming
4+
language that you can read [here](https://rust-unofficial.github.io/patterns/).
55

66

77
## Contents
@@ -28,6 +28,7 @@ language.
2828
* TODO FFI usage (By being mindful of how to provide Rust libraries, and make use of existing libraries across the FFI, you can get more out of benefits Rust can bring)
2929
* [Easy doc initialization](idioms/rustdoc-init.md)
3030

31+
3132
### Design patterns
3233

3334
* [Builder](patterns/builder.md)
@@ -53,7 +54,6 @@ language.
5354
* [Compose structs together for better borrowing](patterns/compose-structs.md)
5455

5556

56-
5757
### Anti-patterns
5858

5959
* TODO thread + catch_panic for exceptions
@@ -94,4 +94,4 @@ If you want to build it locally you can run one of these two commands in the roo
9494
Serves the book at `http://localhost:3000` (port is changeable, take a look at the terminal output
9595
to be sure) and reloads the browser when a change occurs.
9696

97-
97+

SUMMARY.md

+3
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
# Summary
22

33
- [Introduction](./intro.md)
4+
45
- [Idioms](./idioms/README.md)
56
- [Concatenating Strings with `format!`](./idioms/concat-format.md)
67
- [Constructor](./idioms/ctor.md)
@@ -30,3 +31,5 @@
3031
- [Anti-patterns](./anti_patterns/README.md)
3132
- [`#[deny(warnings)]`](./anti_patterns/deny-warnings.md)
3233
- [Deref Polymorphism](./anti_patterns/deref.md)
34+
35+
- [Functional Programming](./functional/README.md)

anti_patterns/README.md

+4-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
11
# Anti-patterns
22

3-
TODO: add description/explanation
3+
An [anti-pattern](https://en.wikipedia.org/wiki/Anti-pattern) is a solution to a "recurring problem that is usually ineffective and risks being highly counterproductive".
4+
Just as valuable as knowing how to solve a problem, is knowing how _not_ to solve it.
5+
Anti-patterns give us great counter-examples to consider relative to design patterns.
6+
Anti-patterns are not confined to code. For example, a process can be an anti-pattern, too.

functional/README.md

+53
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
# Functional Usage of Rust
2+
3+
Rust is an imperative language, but it follows many functional programming paradigms. One of the biggest hurdles to understanding functional programs when coming from an imperative background is the shift in thinking. Imperative programs describe __how__ to do something, whereas declarative programs describe __what__ to do. Let's sum the numbers from 1 to 10 to show this.
4+
5+
## Imperative
6+
7+
```rust
8+
let mut sum = 0;
9+
for i in 1..11 {
10+
sum += i;
11+
}
12+
println!("{}", sum);
13+
```
14+
15+
With imperative programs, we have to play compiler to see what is happening. Here, we start with a `sum` of `0`. Next, we iterate through the range from 1 to 10. Each time through the loop, we add the corresponding value in the range. Then we print it out.
16+
17+
| `i` | `sum` |
18+
| --- | ----- |
19+
| 1 | 1 |
20+
| 2 | 3 |
21+
| 3 | 6 |
22+
| 4 | 10 |
23+
| 5 | 15 |
24+
| 6 | 21 |
25+
| 7 | 28 |
26+
| 8 | 36 |
27+
| 9 | 45 |
28+
| 10 | 55 |
29+
30+
This is how most of us start out programming. We learn that a program is a set of steps.
31+
32+
## Declarative
33+
34+
```rust
35+
println!("{}", (1..11).fold(0, |a, b| a + b));
36+
```
37+
38+
Whoa! This is really different! What's going on here? Remember that with declarative programs we are describing __what__ to do, rather than __how__ to do it. `fold` is a function that [composes](https://en.wikipedia.org/wiki/Function_composition) functions. The name is a convention from Haskell.
39+
40+
Here, we are composing functions of addition (this closure: `|a, b| a + b)`) with a range from 1 to 10. The `0` is the starting point, so `a` is `0` at first. `b` is the first element of the range, `1`. `0 + 1 = 1` is the result. So now we `fold` again, with `a = 1`, `b = 2` and so `1 + 2 = 3` is the next result. This process continues until we get to the last element in the range, `10`.
41+
42+
| `a` | `b` | result |
43+
| --- | --- | ------ |
44+
| 0 | 1 | 1 |
45+
| 1 | 2 | 3 |
46+
| 3 | 3 | 6 |
47+
| 6 | 4 | 10 |
48+
| 10 | 5 | 15 |
49+
| 15 | 6 | 21 |
50+
| 21 | 7 | 28 |
51+
| 28 | 8 | 36 |
52+
| 36 | 9 | 45 |
53+
| 45 | 10 | 55 |

idioms/README.md

+7-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
11
# Idioms
22

3-
TODO: add description/explanation
3+
[Idioms](https://en.wikipedia.org/wiki/Programming_idiom) are commonly used styles and patterns largely agreed upon by a community. They are guidelines. Writing idiomatic code allows other developers to understand what is happening because they are familiar with the form that it has.
4+
5+
The computer understands the machine code that is generated by the compiler. The language is therefore mostly beneficial to the developer. So, since we have this abstraction layer, why not put it to good use and make it simple?
6+
7+
Remember the [KISS principle](https://en.wikipedia.org/wiki/KISS_principle): "Keep It Simple, Stupid". It claims that "most systems work best if they are kept simple rather than made complicated; therefore, simplicity should be a key goal in design, and unnecessary complexity should be avoided".
8+
9+
> Code is there for humans, not computers, to understand.

intro.md

+15-3
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,21 @@
11
# Introduction
22

33
## Design patterns
4-
5-
What are design patterns? What are idioms? Anti-patterns.
4+
When developing programs, we have to solve many problems. A program can be viewed as a solution to a problem. It can also be viewed as a collection of solutions to many different problems. All of these solutions work together to solve a bigger problem.
65

76
## Design patterns in Rust
87

9-
Why Rust is a bit special - functional elements, type system - borrow checker
8+
There are many problems that share the same form. Due to the fact that Rust is not object-oriented design patterns vary with respect to other object-oriented programming languages. While the details are different, since they have the same form they can be solved using the same fundamental methods.
9+
10+
[Design patterns](patterns/README.md) are methods to solve common problems when writing software.
11+
12+
[Anti-patterns](anti_patterns/README.md) are methods to solve these same common problems.
13+
14+
However, while design patterns give us benefits, anti-patterns create more problems. There are some problems that we don't need to solve because [Rust rocks](rust_rocks.md)!
15+
16+
[Idioms](idioms/README.md) are guidelines to follow when coding. They are social norms of the community.
17+
You can break them, but if you do you should have a good reason for it.
18+
19+
[Refactoring](refactoring/README.md) is the process by which you convert code that works, but is hard to understand, into code that works and is easy to understand.
20+
21+
TODO: Mention why Rust is a bit special - functional elements, type system, borrow checker

patterns/README.md

+19-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,21 @@
11
# Design Patterns
22

3-
TODO: add description/explanation
3+
[Design patterns](https://en.wikipedia.org/wiki/Software_design_pattern) are "general reusable solutions to a commonly occurring problem within a given context in software design".
4+
Design patterns are a great way to describe some of the culture and 'tribal knowledge' of programming in a language.
5+
Design patterns are very language-specific - what is a pattern in one language may be unnecessary in another due to a language feature, or impossible to express due to a missing feature.
6+
7+
If overused, design patterns can add unnecessary complexity to programs. However, they are a great way to share intermediate and advanced level knowledge about a programming language.
8+
9+
## Design patterns in Rust
10+
11+
Rust has many very unique features. These features give us great benefit by removing whole classes of problems. For more about this, read why [Rust rocks](/rust_rocks.md)! Some of them are also patterns that are _unique_ to Rust.
12+
13+
## YAGNI
14+
15+
If you're not familiar with it, YAGNI is an acronym that stands for `You Aren't Going to Need It`. It's an important software design principle to apply as you write code.
16+
17+
> The best code I ever wrote was code I never wrote.
18+
19+
If we apply YAGNI to design patterns, we see that the features of Rust allow us to throw out many patterns. For instance, there is no need for the [strategy pattern](https://en.wikipedia.org/wiki/Strategy_pattern) in Rust because we can just use [traits](https://doc.rust-lang.org/book/traits.html).
20+
21+
TODO: Maybe include some code to illustrate the traits.

patterns/newtype.md

+4
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
11
# Newtype
22

3+
Rust has strong static types. This can be very different than what you are used to if you are coming from a loosely-typed language. Don't worry, though. Once you get used to them, you'll find the types actually make your life easier. Why? Because you are making implicit assumptions explicit.
4+
5+
A really convenient application of the Rust type system is the Newtype pattern.
6+
37
## Description
48

59
Use a tuple struct with a single field to make an opaque wrapper for a type.

refactoring/README.md

+15
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
# Refactoring
2+
3+
Refactoring is very important in relation to these topics. Just as important as the other topics covered here, is how to take good code and turn it into great code.
4+
5+
We can use [design patterns](patterns/README.md) to DRY up code and generalize abstractions. We must avoid [anti-patterns](anti_patterns/README.md) while we do this. While they may be tempting to employ, their costs outweigh their benefits.
6+
7+
> Shortcuts make for long days.
8+
9+
We can also use [idioms](idioms/README.md) to structure our code in a way that is understandable.
10+
11+
## Tests
12+
13+
Tests are of vital importance during refactoring.
14+
15+
## Small changes

0 commit comments

Comments
 (0)