DF
Чо вы кек
Size: a a a
2020 May 22
EG
Dollar Føølish
Да нет никаких церемоний в идрисе
Потому что на нём никто не пишет?
DF
Ну на самом деле учить ещё один язык специально для скриптов тоже тухло
DF
Так что я за статику
EG
Учить язык это херня
DF
Нет
EG
EG
Язык учится быстро
DF
Учить что либо это не херня а зачастую ещё и унижение
EG
Все императивные языки одинаковые
EG
Это мелочи
DF
Ну хз вы молодые у вас энергии много
G
Dollar Føølish
Учить что либо это не херня а зачастую ещё и унижение
вот да
EG
Ну если для тебя унизительно учиться то лол, ничем не могу тебе помочь.
DF
Спасибо за оценку
EG
Обращайся.
DS
> Я не хочу устраивать ещё больше церемоний, чтобы они работали ещё и с хлистами
Вот, никаких церемоний, берешь либу, всё работает:
https://github.com/milessabin/shapeless/blob/d0a7562c49795f1ad6730e759c06cf4d7dccc763/core/src/main/scala/shapeless/ops/hlists.scala#L2038
https://github.com/milessabin/shapeless/blob/d0a7562c49795f1ad6730e759c06cf4d7dccc763/core/src/main/scala/shapeless/ops/hlists.scala#L2038
EG
Если это — без церемоний, то я — Папа Римский
DS
Так тебе писать это не надо, это написано в либе