AZ
ну вон в идрисе например доказывается что fmap f . fmap g == fmap (f . g)
Size: a a a
2020 June 05
AZ
та к и тут
AB
sort: ... -> (res: List a) where res[i] > res[i+1]
Речь о sortBy
AB
О < на интах я не говорю
AZ
Речь о sortBy
sort просто в аргументах будет требовать пруф что функция ведет себя корректно
AB
доказать такие свойства для функции выполняются
Возможно. Разговор шел о мейнстрим языках. Мой изначальный посыл был в том, что в
void sort(T[] arr, bool(T, T) comp);
тип comp не единственное ее ограничение
void sort(T[] arr, bool(T, T) comp);
тип comp не единственное ее ограничение
AZ
Возможно. Разговор шел о мейнстрим языках. Мой изначальный посыл был в том, что в
void sort(T[] arr, bool(T, T) comp);
тип comp не единственное ее ограничение
void sort(T[] arr, bool(T, T) comp);
тип comp не единственное ее ограничение
ну в жаборастах офк ты это никак не потребуешь
AB
У меня с телефона не все символы видны даже. Поверю наслово
> infix 4
Загадочно
> infix 4
Загадочно
r
В языках с разрешимым выводом типов никак не потребуешь. Нет?
AZ
У меня с телефона не все символы видны даже. Поверю наслово
> infix 4
Загадочно
> infix 4
Загадочно
инфиксный оператор приоритета 4
VS
кстати моя качалочка двачей адски сложная получается. я уже разуверовался в ее написании
O-o
VS
я с геймдева, меня таким не напугать ))
Воистину, брат 😁 Ох как вспомню класс со статическими методами доступа к ДБ. Вьетнамские флешбеки
SP
Воистину, брат 😁 Ох как вспомню класс со статическими методами доступа к ДБ. Вьетнамские флешбеки
а что не так?
VS
а что не так?
Ну ты бы его видел. Он вообще партиал был пока я его не распилил на куски. Там мрак в общем.
VS
сохраняет страничку и статику да
Хм, я как-то делал сервис погоды который из двух источников собирает прогноз по температуре и возвращает средню температуру. Ну + кеширует то что спросил у сервисов чтобы повторно не стучаться постоянно. Писал на Actix-Web и было проще пареной репы.
SP
я не понимаю актикс
VS
я не понимаю актикс
Блин, он мне как-то сразу до боли похожим на asp net core показался. Да и что уж там. Потом я узнал откуда автор и все встало на свои места.
V
Из дотнета?
VS
Да и чтобы писать на actix-web поди сам actix знать не надо