SergProduction · July 20, 2018 21:11 · Jun 6, 2018 · Jun 4, 2018 · Jun 4, 2018 · Jun 4, 2018
diff --git a/ATD.md b/ATD.md
@@ -1,6 +1,6 @@
 ### Введение
 
-Конктруктор - являеться значением.
+Конктруктор - является значением.
 Им можно оперировать в программе как любым дригим значением,
 Например как строкой или числом
 
@@ -9,7 +9,7 @@
 ### Основы
 
 
-`data 'тип' = 'конструктор'` - Единичный тип. Тип сосоящий из одного конструктора
+`data 'тип' = 'конструктор'` - Единичный тип. Тип состоящий из одного конструктора
 
   - Объявление
 
@@ -60,14 +60,13 @@
 
   - Объявление
 
-    Mожно не ограничеваться только примитивными типами  
-    при объявлении типа конструктора.  
-    для этого следует передавать общий тип.  
+    Mожно не ограничеваться только примитивными типами при объявлении типа конструктора.  
+    Для этого следует передавать общий тип.  
     Общий тип сам по себе конструктор не может принимать,
     его нужно передавать через тип
 
     - `data A a = A a`
-    - `data A a b = A a b`
+    - `data B a b = A a b`
 
   - Использование
 

diff --git a/ATD.md b/ATD.md
@@ -60,7 +60,7 @@
 
   - Объявление
 
-    Mожно не ограничеваться только примитивными значениями и конструкторами  
+    Mожно не ограничеваться только примитивными типами  
     при объявлении типа конструктора.  
     для этого следует передавать общий тип.  
     Общий тип сам по себе конструктор не может принимать,

diff --git a/ATD.md b/ATD.md
@@ -29,7 +29,7 @@
     - `data Unit = Unit`
 
 
-`data 'тип' = 'конструктор' 'параметр' ['может быть сколько угодно параметров']`
+`data 'тип' = 'конструктор' 'тип' ['может быть сколько угодно параметров']`
 
   - Объявление
 

diff --git a/ATD.md b/ATD.md
@@ -8,7 +8,7 @@
 
 ### Основы
 
-
+ 
 `data 'тип' = 'конструктор'` - Единичный тип. Тип сосоящий из одного конструктора
 
   - Объявление
@@ -18,7 +18,7 @@
 
     Пространство имён типов не пересекается с пространством имён конструкторов,  
     поэтому конструктор можно называть так же как и тип.  
-    В дальнейшем чтении не путать имена типа и имена конструторов
+    В дальнейшем чтении **не путать имена типов и имена конструторов** * 1
 
   - Использование
 
@@ -40,8 +40,8 @@
     - `data B = B String`
     - `data С = С Int String`
     - `data D = D A B`
-      - конcтруктор `D` применяеться к типу `A` (не конструктор) который состоит из конструктора `A Int`
-    и к типу `B` который состоит из конструктора `B String`
+      - конcтруктор `D` применяеться к типу `A` который состоит из конструктора `A Int`,  
+      и к типу `B` который состоит из конструктора `B String`. см. * 1
 
   - Использование
 
@@ -56,7 +56,7 @@
 
 ### Полиморфизм
 
-`data 'тип' 'общий тип' = 'конструктор' 'общий тип'`
+`data 'тип' 'общий_тип' = 'конструктор' 'общий_тип'`
 
   - Объявление
 
@@ -66,15 +66,47 @@
     Общий тип сам по себе конструктор не может принимать,
     его нужно передавать через тип
 
-    - data A a = A a
-    - data A a b = A a b
+    - `data A a = A a`
+    - `data A a b = A a b`
 
   - Использование
 
-    - A 10
-    - A "СТРОКА"
-    - B 10 "СТРОКА"
+    - `A 10`
+    - `A "СТРОКА"`
+    - `B 10 "СТРОКА"`
 
 ### Сумма типов
 
-[asd-](#основы)
+- `data Bool = False | True`  
+- `data ABC = A | B | C`
+
+  Суммарные типы данных названы потому, что они суммируют типы данных, которые их составляют.  
+  Например, если суммировать единичные типы данных, получается перечисление.  
+
+### Произведение типов
+
+- `data Pair a b = Pair a b`
+- `data Triple a b c = Triple a b c`
+
+  Типы произведений названы так, что их можно представить как произведение нескольких типов, которые его составляют.
+
+### Комбинируем все
+
+
+- `data Maybe a = Nothing | Just a`
+
+  теперь мы можем комбинировать суммы типов с произведением, и получать более сложные типы
+
+### Рекурсивные типы данных
+
+- `data List a = Nil | Cons a (List a)`
+
+
+[еще есть](https://habr.com/post/207126/)
+  - Записи
+  - Вставки или Враперы
+  - Степенные типы данных
+  - Фантомные типы данных
+  - Экзистенциальные типы данных
+  - Обобщённые Алгебраические Типы Данных (GADTs)
+  - Параметрические типы данных с ограниченными параметрами
diff --git a/ATD.md b/ATD.md
@@ -0,0 +1,80 @@
+### Введение
+
+Конктруктор - являеться значением.
+Им можно оперировать в программе как любым дригим значением,
+Например как строкой или числом
+
+Тип - работает так же как и в других языках
+
+### Основы
+
+
+`data 'тип' = 'конструктор'` - Единичный тип. Тип сосоящий из одного конструктора
+
+  - Объявление
+
+    - `data A = A`
+    - `data A = B`
+
+    Пространство имён типов не пересекается с пространством имён конструкторов,  
+    поэтому конструктор можно называть так же как и тип.  
+    В дальнейшем чтении не путать имена типа и имена конструторов
+
+  - Использование
+
+    Единичные типы данных не дают ничего, кроме знания о том, что он есть.  
+    Из распространённых типов данных используются
+
+    - `data () = ()`
+    - `data Unit = Unit`
+
+
+`data 'тип' = 'конструктор' 'параметр' ['может быть сколько угодно параметров']`
+
+  - Объявление
+
+    При объявлении мы указываем `'конструктор' 'тип'`.  
+    В параметре конcтруктора указываеться тип значения которое он может принимать
+
+    - `data A = A Int`
+    - `data B = B String`
+    - `data С = С Int String`
+    - `data D = D A B`
+      - конcтруктор `D` применяеться к типу `A` (не конструктор) который состоит из конструктора `A Int`
+    и к типу `B` который состоит из конструктора `B String`
+
+  - Использование
+
+    При использовании мы указываем `'конструктор' 'значение'`  
+    Конструктор служит своеобразным контейнером для значения.  
+
+    - `A 10`
+    - `B "СТРОКА"`
+    - `C 10 "СТРОКА"`
+    - `D (A 10) (B "СТРОКА")`
+
+
+### Полиморфизм
+
+`data 'тип' 'общий тип' = 'конструктор' 'общий тип'`
+
+  - Объявление
+
+    Mожно не ограничеваться только примитивными значениями и конструкторами  
+    при объявлении типа конструктора.  
+    для этого следует передавать общий тип.  
+    Общий тип сам по себе конструктор не может принимать,
+    его нужно передавать через тип
+
+    - data A a = A a
+    - data A a b = A a b
+
+  - Использование
+
+    - A 10
+    - A "СТРОКА"
+    - B 10 "СТРОКА"
+
+### Сумма типов
+
+[asd-](#основы)