Please enable JavaScript.

Coggle requires JavaScript to display documents.

Система типов - Coggle Diagram

- - - - data Person = Person { name :: String, age:: Int }
      - data Person = Person String Int
    - - person { name = "X" }
- - - - Минимальный набор функций, через которые выражаются остальные
      - Может существовать множество таких наборов
    - - Функционально зависимые параметры не учитываются при поиске представителя. Функциональная зависимость - результат однозначно определен аргументами, как в функции
      - Когда нужны отдельные реализации для разных наборов типов
        (похоже на C++-style function overloading)