@@ -325,7 +325,7 @@
325325<p>Так матчить можно произвольные структуры произвольного уровня вложенности.</p>
326326<p><code>_</code> – специальное название константы, которое говорит что вам все равно что в ней лежит.</p>
327327<aside class="notes">
328−<p>функции объявляются в несколькро строк. Первая – обьявленик типа функции, а последубщие – реализация. В общем случае тип можно не указывать, но указывать тип у высказыванй на самом верхнем уровне (не вложенные) считается хорошим тоном и улучшает выведение типов и ошибки компиляции. У функции может быть несколько реализаций: какая из них вызовется зависит от значений передаваемых аргументов. матчинг произхводится сверху вниз. если в аргемантах написано слово с маленькой буквы, то значение аргумента биндится на эту константу.</p>
328+<p>функции объявляются в несколькро строк. Первая – обьявленик типа функции, а последующие – реализация. В общем случае тип можно не указывать, но указывать тип у высказыванй на самом верхнем уровне (не вложенные) считается хорошим тоном и улучшает выведение типов и ошибки компиляции. У функции может быть несколько реализаций: какая из них вызовется зависит от значений передаваемых аргументов. матчинг произхводится сверху вниз. если в аргемантах написано слово с маленькой буквы, то значение аргумента биндится на эту константу.</p>
329329</aside>
330330</section>
331331<section class="slide level1">
@@ -470,7 +470,7 @@
470470<section class="slide level1">
471471
472472<p>Любая функция берет строго один аргумент.</p>
473−<p>Функция нескольких аргументов все равно берет строго одтн аргумент и возвращает функцию, которая берет следйющий.</p>
473+<p>Функция нескольких аргументов все равно берет строго одтн аргумент и возвращает функцию, которая берет следующий.</p>
474474<p><em>(И из-за того, что применение функции лево-ассоциативно, вызов таких не трубует особого синтаксиса.)</em></p>
475475</section>
476476<section class="slide level1">