mirror of
https://github.com/ikoHSE/sc-lectures.git
synced 2024-09-11 05:25:25 +03:00
yet more typos
This commit is contained in:
parent
40eca44f0d
commit
124110ba73
4
1.html
4
1.html
@ -325,7 +325,7 @@
|
|||||||
<p>Так матчить можно произвольные структуры произвольного уровня вложенности.</p>
|
<p>Так матчить можно произвольные структуры произвольного уровня вложенности.</p>
|
||||||
<p><code>_</code> – специальное название константы, которое говорит что вам все равно что в ней лежит.</p>
|
<p><code>_</code> – специальное название константы, которое говорит что вам все равно что в ней лежит.</p>
|
||||||
<aside class="notes">
|
<aside class="notes">
|
||||||
<p>функции объявляются в несколькро строк. Первая – обьявленик типа функции, а последубщие – реализация. В общем случае тип можно не указывать, но указывать тип у высказыванй на самом верхнем уровне (не вложенные) считается хорошим тоном и улучшает выведение типов и ошибки компиляции. У функции может быть несколько реализаций: какая из них вызовется зависит от значений передаваемых аргументов. матчинг произхводится сверху вниз. если в аргемантах написано слово с маленькой буквы, то значение аргумента биндится на эту константу.</p>
|
<p>функции объявляются в несколькро строк. Первая – обьявленик типа функции, а последующие – реализация. В общем случае тип можно не указывать, но указывать тип у высказыванй на самом верхнем уровне (не вложенные) считается хорошим тоном и улучшает выведение типов и ошибки компиляции. У функции может быть несколько реализаций: какая из них вызовется зависит от значений передаваемых аргументов. матчинг произхводится сверху вниз. если в аргемантах написано слово с маленькой буквы, то значение аргумента биндится на эту константу.</p>
|
||||||
</aside>
|
</aside>
|
||||||
</section>
|
</section>
|
||||||
<section class="slide level1">
|
<section class="slide level1">
|
||||||
@ -470,7 +470,7 @@
|
|||||||
<section class="slide level1">
|
<section class="slide level1">
|
||||||
|
|
||||||
<p>Любая функция берет строго один аргумент.</p>
|
<p>Любая функция берет строго один аргумент.</p>
|
||||||
<p>Функция нескольких аргументов все равно берет строго одтн аргумент и возвращает функцию, которая берет следйющий.</p>
|
<p>Функция нескольких аргументов все равно берет строго одтн аргумент и возвращает функцию, которая берет следующий.</p>
|
||||||
<p><em>(И из-за того, что применение функции лево-ассоциативно, вызов таких не трубует особого синтаксиса.)</em></p>
|
<p><em>(И из-за того, что применение функции лево-ассоциативно, вызов таких не трубует особого синтаксиса.)</em></p>
|
||||||
</section>
|
</section>
|
||||||
<section class="slide level1">
|
<section class="slide level1">
|
||||||
|
4
1.md
4
1.md
@ -332,7 +332,7 @@ divide8 _ = "Some other number"
|
|||||||
|
|
||||||
:::notes
|
:::notes
|
||||||
функции объявляются в несколькро строк. Первая -- обьявленик типа
|
функции объявляются в несколькро строк. Первая -- обьявленик типа
|
||||||
функции, а последубщие -- реализация. В общем случае тип можно не
|
функции, а последующие -- реализация. В общем случае тип можно не
|
||||||
указывать, но указывать тип у высказыванй на самом верхнем уровне (не
|
указывать, но указывать тип у высказыванй на самом верхнем уровне (не
|
||||||
вложенные) считается хорошим тоном и улучшает выведение типов и ошибки
|
вложенные) считается хорошим тоном и улучшает выведение типов и ошибки
|
||||||
компиляции. У функции может быть несколько реализаций: какая из них
|
компиляции. У функции может быть несколько реализаций: какая из них
|
||||||
@ -622,7 +622,7 @@ add = \a b -> a + b
|
|||||||
Любая функция берет строго один аргумент.
|
Любая функция берет строго один аргумент.
|
||||||
|
|
||||||
Функция нескольких аргументов все равно берет строго одтн аргумент и
|
Функция нескольких аргументов все равно берет строго одтн аргумент и
|
||||||
возвращает функцию, которая берет следйющий.
|
возвращает функцию, которая берет следующий.
|
||||||
|
|
||||||
*(И из-за того, что применение функции лево-ассоциативно, вызов таких не
|
*(И из-за того, что применение функции лево-ассоциативно, вызов таких не
|
||||||
трубует особого синтаксиса.)*
|
трубует особого синтаксиса.)*
|
||||||
|
Loading…
Reference in New Issue
Block a user