ЗП
Это просто удобный инструмент, не надо в них закладывать какой-то эзотерический смысл)
Size: a a a
2020 June 29
MK
Я в дикой природе линзы видел только раз, поэтому и интересуюсь. С практической точки зрения.
ЗП
Но за этот инструмент нужно платить кривой обучения
ЗП
Зачем тебе тк в галогене например?
MK
Если не теоркат, так хотя бы рациональное объяснение всей этой иерархии типов. На первый взгляд после нескольких туторов по галогену возникло впечатление, что для его освоения нужно открыть ещё горстку скиллов в сторону теорката.
MK
Рад ошибиться, как говорится.
ЗП
Ну если не сильно вдаваться во все эти фри/кофри/коденсити и тд и юзать только апи, то особо не надо
ЗП
Типы можно еще и математически интерпретировать, например мощностью населенности типа это есть число Пеано, и все аксиомы для чисел Пеано изоморфны для типов
_:
Зачем тебе тк в галогене например?
В галогене страшные типы
ЗП
В галогене страшные типы
Можешь показать чем?
_:
Может потом
_:
Я помню что я наизусть не мог написать минимальный пример приложения на halogen
_:
Ибо там куча всего лишнего
MK
Я помню что я наизусть не мог написать минимальный пример приложения на halogen
☝️
MK
Сам тогда глянул хелловорлд (счётчики) на Halogen и охуел.
ЗП
Сам тогда глянул хелловорлд (счётчики) на Halogen и охуел.
Да что там такого?
AG
Типы можно еще и математически интерпретировать, например мощностью населенности типа это есть число Пеано, и все аксиомы для чисел Пеано изоморфны для типов
линзы в этой интерпретации - отношения делимости/упорядоченности/итд
_:
Да что там такого?
Куча всего лишнего
_:
Особенно новичков пугает
ЗП
линзы в этой интерпретации - отношения делимости/упорядоченности/итд
Продолжай