AN
А у вас реально есть кейсы таких структур, которые просто пристыковываются друг к другу? Без группировки?
Size: a a a
2020 September 21
(
Чтобы был инференс, где-то оно должно быть объявлено. Мы же не говорим о динамике.
хлист конструируется вот так
sealed class HList {
object HNil : HList()
class HNode<T, N : HList>(val value: T, next: N) : HList()
}(
здесь даже котлин легко выведет тип, если написать только конструкторы
(
и.е.
val a = HNode(3, HNode("sss", HNode(true, HNil))) // inferredAN
и.е.
val a = HNode(3, HNode("sss", HNode(true, HNil))) // inferredда мне в общем, пофигу как он будет конструироваться, я сам штук пять вариантов реализации могу придумать. Я спрашиваю про то, как оно будет использоваться.
(
да мне в общем, пофигу как он будет конструироваться, я сам штук пять вариантов реализации могу придумать. Я спрашиваю про то, как оно будет использоваться.
в хаскеле для этого есть россыпь тайпклассов и тайпфемелей, которые позволяют с хлистом абстрактно работать
В этой либе он просто фолдом обходится https://github.com/nikita-volkov/hasql/blob/fdb58ec30eadc263ac7800e0d7b1a1d8ae3165a3/library/Hasql/Private/IO.hs#L132
В этой либе он просто фолдом обходится https://github.com/nikita-volkov/hasql/blob/fdb58ec30eadc263ac7800e0d7b1a1d8ae3165a3/library/Hasql/Private/IO.hs#L132
ML
А я напоминаю, что например чтобы граф зависимостей проверить на корректность совсем необязательно кодогенерить как даггер, можно просто собрать очень большую гетерогенную коллекцию
а в чём смысл?
ML
можно ещё просто руками фабрики писать и не выёбываться
ML
и тоже всё проверяется
AN
в хаскеле для этого есть россыпь тайпклассов и тайпфемелей, которые позволяют с хлистом абстрактно работать
В этой либе он просто фолдом обходится https://github.com/nikita-volkov/hasql/blob/fdb58ec30eadc263ac7800e0d7b1a1d8ae3165a3/library/Hasql/Private/IO.hs#L132
В этой либе он просто фолдом обходится https://github.com/nikita-volkov/hasql/blob/fdb58ec30eadc263ac7800e0d7b1a1d8ae3165a3/library/Hasql/Private/IO.hs#L132
Ты можешь написать пример доступа в базу или сериализации (это по прежнему единственный кейс), где ты реально пишешь гетерогенные плоские структуры больше, чем на 10 полей?
(
Ты можешь написать пример доступа в базу или сериализации (это по прежнему единственный кейс), где ты реально пишешь гетерогенные плоские структуры больше, чем на 10 полей?
(
Правда тут семь всего, но че мне стоит ещё добавить
AN
Правда тут семь всего, но че мне стоит ещё добавить
Вот я тоже 7 насчитал... А для 7 не надо тащить супер-тяжелую и супер-дорогую фичу в язык, достаточно сделать один костыль Филькенштейн-стайл и использовать его спокойно раз в несколько лет. Если очень надо.
(
exhibit B https://docs.servant.dev/en/stable/tutorial/ApiType.html
который я тут уже кидал
эндпоинт описывается также хлистоподобной структурой (там есть примеры), из которой инференсится подходящий каллбек
который я тут уже кидал
эндпоинт описывается также хлистоподобной структурой (там есть примеры), из которой инференсится подходящий каллбек
(
Держа в памяти, какие развесистые бывают апи, такие хлисты будут легко выходить за 10 значений
(
На самом деле и за 100, если их очень много
(
Потому что все эндпоинты по отдельности в итоге собираются в один большой роутинг
(
Вот я тоже 7 насчитал... А для 7 не надо тащить супер-тяжелую и супер-дорогую фичу в язык, достаточно сделать один костыль Филькенштейн-стайл и использовать его спокойно раз в несколько лет. Если очень надо.
и экранов в приложении тоже бывает больше 7, больше 10 и даже больше 22
AN
Маркдаун плагин перепрыгнул на chromium. Выглядит симпатично
AM
Ух, я уж думал в рф, надеюсь путлер этого не увидит.
А то и у нас очередную дичь примут.
Сейчас задумался и понял, что Mr. Robot прав даже больше, чем я ожидал.
Например, если задуматься становится очевидно, что самые богатые люди страны ей и управляют, а о демократии можно и не мечтать. (В РФ точно, в США шило или мыло, но там как-то прав больше)
И суть то в чём, свернут одного другой придёт. Как разорвать цепочку?
Убрать деньги из оборота и перейти на ресурсо-ориентированную экономику? Кажется невозможным, надеюсь, что только кажется.
Интересно, что там через 200 лет будет?
1984? The Outer Worlds?
Что-то тлен, да ещё и в понедельник.
А то и у нас очередную дичь примут.
Сейчас задумался и понял, что Mr. Robot прав даже больше, чем я ожидал.
Например, если задуматься становится очевидно, что самые богатые люди страны ей и управляют, а о демократии можно и не мечтать. (В РФ точно, в США шило или мыло, но там как-то прав больше)
И суть то в чём, свернут одного другой придёт. Как разорвать цепочку?
Убрать деньги из оборота и перейти на ресурсо-ориентированную экономику? Кажется невозможным, надеюсь, что только кажется.
Интересно, что там через 200 лет будет?
1984? The Outer Worlds?
Что-то тлен, да ещё и в понедельник.
У вас тоже приняли, но слегка иначе. Просто весь внешний софт подорожает на 20% (а он больше юзается, чем внутренний)