AZ
столько открытий
Size: a a a
2020 March 25
AZ
ваще жесть)
G
Можешь ещё это почитать (в тему Idris2): https://www.type-driven.org.uk/edwinb/papers/idris2.pdf
p
а в идрисе есть перегрузка и аргументы по умолчанию?
С
@t91x0 не ты?
Я
p
ваще жесть)
ты ее перевел?
AZ
почему пример из гитхаба говорит что для создания коннекшна я должен глобальные статики инициаилизировать?
С
почему пример из гитхаба говорит что для создания коннекшна я должен глобальные статики инициаилизировать?
Потому что наплюй на эти примеры. Там традиционный пиздец с документацией
AZ
ты ее перевел?
процентов на 60. Потом пошел хайп по короновирусу и я решил доперевести когда он спадет
AZ
Потому что наплюй на эти примеры. Там традиционный пиздец с документацией
если я наплюю на доку то как мне написать приложение? Мне больше неоткуда брать инфу
С
почему пример из гитхаба говорит что для создания коннекшна я должен глобальные статики инициаилизировать?
Я сейчас отправлю сюда код
G
а в идрисе есть перегрузка и аргументы по умолчанию?
Нет, нет
Перегрузка плохая, не надо
Формулируй аргументы как доказательства с
Перегрузка плохая, не надо
Формулируй аргументы как доказательства с
auto и горя не знай
AK
а что ты хочешь сделать?
Сложно объяснить. Мне вообще нужно список чисел разбить на группы идущих подряд чисел
AZ
Alexander Krivitskiy
Сложно объяснить. Мне вообще нужно список чисел разбить на группы идущих подряд чисел
пара примеров бы не помешала
С
Я вот этого я просто не касался. Лучше спросить в том чате. Дизайн такой, такое много где встречается. Например у клиента AWS тоже есть глобальные статики.
p
Нет, нет
Перегрузка плохая, не надо
Формулируй аргументы как доказательства с
Перегрузка плохая, не надо
Формулируй аргументы как доказательства с
auto и горя не знайбудем по кругу спорить о перегрузке, или надоело?
AZ
Я вот этого я просто не касался. Лучше спросить в том чате. Дизайн такой, такое много где встречается. Например у клиента AWS тоже есть глобальные статики.
но это ж пиздец(
AZ
по сравнению с еф какой-то детский сад