AP
В расте нет зависимых типов. Есть эмуляция. И работает она через эмуляцию HKT :)
Size: a a a
2017 October 26
NK
ммммм?
NK
зависимые типы там не настоящие да, но интересно что за эмуляция хкт..
AP
AP
Неполноценные HKT полчаются, но и с такими уже веселее
NK
не оч понял
NK
кайнд же всегда один
AP
Часто поликайнд и не нужен, кочется просто иметь
* -> *AP
Этот хак позволяет иметь
T (a :: * -> *)AP
Инстанс трейта просто определяет этот самый
a - ассоциирует один тип с другим. В итоге a подставляется и получается опять *NK
Этот хак позволяет иметь
T (a :: * -> *)как?
AP
В статье всё есть
NK
о-ок
AK
опять ваша криптоанархия и пейперы на пейперах
MP
Зависимые типы без HKT? :)
В огратиченном объеме реалидовать можно. Думаю что достаточно будет сигма-типы поддержать.
AP
Будет грустно всё равно
AP
Длину вектора получится закодировать, а как только чего-то более сложного захочется, сразу начнёт жать
AK
по поводу дебаггеров/сторибуков/whatever: https://wiretap.debuggable.io/
AP
У джаваскриптеров типов нет, им проще такой дебаггер запилить :)
к
Функции высшего порядка - это уже лютый вин, ИМХО
Что есть даже в жс