АГ
Ну вот есть какие-нибудь два тайп класса. Компилятор может спросить у типа, работает ли этот тип с каким-то из них или даже с обоими сразу, и получить ответ "да"/"нет"
Size: a a a
2021 May 31
АГ
А если работает, то компилятор позволяет дергать методы, идущие с тайп классом и передавать им этот кастомный тип (на деле наоборот, но упрощая можно и так сказать)
˸A
Кстати, это одна из причин, почему я ушёл с пхп - и не хочу возвращаться
˸A
А тайп-скрипт я пишу просто:
const myObj: Ord & Setoid = ...
А дальше могу выполнять действия из обоих интерфейсов
const myObj: Ord & Setoid = ...
А дальше могу выполнять действия из обоих интерфейсов
АГ
Интерфейсы, традиционно, есть динамический полиморфизм
˸A
В разных языках по-разному. В джаваскрипте нету интерфейсов - только в тайп-скрипт при компиляции
АГ
За интерфейсом в рантайме может скрываться настоящий объект с мутабельным состоянием. А за тайп классом ни объект, ни состояние скрываться не могут
АГ
Тайп классы ничего за собой не скрывают, они обобщают
˸A
тайп-классы - это унифицированная кодата (и что скрывается в реализации - мы тоже не можем знать)
АГ
Мне это ни о чем не говорит 😣
И если я буду писать туториал по тайп классам, никогда это слово не вставлю. Да вообще его никогда использовать не буду
И если я буду писать туториал по тайп классам, никогда это слово не вставлю. Да вообще его никогда использовать не буду
АГ
Они превращаются в мапу конкретных методов и передаются в виде структур в клиентские функции, так что да. Но это уже в рантайме, когда компилятор все задачки на предикаты решил
˸A
https://t.me/fp_ru/8323
тут тоже, вроде, без классов
собственно, с этой статьи и случился "прорыв" - от классов к дата+кодата
тут тоже, вроде, без классов
собственно, с этой статьи и случился "прорыв" - от классов к дата+кодата
AG
в нетотальных языках данные от коданных тяжело отличать, а в особенности в хаскелле из-за ленивости
АГ
Вон, пусть Алекс все разъяснит
АГ
@clayrat , чем отличается трейт от интерфейса?
˸A
Хаскель не тотальный? А какие примеры есть тотальных языков?
Да и вообще, почему дата одних структур не может быть одновременно кодатой других?
order.invoice(...) - кодата ордера, но и одновременно дата для инвойса
Да и вообще, почему дата одних структур не может быть одновременно кодатой других?
order.invoice(...) - кодата ордера, но и одновременно дата для инвойса