В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Programming Offtop

561 membersпожаловаться на группу
2020 September 21

AN

Alexander Nozik in Programming Offtop
(
канонический хлист (а также хсет и хмап) индуктивно определяются из двух базовых конструкторов, а все операции без "проблемы 22" определены поверх
Блин опять я влип в этот дурацкий спор. Ну ладно, последня реплика. Мы пришли к выводу о том, что тебе надо "классический hlist", а не решение заадчи. Ты не будешь делать hlist больше, чем на 10 элементов никогда. Если ты это делаешь, то ты делаешь что-то не то.
источник
11:25пожаловаться#1

I

Ilmir in Programming Offtop
(
Кароче да, хлист это тупл неограниченной длины, где не приходится копипастить всякое говно
Так бы и сказал, что тебе вариадик дженерики нужны.
источник
11:25пожаловаться#2

(

( in Programming Offtop
Ilmir
Так бы и сказал, что тебе вариадик дженерики нужны.
вариадик женерики это не то
источник
11:26пожаловаться#3

(

( in Programming Offtop
это туплы, а помимо хлистов (туплов) есть ещё хсеты и хмапы, как я выше говорил
источник
11:27пожаловаться#4

(

( in Programming Offtop
Alexander Nozik
Блин опять я влип в этот дурацкий спор. Ну ладно, последня реплика. Мы пришли к выводу о том, что тебе надо "классический hlist", а не решение заадчи. Ты не будешь делать hlist больше, чем на 10 элементов никогда. Если ты это делаешь, то ты делаешь что-то не то.
о как хорошо, сразу классический контраргумент "язык это не может, значит я делаю что-то не то"
источник
11:27пожаловаться#5

AN

Alexander Nozik in Programming Offtop
(
о как хорошо, сразу классический контраргумент "язык это не может, значит я делаю что-то не то"
Язык тут не при чем. Ты ни в каком языке не будешь это делать.
источник
11:28пожаловаться#6

(

( in Programming Offtop
А я напоминаю, что например чтобы граф зависимостей проверить на корректность совсем необязательно кодогенерить как даггер, можно просто собрать очень большую гетерогенную коллекцию
источник
11:29пожаловаться#7

AN

Alexander Nozik in Programming Offtop
(
А я напоминаю, что например чтобы граф зависимостей проверить на корректность совсем необязательно кодогенерить как даггер, можно просто собрать очень большую гетерогенную коллекцию
Короче. Найди пример в своем любимом хаскеле (хотя это тоже плохой вариант, там многие вещи делаются так, как делаются, потому что по-другому нельзя). Тогда и поговорим.
источник
11:30пожаловаться#8

(

( in Programming Offtop
Alexander Nozik
Короче. Найди пример в своем любимом хаскеле (хотя это тоже плохой вариант, там многие вещи делаются так, как делаются, потому что по-другому нельзя). Тогда и поговорим.
https://github.com/nikita-volkov/hasql
GitHub
nikita-volkov/hasql
An efficient PostgreSQL driver with a flexible mapping API - nikita-volkov/hasql
источник
11:34пожаловаться#9

AN

Alexander Nozik in Programming Offtop
(
https://github.com/nikita-volkov/hasql
GitHub
nikita-volkov/hasql
An efficient PostgreSQL driver with a flexible mapping API - nikita-volkov/hasql
А можно конкретную строчку, где hlist больше 10 элементов в длину?
источник
11:35пожаловаться#10

(

( in Programming Offtop
Alexander Nozik
А можно конкретную строчку, где hlist больше 10 элементов в длину?
ридми 
encoder =
    (fst >$< Encoders.param (Encoders.nonNullable Encoders.int8)) <>
    (snd >$< Encoders.param (Encoders.nonNullable Encoders.int8))
источник
11:35пожаловаться#11

(

( in Programming Offtop
это хлистоподобная конструкция для композиции энкодеров/декодеров
источник
11:36пожаловаться#12

AN

Alexander Nozik in Programming Offtop
(
ридми 
encoder =
    (fst >$< Encoders.param (Encoders.nonNullable Encoders.int8)) <>
    (snd >$< Encoders.param (Encoders.nonNullable Encoders.int8))
Нет, пример использования пожалуйста.
источник
11:36пожаловаться#13

(

( in Programming Offtop
что значит пример использования
источник
11:36пожаловаться#14

(

( in Programming Offtop
это он и есть
источник
11:36пожаловаться#15

AN

Alexander Nozik in Programming Offtop
Ну значит место, где человек реально пишет в строчечку десять типов, а не просто дает возможность передавать их.
источник
11:36пожаловаться#16

(

( in Programming Offtop
Alexander Nozik
Ну значит место, где человек реально пишет в строчечку десять типов, а не просто дает возможность передавать их.
https://t.me/pofftop/232162
Telegram
( in Programming Offtop
ему необязательно даже появляться на экране, инференс же для чего
источник
11:37пожаловаться#17

AM

Andrew Mikhaylov in Programming Offtop
Alexander Nozik
Ну значит место, где человек реально пишет в строчечку десять типов, а не просто дает возможность передавать их.
Дык а нафига? Деконструируешь и вперёд.
источник
11:38пожаловаться#18

AN

Alexander Nozik in Programming Offtop
(
https://t.me/pofftop/232162
Telegram
( in Programming Offtop
ему необязательно даже появляться на экране, инференс же для чего
Чтобы был инференс, где-то оно должно быть объявлено. Мы же не говорим о динамике.
источник
11:38пожаловаться#19

AN

Alexander Nozik in Programming Offtop
Andrew Mikhaylov
Дык а нафига? Деконструируешь и вперёд.
В смысле мы пишем не десять а пять раз по три?
источник
11:38пожаловаться#20