p
причем тут блокчейн?
распределенные вычисления с криптографией и консенсусами это блокчейн
Size: a a a
2020 July 03
DS
Я бы пришел и сказал что-нибудь в духе "> 2020 > не механика", но мне лень, скажите кто-нибудь за меня
b
Напоминает онтологии.
можно сказать что маленькое подмножество логоса (композитные знаки) это онтологии да
b
распределенные вычисления с криптографией и консенсусами это блокчейн
блокчейн это структура данных, распределенные вычисления это распределенные вычисления, а консенсус это консенсус
AD
распределенные вычисления с криптографией и консенсусами это блокчейн
нет
AD
это будет возможно подвид криптовалюты
p
Я бы пришел и сказал что-нибудь в духе "> 2020 > не механика", но мне лень, скажите кто-нибудь за меня
>2020
>2020
>2020
DS
>2020
>2020
>2020
> 2020
> ">"
> ">"
H
Я бы пришел и сказал что-нибудь в духе "> 2020 > не механика", но мне лень, скажите кто-нибудь за меня
да ладно тебе
H
мне нравится как клавиши стучат
DS
мне нравится как клавиши стучат
Так в том числе для этого и нужна механика же.
H
а какой можно практический пример HKT придумать кроме функторов и монад всяких?
H
Я в poica уже сделал HKT
AS
а какой можно практический пример HKT придумать кроме функторов и монад всяких?
А как расшифровывается HKT?
H
Типы высшего порядка
H
вообще цель в Си HOAS делать
H
но GADTs не хватает
DS
а какой можно практический пример HKT придумать кроме функторов и монад всяких?
Коллекции, абстракции над футурами, всякия таглесс файнал eDSL
H
Коллекции, абстракции над футурами, всякия таглесс файнал eDSL
а какая например коллекция?
DS
а какая например коллекция?
Не конкретная коллекция, а абстракции над коллекциями типа foldable, traversable