PP
Идрис - это хаскель на минималках?
наоборот же
Size: a a a
2020 August 27
PP
Идрис - это хаскель на минималках?
хаскель на максималках
в
из общего там только похожий синтаксис и чистота
X
хаскель на максималках
А что с экосистемой?
PP
А что с экосистемой?
хз
X
Тулинг лучше, чем у окамла?
PP
если в кратце то не нужен
X
если в кратце то не нужен
Тулинг или идрис?
X
:)
PP
Тулинг или идрис?
идрис
PP
p
Тулинг лучше, чем у окамла?
Тулинга нет, либ нет
в
оптимизирующего компилятора тоже нет
в
идрис
идрис это хороший исследовательский проект
ΑZ
Да, так гораздо удобнее читать чем через ифы, а ещё проверка исчерпаемости есть
Так гораздо неудобнее
AV
0 => ...
l @ _ => ...
l @ _ => ...
Орнул с
l @ _H
Иф это сахар над матчем, да
Нет, match сахар над ифом, да
C
что за дичь)
интерактивная )