Anatolii
ну вот
Anatolii
ты говоришь что то что тебе передадут в твою функцию
Anatolii
должно уметь работать с e, (+), (inv)
Anatolii
и вернешь ты такое же
Denis
Inv это не фигня, а инварианта. Пример по теории множеств
Anatolii
то что ты вернешь будет тоже Group
Denis
Вероятно
Anatolii
значение может быть лругим
Anatolii
если бы функция была f :: Group a => a -> b
Anatolii
то только первый аргумент должен был ыбть инстнсом Group
Anatolii
а второй уже все что угодно
Anatolii
да
Anatolii
тип передаваемого и возвращаемого значения одинаквый в твоем случае
Evgeniy
Как я понял => это ограничитаель вариантов - те ве что в том типе
Anatolii
ну как-то да
Anatolii
ну тут же нету методов
Anatolii
:)
Anatolii
тут все функции!!:)
Evgeniy
Ну ичто я вот сейчас думаю что ооп это динозавр - всё функция -это шаг твперёд!
Anatolii
совершенно верно
Anatolii
ты можешь также наложить несколько конкекстов на a
Alexander
Ограничение это верный термин
Alexander
Ибо constraint
Evgeniy
Ну давай что вы понимаете под что всё объект?
Anatolii
ну тоесть несколько тайп классов
Anatolii
вот
Anatolii
удачи
Anatolii
!
Anatolii
ну я же и написал
Anatolii
что может
Anatolii
ты когда читаешь про хаскель
Anatolii
забудь все что знал раньше
Alexander
Фига се
Anatolii
все похожие слова значат что-то другое
Alexander
Класс это просто?!
Anatolii
:)
Alexander
А скалярный тип там это что?
Alexander
Да и типы с подтипированием
Alexander
Будто это просто
Alexander
И все с детства привыкли
Denis
Почитал бы ты, что ли, для начала что-нибудь более фундаментальное про ML
Denis
Кучи вопросов сразу не стало бы
Alexander
Вот про цикл спорнр
Anatolii
я вот не знаю
Alexander
Хотя 4х летнему цикл проще объяснить, это да
Anatolii
меня от цикла подташнивает
Denis
Ээээ, нет
Denis
Хаскель дает все и сразу (много, очень много).
adam
Хаскель дает все и сразу (много, очень много).
Не удержишь информацию? Хаскелль отличный язык для обучения
Evgeniy
Я хоть не эксперт -пойми что такое читсая функция и что такое грязная
Denis
Не удержишь информацию? Хаскелль отличный язык для обучения
Новичкам тяжко, как видно на примере... Как там его ник?
Anatolii
помойму наоборот легче
Alexander
Так вот про 4х летних, чтобы объяснить рекурсию нужно писать формулы
Denis
Доджер?
Alexander
И механизма абстракций не хватает
Alexander
Тех что есть, но где-то с начальной школы будет проще
Anatolii
писать что-то в окружение
Evgeniy
Писать -и много примеров логгеров
Alexander
Чтобы делать меморилики
Alexander
Я оригинален?
Anatolii
:)
Alexander
Врайтер мол ближе к сути, чем стейт
Alexander
Можно разделять что только писать, но что и читать
Anatolii
с райтером сразу понятно
Anatolii
что тут мы куда-то пишем
Alexander
А вот с ликами стейт так не справится
Alexander
:)
Anatolii
а state - ты мог и для внутренних вычислений использовать
Anatolii
и не сразу понятно что от туда забрать что-то нужно
Alexander
Врст это ходячий робот убийца
Evgeniy
Но советуют максимум от нечитых со состояниями отдаляться
Alexander
Но ничего против не имею
Anatolii
ну State - это же не нечистое
Anatolii
оно все легко тестируется
Anatolii
и сайд эффектов за пределами вычисления не имеет
Evgeniy
ну State - это же не нечистое
Да тестируется но матаном это недоказуемо тк вариантов больше чем атомов во вселенной)
Anatolii
:)
Evgeniy
Извени а что это?