Пятничный Elm (Часть VI)

Запись от loothood размещена 27.01.2016 в 17:41

Показов 1848 Комментарии 0

Пятничный Elm. Аннотации Типов (Часть VI)

Одна из основных характеристик Elm - система статической типизации. Благодаря статической типизации, никогда не произойдет ошибок вида "runtime exception", если программа прошла стадию компиляции. В данной заметке мы рассмотрим систему типов и аннотацию типов более подробно.

О серии "Пятничный Elm"

Это шестой пост серии заметок о языке программирования Elm.
Цель данной серии - дать читателям знания от уровня "Что такое Elm" до "Гуру Elm", шаг за шагом.

Описания типов против интерфейса типов

Не смотря на то что Elm - статически типизированный язык, в предыдущих статьях мы не описывали типы данных. Причина в том, что Elm может определить тип практически любого выражения самостоятельно. Давайте вспомним некоторые функции из предыдущей статьи и перепишем их с описанием типов. Тип функции объявляется в строке выше самой функции:

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
import Html
 
multiply : number -> number -> number
multiply a b = a * b
 
square : number -> number
square a = multiply a a
 
productOfSquares : number -> number -> number
productOfSquares a b = multiply (square a) (square b)
 
incrementAll : List number -> List number
incrementAll list = List.map (\ n -> n + 1) list
 
incrementAll2 : List number -> List number
incrementAll2 = List.map (\ n -> n + 1)
 
main : Html.Html
main =
  let
    print n = Html.text <| toString n
  in
    Html.p []
    [ print <| multiply 3 5
    , Html.br [] []
    , print <| square 4
    , Html.br [] []
    , print <| productOfSquares 2 3
    , Html.br [] []
    , print <| incrementAll [1, 2, 3]
    , Html.br [] []
    , print <| incrementAll2 [1, 2, 3]
    ]

Я немного переписал функцию main - убрал дублирование преобразования из числа/списка в HTML text

Для примера рассмотрим участок кода square : number -> number - это аннотация для определения функции square. Аннотация типов должна располагаться на строку выше, чем определение функции. Она состоит из имени функции, двоеточия и типов всех входных и выходных параметров, разделенных между собой стрелкой ->.

Обратите внимание что в аннотации нет различий между входными и выходными параметрами. Например, для функции multiply, в аннотации описаны три переменных типа number. Если вы изучали другие языки программирования, то, возможно, думали что аннотация для этой функции должна выглядеть так: (number, number) -> number, но это не так. Разделитель первых двух входных параметров -> точно такой же как и между вторым входным и выходным параметрами. Объясняется это каррированием. Другими словами, функция multiply принимает на вход только один параметр и возвращает функцию с аннотацией number -> number. Для иллюстрации:

Haskell
1
2
3
4
5
6
7
8
9
10
import Html
 
multiply : number -> number -> number
multiply a b = a * b
 
multiplyByFive : number -> number
multiplyByFive = multiply 5
 
main : Html.Html
main = multiplyByFive 3 |> toString |> Html.text

Композиция типов

Давайте рассмотрим остальные функции из предыдущей статьи(и их аннотации типов):

Haskell
1
2
3
4
5
incrementAll : List number -> List number
incrementAll list = List.map (\ n -> n + 1) list
 
incrementAll2 : List number -> List number
incrementAll2 = List.map (\ n -> n + 1)

Эти функции работают со списками. Когда идет речь о списках, очень важным является тип элементов списка. Потому мы объявили что тип параметров не просто List, а List number, так как список состоит из элементов типа number. Данный пример - пример основной концепции работы с типами данных, использующейся в Elm. Наиболее часто данная концепция встречается в контейнерах(таких как List или Maybe), и обычно, определяет какого типа элементы могут содержаться в этих структурах данных.

Генерация аннотации типов автоматически

Можно переложить на плечи компилятора задачу по определению типов функций и переменных. Для этого, надо скомпилировать код без аннотации типов с флагом --warn.
Например, если скомпилировать код из предыдущей заметки:
elm-make --warn Fuctions.elm

Bash
1
2
3
4
5
6
7
8
9
10
11
=================================== WARNINGS ===================================
 
-- missing type annotation -------------------------------------- Functions.elm
 
Top-level value `multiply` does not have a type annotation.
 
3│ multiply a b = a * b
   ^^^^^^^^^^^^^^^^^^^^
I inferred the type annotation so you can copy it into your code:
 
multiply : number -> number -> number

Прекрасно не так ли?

Подведем итоги

Использовать аннотацию типов или нет - решать вам. В любом случае, в руководстве Elm по стилистике кода дают совет использовать аннтоации для всех функций верхнего уровня. По моему опыту, гораздо проще находить ошибки в коде. И, честно говоря, даже компилятор может ошибиться в определении типа функции. Считаю что трата времени на ручную аннотацию, полностью окупается.

Система типов в Elm гораздо больше, чем описана в статье - объединенные типы, алиасы типов, переменные типов, кортежи, записи и т.д. - все это будет рассмотрено в следующих статьях.

оригинал

Размещено в Без категории

« Пятничный Elm (Часть V) Главная страница Пятничный Elm (Часть VII) »

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

Всего комментариев 0

Комментарии

loothood

Регистрация 07.06.2015
Адрес Spb
Сообщений 132
Записей в блоге 12

Новые блоги и статьи Все статьи Все блоги /
Модель по догадкам anaschu 25.08.2026 Прошло две недели. Я уже рассказывал, как разговаривал с сотрудниками у сортировки и как понял, что главная ветка — не про приёмку, а про отбор. Но тогда я думал, что понял механику. На этой неделе я. . .	Запись в регистр сведений независимо от заполненности табличной части Maks 25.08.2026 Реализация из решения ниже выполнена на нетиповом документе с несколькими табличными частями, разработанного в КА2. Задача: Обеспечить запись документа в регистр сведений независимо от. . .	Ноутбук Альфария kumehtar 24.08.2026 Встретился тут в сети ноутбук Альфария, примарха Альфа-Легиона. Хотя возможно, это ноутбук Омегона, разумеется. Ну как вам?	Мастера простых решений DevAlt 23.08.2026 В сишарп стэках winforms, да и wpf существует сложная система связывания источниках данных и элементов формы(текстовые поля и метки), опирается все это на технологию событий и мета. . .
Цена ошибки DevAlt 23.08.2026 Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .	Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .	Жизня: рисунок укладки багажа, сделанный клодом anaschu 21.08.2026 Сделал 15 снимков, он по снимкам сделал схему.	Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.2026 Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .

Наверх

Сообщение форума

Отменить изменения