Но он давно лежит

надо найти где он лежит , захватить доступ и поднять

хаскелл вроде в это умеет

в приниципе любой фнкциональный язык в рамках ленивого исполнения при редукции выражений может выкинуть те выражения, что не приводят к редексам. Но ленивые вычисления ведь медленней работают

его

http://blog.ndcconferences.com/modern-diagnostics-tools-for-c-applications/

Модерн конечно, прям...

Всем привет, я хочу использовать функцию urlmksetsessionoption чтобы поменять юзер агента, но меня посылают ещё на этапе компиляции, подскажите пожалуйста что не так? Urlmon.h подключил

https://github.com/Naios/continuable

Всем привет, я хочу использовать функцию urlmksetsessionoption чтобы поменять юзер агента, но меня посылают ещё на этапе компиляции, подскажите пожалуйста что не так? Urlmon.h подключил

Urlmon это кто вообще

Всем привет, я хочу использовать функцию urlmksetsessionoption чтобы поменять юзер агента, но меня посылают ещё на этапе компиляции, подскажите пожалуйста что не так? Urlmon.h подключил

и хочется наверное текст ошибки?

хаскелл вроде в это умеет

Не умеет.

надо найти где он лежит , захватить доступ и поднять

логин и пароль в открытом доступе

Всем привет, я хочу использовать функцию urlmksetsessionoption чтобы поменять юзер агента, но меня посылают ещё на этапе компиляции, подскажите пожалуйста что не так? Urlmon.h подключил

Ошибку в студию.

Лучше на пасту и ссылку сюда...

логин и пароль в открытом доступе

от svn?

Да

Но сам свн лежит дохлый сука

Это называется lazy evaluation

Да нет же. Это всё не об этом.

Вы говорите про рантайм.

То что хаскель доводит выражения до WHNF это понятно.

Но он делает это в рантайме, если значения известны только в рантайме.

Но он делает это в рантайме, если значения известны только в рантайме.

а при неизвестных значениях в момент компиляции разве можно путём какого-либо анализа выкинуть ветку условия?

Вот. Об этом и речь.

а при неизвестных значениях в момент компиляции разве можно путём какого-либо анализа выкинуть ветку условия?

можно, но тогда вопрос нафига такую ветку написали

Что возможно.

x *= 2; if(x % 2 = 0) {...}

ну если там ветка от проверки какой то константы

да да

Самый простой пример.

Самый простой пример.

ну это крутой анализатор нужен

x неизвестна на стадии компиляции, но известно, что это выражение можно элиминировать.

x *= 2; if(x % 2 = 0) {...}

Ну это же просто предупреждение нерасторопности программиста, разве нет?

ну это крутой анализатор нужен

Так об этом и была речь изначально. Что подразумевается под крутым оптимизатором? Вот это.

Ну это же просто предупреждение нерасторопности программиста, разве нет?

Да нет же. Я сейчас написал этот пример в нём сразу явно видно, как и что оптимизировать, но сделай это всё сложнее — и ты уже ничего не увидишь.

Плюс оптимизатор твой должен понимать, какая связь между умножением и взятием по модулю, иначе откуда он вообще может понять, что такое надо оптимизировать.

На пастбин такие портянки, пожалуйста.

А если x - не число?) *= и % - переопределённые операторы)

Вот ошибка))

А если x - не число?) *= и % - переопределённые операторы)

Тем более.

Тем более.

ну в общем я типа понял) . Однако простор для оптимизации получается несколько меньше, чем сведение к слабой нормальной форме в рантайме ленивых языков) Этот оптимизатор для с++?

На самом деле сведение к WHNF это покрывает.

Не для с++, свой язык.

Конечно там будет нормальная стратегия редукции выражений, но вместе с этим еще и анализ области значений.

На самом деле сведение к WHNF это покрывает.

ну ладно, специалистам, проводившим исследования виднее) а многопоточный код как в этом контексте работает?

Или язык запрещает side эффекты?

Не запрещает. Над многопоточностью еще ведутся исследования, но с кооперативной многозадачностью +- понятно.

http://pastebin.com/WAwfspwp

Не запрещает. Над многопоточностью еще ведутся исследования, но с кооперативной многозадачностью +- понятно.

слушай, а разве редукция термов в haskell разве не в момент компиляции происходит? Просто сильно не углублялся)

Типов? ТЕрмов ты имел в виду, наверно?

Она происходит и там и там на самом деле.

Типов? ТЕрмов ты имел в виду, наверно?

Reindex.. please wait

UrlMkSetSessionOption(URLMON_OPTION_USERAGENT, usag[l], sizeof(usag[l]), 0); Вот так функцию вызываю

Всё что можно статически заредуцировать компилятор заредуцирует и оставит WHNF, потом когда ты запускаешь программу и у тебя уже форсируется то или иное вычисление значение в терм подставляется и программа снова приводится к WHNF

Если же вычисления не форсируются, то осуществляется только подстановка. И всё это хпранится в виде здоровенного невычисленного chunk-а.

Если же вычисления не форсируются, то осуществляется только подстановка. И всё это хпранится в виде здоровенного невычисленного chunk-а.

я думал в момент компиляции редукция до WHNF, потом в момент рантайма оставшееся дерево вычисляется до нормальной формы

всё лень начать нормально учить язык с другой парадигмой(( было бы это нужно на работе...

Насколько я понимаю — нет. В рантайме те же слабозаголовочные формы.

Насколько я понимаю — нет. В рантайме те же слабозаголовочные формы.

ок, спасибо)

http://pastebin.com/WAwfspwp

UrlMkSetSessionOption(URLMON_OPTION_USERAGENT, usag[l], sizeof(usag[l]), 0); Вот так функцию вызываю

объявление usag напишите.

Char usag[n][m]={};

ERROR: S client not available

Ну и потом он заполняется

Если закомментить строку, то компилируется?

Ага

А urlmon.lib подключена в зависимостях?

Нет, думал достаточно .h

А как подключить не подскажешь, недавно студией пользуюсь?)

Или в свойствах проекта через input - additional dependencies, или попробовать #pragma comment(lib, "urlmon") в файле, где у вас вызывается функция.

Нет, думал достаточно .h

На msdn есть секция "Requirements". Чаще заглядывайте в доки. https://msdn.microsoft.com/en-us/library/ms775123(v=vs.85).aspx

UrlMkSetSessionOption(URLMON_OPTION_USERAGENT, usag[l], sizeof(usag[l]), 0); Вот так функцию вызываю

Вначале подумал, что это хэш какой-то :)

Я подключил с помощью прагмы .либ, а как подключить .dll, я на мсдн читаю и не понимаю нифига про неявное связывание, а явное не получается сделать, ругается

HMODULE hlib; hlib = LoadLibrary(LPCWSTR(Urlmon.dll));

Пишет hlib не содержит класс хранения или спецификатор типа

Может как-то попроще можно подключить, подскажите кто-нибудь?

> Или в свойствах проекта через input - additional dependencies

Ну это же просто предупреждение нерасторопности программиста, разве нет?

Нет. Например, есть на плюсах некий шаблон. Например, считает Фибоначчи какие-нибудь. И критерием окончания вычислений как раз и является вот такая ветка, где результат известен во время компиляции. Теперь представим себе язык, где шаблонов нет. Всё пишется в едином синтаксисе языка. При этом то, что в плюсах бы пришлось делать шаблоном, здесь делается обычным языком, но правила оптимизации этого чего-то известны заранее.

Например, мы пишем код "вызвать функцию, которая посчитает 10-е число Фибоначчи". Этот код гарантированно будет заменён на число. Если же мы этого по какой-то причине не хотим, то мы специально говорим компилятору, чтобы он забыл, что число 10 статически известно.

Например, мы пишем код "вызвать функцию, которая посчитает 10-е число Фибоначчи". Этот код гарантированно будет заменён на число. Если же мы этого по какой-то причине не хотим, то мы специально говорим компилятору, чтобы он забыл, что число 10 статически известно.

Ну здесь то значение известно на этапе компиляции. Мы же говорим всего лишь о известном характере поведения неизвестных значений, из которого мы можем сделать некоторые выводы

LLVM 4.0.0 (Score: 109+) Link: http://j.mp/2nxgCiZ

Помогите, пожалуйста, я уже не знаю, что делать. Есть такой вот код: void f(arg0, arg1, arg2, PatchDescriptor& descriptor) { //тут немного операций с дескриптором asm volatile( "ldr q1, [%0], #16\n" //загружает 16 байт по указателю descriptor.pixels_.data_.data() в векторный регистр и увеличивает указатель на 16 //тут много кода, но его выпиливание поведение не меняет : : "r"(descriptor.pixels_.data_.data()) //descriptor.pixels_.data_ -- это vector<uint8_t> : ); //printf("",descriptor.pixels_.data_[0]); } При -O0, -O1, -O2 все отлично, при -O3 и -Ofast сегфолт, при этом если раскомментировать printf после асма, все работает при любом уровне оптимизаций. Я так понял, память под вектор очищается слишком рано, но если так, то почему, если она в асме юзается? И что можно придумать, чтобы без костыля работало? Он еще и на производительность не очень хорошо влияет. Код под arm64

#pragma optimize( "", off ) ?

#pragma optimize( "", off ) ?

все равно сегфолт

Можно unique_ptr передавать в функцию.

Эмм

А можно ли писать на плюсах эмбеддед?

Можно unique_ptr передавать в функцию.

unique_ptr<PatchDescriptor>?

А можно ли писать на плюсах эмбеддед?

это для айфонов на arm64

А что, кстати, в плюсах с volatile для ссылок? Там, вроде, траблы с кастом были. Попробуйте еще volatile к ссылке добавить, мб сработает.

забыл указать архитектуру, дописал

А что, кстати, в плюсах с volatile для ссылок? Там, вроде, траблы с кастом были. Попробуйте еще volatile к ссылке добавить, мб сработает.

пробовал дописать volatile к параметру — не скомпилилось, сейчас погуглю, может неправильно написал