Путь к простоте

???

Приветствую вас! Я Денис Шевченко. И сегодня мы узнаем больше о простоте.

---

## Простота — результат [зрелости]().

???

К простоте приходят не сразу, она является нам как откровение, и лишь с опытом.

---

???

Вы удивитесь, но у понятия сопровождаемость кода есть официальное определение,
введённое Институтом Инженеров Электротехники и Электроники.
Сопровождаемость - это простота починки кода, рефакторинга кода и развития кода.

---

---

???

Простота - это ключевая идея сопровождения, потому что мы не можем
чинить то, чего не понимаем, не можем рефакторить то, чего не понимаем
и уж тем более не можем развивать то, чего не понимаем.

---

???

И мы адресуем это письмо как компьютеру, так и человеку, но проблема в том,
что компьютер не равен человеку. Код не может быть непонятным для компьютера:
компьютер предельно просто судит о коде - корректный или некорректный. Но для
человека код может быть непонятным, даже если объективно код корректен.

---

[]()  Как не забыть зашифровать

[]()  Как не запустить ракеты

[]()  Как типы страницу строят

---

## Haskell?

---

## Haskell?

---

## Haskell?

---

## Haskell?

---

---

### Основано на [реальных]() событиях…

---

### Мы точно зашифровали?!

---

```cpp
class Message {
  std::string message;
public:
  Message (const std::string& msg);
  std::string getMessage() const;
};
```

---

```haskell
data Message = Message Text
```

---

```cpp
class Message {
  std::string message;
* bool encrypted = false;
public:
  Message (const std::string& msg);
  std::string getMessage() const;
  
  bool isEncrypted() const;
  void encrypt();
  void decrypt();
};
```

---

```haskell
data Message = Plain Text
             | Encrypted Text

encrypt :: Message -> Message

decrypt :: Message -> Message
```

---

```haskell
main :: IO ()
main = send secret "info@youcon.ru"
  where
    secret = encrypt plain
*   plain = Plain "Hi Saratov!"
```

---

```haskell
main :: IO ()
main = send secret "info@youcon.ru"
  where
*   secret = Encrypted $
      readFile "/tmp/encrypted.msg"
```

---

```cpp
void
send (const Message& msg,
      const Recipient& recipient) {
* if (msg.isEncrypted())
    realSending(msg.getMessage(),
                recipient);
  else
    throw SendException
      ("Unencrypted message!");
}
```

---

```haskell
send :: Message
     -> Recipient
     -> IO ()
send (Encrypted text) recipient =
  realSending text recipient
send (Plain _) _ =
  throw SendUnencryptedMessage
```

---

```haskell
data Message state = Message Text

-- Состояния сообщения
data Plain
data Encrypted
```

---

```haskell
encrypt :: Message Plain
        -> Message Encrypted

decrypt :: Message Encrypted
        -> Message Plain
```

---

```haskell
send :: Message Encrypted
     -> Recipient
     -> IO ()
send (Message text) recipient =
  realSending text recipient
```

---

```haskell
data Message state = Message Text

-- Состояния сообщения
data Plain
data Encrypted
```

---

```haskell
data Message state = Message Text

-- Состояния сообщения
data Plain
data Encrypted
*data InBase64
```

---

```haskell
messageLength :: Message state
              -> Int
messageLength (Message text) =
  length text
```

---

```haskell
messageLength :: Message state
              -> Int
messageLength (Message text) =
  length text

toBase64 :: Message state
         -> Message InBase64
toBase64 (Message text) =
  Message $ encode text
```

---

### А что там с ракетами?

---

```cpp
std::vector<Result>
calculate (const FoodInfo& info,
 const Food& commonFood);
```

???

Объявление говорит нам о том, что на входе и на выходе,
но оно ничего не сообщает о том, что происходит внутри
этой функции.

---

```cpp
std::vector<Result>
calculate (const FoodInfo& info,
 const Food& commonFood);
```

???

Для нас это чёрный ящик. Откуда берётся этот обработчик? Возвращается
из объекта? Запрашивается из БД? Скачивается с сервера? Читается из файла?

---

```haskell
calculate :: FoodInfo
          -> Food
          -> [Result]
```

???

Зная характеристики типов, с которыми работает функция, мы точно знаем,
чего ожидать от этой функции и чего от неё нельзя ожидать. Таким образом,
функция не способна преподнести нам сюрпризы.

---

```haskell
calculate :: FoodInfo
          -> Food
*         -> IO [Result]
```

???

А вот здесь мы уже знаем, что функция работает с внешним миром, будьте внимательны!
Таким образом, благодаря чистоте объявление функции точно говорит нам о том, чего
можно ждать от конкретной функции.

---

```cpp
double calc_sin (double degree) {
  return sin (degree * PI / 180);
}
```

---

```cpp
double calc_sin (double degree) {
* launch_missiles();
  return sin (degree * PI / 180);
}
```

---

```cpp
double calc_sin (double degree) {
* should_I_launch_missiles = true;
  return sin (degree * PI / 180);
}
```

???

Любая гарантия проистекает из ограничений. Если мы в чём-то уверены, 
это значит, что нам чего-то нельзя. Там же, где вседозволенность,
нет никаких гарантий вообще.

---

### А теперь про страницу…

---

```haskell
".buy-form" ? do
  margin     (em 0) auto
  maxWidth   (em 30.0)
  paddingTop (em 4.0)
  fontFamily ["Roboto"] [sansSerif]
```

---

```haskell
body $
  div ! class_ "container" $
    div ! class_ ".buy-form"
      ...
```

---

```haskell
data ClassName
  = LanguageSwitcher
  | CurrentLanguage
* | BuyForm
  ...
  | Copyright
  | SocialButtons
  deriving (Show)
```

---

```haskell
data ClassName
  = LanguageSwitcher
  | CurrentLanguage
  | BuyForm
  ...
  | Copyright
  | SocialButtons
* deriving (Show)
```

---

```haskell
*cl_ BuyForm ? do
  margin     (em 0) auto
  maxWidth   (em 30.0)
  paddingTop (em 4.0)
  fontFamily ["Roboto"] [sansSerif]
```

---

```haskell
body $
  div ! class_ "container" $
*   div ! class_ (toValue BuyForm)
      ...
```

---

```haskell
body $
  div ! class_ "container" $
*   div ! class_ (toValue BuyForm)
      ...
```

```html
<body>
 <div class="container">
* <div class="BuyForm">
 ...
```

---

### Страница [три]()-в-одной…

---

```haskell
data PaymentPage
  = ShowPaymentInfo
      ExpirationTime
      PaymentDetails
      SuccessURL
      CancelURL
  | ShowInvoiceStatus
      InvoiceStatus
  | NoSuchInvoice
```

---

```haskell
buildPaymentPage :: PaymentPage
                 -> Html
buildPaymentPage
  (ShowPaymentInfo ...)   = -- Ⅰ
buildPaymentPage
  (ShowInvoiceStatus ...) = -- Ⅱ
buildPaymentPage
  NoSuchInvoice           = -- Ⅲ
```

---

---

## [Ваши]() вопросы…

---

## Благодарю!