
Vladislav
10.11.2016
08:05:33
да, колбек должен быть вызван только когда все аргументы уже посчитались, до этого момента он не должен тратить ресурсы

Denis
10.11.2016
08:06:24
collect(a, b).then
О, я вот как раз хотел спросить можно ли как-то "подождать" пачку фьючерсов

Anatoly
10.11.2016
08:07:01
да
а зависимостей у него прилично... ещё и гугло лог(

Google

Vladislav
10.11.2016
08:07:12

Denis
10.11.2016
08:08:39
Да, не подождать. Хотел сказать, сделать then для пачки :)

Дед Пегас
10.11.2016
08:09:34
Же

Denis
10.11.2016
08:10:05
Не слыхал

Vladislav
10.11.2016
08:10:08

Anatoly
10.11.2016
08:10:33
C++23 ?)

Дед Пегас
10.11.2016
08:10:46
C++20147

Vladislav
10.11.2016
08:10:59
кроме того, у std::future какая-то ботва с error handling, на сколько я слышал (правда я не вникал)
C++20147
это в нем добавили расширенную поддержку квантовых вычислений?)

Anatoly
10.11.2016
08:12:54

Дед Пегас
10.11.2016
08:13:20
Но всё ещё осуществляется поддержка legacy C99 кода.

Vladislav
10.11.2016
08:13:29

Google

Дед Пегас
10.11.2016
08:14:53
Вспоминается вскрики IBM о том, что будут убирать некоторые триграфы.
Блин, это же ужасно.
Зачем они нонче вообще...

babysitter
10.11.2016
08:17:09

productionneuh
10.11.2016
08:18:13
Триграфы?

babysitter
10.11.2016
08:18:17
кого-то они реально задолбали, раз их в 17 деприкейтят.
слышал бывали коллизии

Дед Пегас
10.11.2016
08:19:15

babysitter
10.11.2016
08:19:42
Триграфы?
иди скомпиль
int main(){<:]()<%[](){[:>()<%}();}();}();}

productionneuh
10.11.2016
08:20:34
Лол

Andrey
10.11.2016
08:21:07
потому что уже до экранирования их отрисовал

Борис
10.11.2016
08:28:38
Коллеги! Нужно ваше субъективное мнение. Что будет через пару лет? Во что вкатываться? Что учить? Что будет на рынке? Считаю, что раст ещё не стрельнит. JVM с кложами? Живу в Москве. Релокейшн исключён (престарелые родители). Проектов по крестам мне хватит на 2 года точно. Дальше непонятно. Оставаться в крестах? Готов инвестировать год в изучение. Помимо крестов пишу на perl, ruby, go. Смотрю в сторону rust и jvm. Моя функциональщина застряла на common lisp, не моё, не математик я. Амбиции: точно не пойду в контору типа яндексов-мейлов, не пойду джуниуром (лучше кабачки буду сажать и кроликов разводить). Чего думаете?

Andrey
10.11.2016
08:30:43
?

Alex Фэils?︙
10.11.2016
08:31:14

Дед Пегас
10.11.2016
08:34:37

Борис
10.11.2016
08:34:39

Дед Пегас
10.11.2016
08:34:41
Всё, что нужно знать.

Andrey
10.11.2016
08:35:01

Alex Фэils?︙
10.11.2016
08:35:09

babysitter
10.11.2016
08:35:41
ну сори, я слабак в этом всем. flat strings - это я выдумываю?

Google

Alex Фэils?︙
10.11.2016
08:36:20

babysitter
10.11.2016
08:36:32
обычно flat говорят про ассоциативные контейнеры

Плюшка
10.11.2016
08:36:39

babysitter
10.11.2016
08:36:46
но типа мол память плоская - значит доступ быстрый
а со строками хз

Alex Фэils?︙
10.11.2016
08:37:06
Дык на x86/amd64 плоская

Denis
10.11.2016
08:37:11

babysitter
10.11.2016
08:37:33
да, вот я про это. как это относится к строкам, щас посмотрю

Denis
10.11.2016
08:38:13
Я думаю никак, потому что если строка это последовательный кусок памяти, то она и так плоский контейнер :)
А мапка вот не flat, хоть это ассоциативный контейнер
Если я конечно не путаю

babysitter
10.11.2016
08:39:55
ты не путаешь, по этому в контексте мапки часто и слышно мол flat - такой особый вид мапки, которая реализуется внутри плоско

babysitter
10.11.2016
08:40:07
сейчас попробую обосновать про строки

Alex Фэils?︙
10.11.2016
08:40:11

Vladislav
10.11.2016
08:40:18

Denis
10.11.2016
08:40:46

Борис
10.11.2016
08:40:46

babysitter
10.11.2016
08:42:07
похоже к строкам никак не относится

Vladislav
10.11.2016
08:42:27

Google

[Anonymous]
10.11.2016
08:43:14
эт.. господа.. работал кто с жерналом событий?
*журналом событий

Alex Фэils?︙
10.11.2016
08:44:07
Untitled Document.md
www.open-std.org
Flat Containers. P0038R0.

Борис
10.11.2016
08:47:10

Vladislav
10.11.2016
08:48:48
и в продакшн она вряд ли когда-либо пойдет

Борис
10.11.2016
08:49:49

Admin
ERROR: S client not available

Vladislav
10.11.2016
08:50:58
?
не пойми неправильно, это очень классная вещь, но нужно угорать по математике чтобы ей пользоваться

Alex Фэils?︙
10.11.2016
08:51:08
idris - экспериментальная и глубоко теоретическая штука
Idris (язык программирования) — Википедия
ru.wikipedia.org
Idris это чисто-функциональный язык программирования общего назначения с haskell-подобным синтаксисом и поддержкой зависимых типов. Система типов подобна системе типов языка Agda.

Борис
10.11.2016
08:52:29

Дед Пегас
10.11.2016
08:53:21
Idris и Agda годны тем, что там есть зависимая типизация.

Alex Фэils?︙
10.11.2016
08:53:22
А haskell для нематиматика как?
Haskell | зеркало лурк Lurkmore
lurklurk.com
Зеркало Луркоморье. 1 История. 2 Хаскель, чаны и все-все-все. 3 Востребованность. 4 Примеры кода на Haskell.

Дед Пегас
10.11.2016
08:53:28
В плюсах, кстати, её тоже можно запилить.
Но оч сложна.

Vladislav
10.11.2016
08:53:43

Дед Пегас
10.11.2016
08:54:11
Да, полноценную не выйдет.
А хотелось бы(

Alex Фэils?︙
10.11.2016
08:54:24

Google

Дед Пегас
10.11.2016
08:54:35
Т.е. считай делаешь под-тип для типа, навешивая предикат.
Например, функция деления

Alex Фэils?︙
10.11.2016
08:55:00

Vladislav
10.11.2016
08:55:01
https://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%B2%D0%B8%D1%81%D0%B8%D0%BC%D1%8B%D0%B9_%D1%82%D0%B8%D0%BF

Дед Пегас
10.11.2016
08:55:13
div a b : return a / b
Сюда, очевидно, нельзя вместо b сувать ноль)
Знач int тут будет за исключением, собсна, нуля.

Vladislav
10.11.2016
08:55:58
самое клевое в них - типы эквивалентны свойствам, а программы - доказательствам

Дед Пегас
10.11.2016
08:56:05
С, чсх, всё это делается в компил-тйаме.

Vladislav
10.11.2016
08:56:20
и можно формально доказывать корректность программы прямо в коде

Alex Фэils?︙
10.11.2016
08:57:36

Дед Пегас
10.11.2016
08:57:55
{v/
Хм.
Как?

Alex Фэils?︙
10.11.2016
08:58:30
axiom {
int a + b == b + a
};
Не помню точно, надо пропосалы копнуть

[Anonymous]
10.11.2016
08:58:47
??

Alex Фэils?︙
10.11.2016
08:59:29
What are “axioms”? | Axioms: Semantics Aspects of C++ Concepts
www.open-std.org
This paper claries the semantics of “axioms” in the C++ concept proposal and provides standard wording, following the C++ commit-tee vote and resolution at the Spring 2009 meeting at Summit, NJ.