@ProCxx

Страница 415 из 2477
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 для пачки :)

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

Vladislav
10.11.2016
08:10:08
when_all
только вот он даже не в c++17

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 кода.

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

Блин, это же ужасно.

Зачем они нонче вообще...

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

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

Дед Пегас
10.11.2016
08:19:15
в коде ibm юзаются триграфы?
Судя по крику — да.

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
?

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

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

Google
Alex Фэils?︙
10.11.2016
08:36:20
ну сори, я слабак в этом всем. flat strings - это я выдумываю?
Да я тож не знаю, могу только предположить. Ща погуглю, короч

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

Плюшка
10.11.2016
08:36:39
Типо "45$6@7)" - не new char[8] а myType("45$6@7")
http://en.cppreference.com/w/cpp/language/user_literal

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

а со строками хз

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

Denis
10.11.2016
08:37:11
обычно flat говорят про ассоциативные контейнеры
flat говорят про контейнеры, где память не сегментированна, резве нет?

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
Denis
10.11.2016
08:40:46
Ну, можно placement new
Читы пошли ?

Борис
10.11.2016
08:40:46
чем так плохи яндекс/мейл?
Они не плохи. Они другие.

babysitter
10.11.2016
08:42:07


похоже к строкам никак не относится

Vladislav
10.11.2016
08:42:27
C++/Haskell/Idris
особенно idris)

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
особенно idris)
Почему смайл? Сейчас насоветуете...

Vladislav
10.11.2016
08:48:48
Почему смайл? Сейчас насоветуете...
idris - экспериментальная и глубоко теоретическая штука

и в продакшн она вряд ли когда-либо пойдет

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: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
А haskell для нематиматика как?
тоже хорошего мало, но если особо не вдаваться в детали монад/фукторов/etc. то можно

Дед Пегас
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.

Страница 415 из 2477