B
ну типа, его стоит юзать?
Size: a a a
2021 May 27
B
или захуесосят?
а
Для теории типов наверное нужно двигаться в сторону завтипов да
2021 May 28
B
ставлю идрис?
KR
Давно пора, хуле ты так долго?
B
даже не знаю
а
ставь кок
KR
идрисня не для прода, идрисня для души
а
я вообще хз чем они отличаются, но кок старше и популярнее, поэтому опять же его легче учить будет
а
идрис какой-то хипстерский
KR
кок разве не прувер-онли?
B
ну если я юзаю арч для прода то я как тот волк
B
который лапу отгрыз себе
а
нет, там экстракция программ есть
B
B
KR
Ну тогда они кажись на разных теориях построены, идрис на QTT, а кок на СoС. Насколько между ними можно провести эквивалентность - хз, это в завтипном чате лучше спрашивать.
а
А да, различие в базовых теориях есть