From 124110ba73548c8b499936e1bd90d8b61b01d24c Mon Sep 17 00:00:00 2001 From: iko Date: Sun, 2 Feb 2020 21:07:21 +0300 Subject: [PATCH] yet more typos --- 1.html | 4 ++-- 1.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/1.html b/1.html index ae7adbd..e040449 100644 --- a/1.html +++ b/1.html @@ -325,7 +325,7 @@

Так матчить можно произвольные структуры произвольного уровня вложенности.

_ – специальное название константы, которое говорит что вам все равно что в ней лежит.

@@ -470,7 +470,7 @@

Любая функция берет строго один аргумент.

-

Функция нескольких аргументов все равно берет строго одтн аргумент и возвращает функцию, которая берет следйющий.

+

Функция нескольких аргументов все равно берет строго одтн аргумент и возвращает функцию, которая берет следующий.

(И из-за того, что применение функции лево-ассоциативно, вызов таких не трубует особого синтаксиса.)

diff --git a/1.md b/1.md index a50fafe..c2ac047 100644 --- a/1.md +++ b/1.md @@ -332,7 +332,7 @@ divide8 _ = "Some other number" :::notes функции объявляются в несколькро строк. Первая -- обьявленик типа -функции, а последубщие -- реализация. В общем случае тип можно не +функции, а последующие -- реализация. В общем случае тип можно не указывать, но указывать тип у высказыванй на самом верхнем уровне (не вложенные) считается хорошим тоном и улучшает выведение типов и ошибки компиляции. У функции может быть несколько реализаций: какая из них @@ -622,7 +622,7 @@ add = \a b -> a + b Любая функция берет строго один аргумент. Функция нескольких аргументов все равно берет строго одтн аргумент и -возвращает функцию, которая берет следйющий. +возвращает функцию, которая берет следующий. *(И из-за того, что применение функции лево-ассоциативно, вызов таких не трубует особого синтаксиса.)*