Описание тега evaluation-strategy

Описание тега Вопросы с тегом
Стратегии оценки определяют, как и когда оцениваются части выражения.
1 ответ

Лямбда-исчисление, нормальный порядок, нормальная форма,

В лямбда-исчислении, если термин имеет нормальную форму, стратегия сокращения нормального порядка всегда будет производить его. Мне просто интересно, как строго доказать вышеприведенное утверждение?
30 янв '16 в 16:19
2 ответа

Простой способ подсчитать, сколько раз def F (X) оценивается?

Я пытаюсь посчитать, сколько раз f(x) оценивается без необходимости слишком много менять мой код, не кажется, что это должно быть очень сложно, но я не могу понять это. def f (x): f = 12*x**5-45*x**4+40*x**3+5 return f def bounding(): d=.1 x=6 n=0 w…
23 окт '15 в 23:26
1 ответ

Звонок по имени против обычного порядка

Я знаю, что эта тема обсуждалась несколько раз, но кое-что мне все еще неясно. Я прочитал этот вопрос о различиях между аппликативным порядком / вызовом по значению и обычным порядком / вызовом по имени, и есть кое-что, что я хотел бы уточнить раз и…
06 июл '16 в 09:03
3 ответа

Может ли Scala звонить по ссылке?

Я знаю, что Scala поддерживает вызов по имени из ALGOL, и я думаю, что понимаю, что это значит, но может ли Scala выполнять вызов по ссылке, как C#, VB.NET и C++? Я знаю, что Java не может выполнять вызов по ссылке, но я не уверен, связано ли это ог…
25 янв '11 в 04:39
1 ответ

Как я неправильно понимаю оценку по требованию?

Прежде всего, я никогда не изучал эти вещи или что-то еще, поэтому я могу задавать очень глупые вопросы, за которые мне очень жаль, но, пожалуйста, будьте осторожны со мной:) Я играю с реализацией лямбда-исчисления, с оценкой по требованию. Я пытаюс…
04 авг '16 в 22:44
0 ответов

Советник MACD Sample в MetaTrader4 не работает

Простой вопрос: почему не работает MACD Sample? Я хотел использовать образец советника MACD (я имею в виду тот, который предоставляется по умолчанию в MetaTrader), чтобы посмотреть, работает ли параметр MACD или нет. Я поставил желаемый параметр в э…
08 апр '18 в 01:12
5 ответов

Являются ли вызов по значению и передача по значению синонимами?

Я всегда думал, что вызов по значению и передача по значению являются синонимами. Однако недавно я слышал, что кто-то относится к ним так, как будто они разные. Это одно и то же? Я также говорю об их соответствующих терминах ссылки.
13 фев '11 в 22:12
1 ответ

Бесконечные циклы случайных последовательностей с randomIO, но не с getRandom

Я с трудом пытаюсь найти способ рассуждать о том, почему следующие два, казалось бы, эквивалентных определения бесконечной последовательности случайных чисел (inf а также inf') оцениваются совершенно по-разному: import Control.Monad.Random (Rand, ev…
29 май '15 в 10:52
3 ответа

Различаются ли вызовы с помощью общего доступа и вызовы по ссылке только во время многопоточности?

Если функция вызывается с помощью Call-by-Reference, тогда любые изменения, внесенные в переменную внутри функции, немедленно затрагиваются вызывающей стороной. И для Call-by-Sharing, это затрагивается в конце функции. Вопрос 1: использует ли Java C…
16 дек '12 в 06:33
1 ответ

Что означает "оценка на высшем уровне"?

Что означает "оценка на высшем уровне"? Этот термин не был определен в тексте, в котором он упоминался. Я не хочу говорить о конкретном контексте, потому что меня интересуют только общие объяснения.
23 ноя '13 в 12:08
2 ответа

Как сделать условие не короткого замыкания в Typescript?

Как оценить состояние без короткого замыкания в машинописи? Машинопись не позволяет & или же | для логического типа. Причина, по которой мне нужна проверка без короткого замыкания, заключается в том, что я вызываю функцию showErrors isValueValid…
21 сен '16 в 09:28
3 ответа

Если Perl является вызовом по ссылке, почему это происходит?

Я читал, что Perl использует вызов по ссылке при выполнении подпрограмм. Я сделал простой кусок кода для проверки этого свойства, но он ведет себя так, как будто perl был call-by-value: $x=50; $y=70; sub interchange { ($x1, $y1) = @_; $z1 = $x1; $x1…
05 июн '14 в 15:00
1 ответ

Возникли проблемы с функцией в схеме

Поэтому я пытаюсь понять этот кусок кода, и, посмотрев на него слишком долго, я решил спросить здесь, может ли кто-нибудь помочь мне понять, как и почему он работает (define knock-knock (letrec ([dig (lambda (i) (cons (* i (list-ref knock-knock (- i…
29 июл '15 в 14:58
1 ответ

Какова стратегия оценки (нетерпеливый, ленивый, ...) метафункций C++, таких как std::conditional?

C++14 черновик n4140 читает T должен быть типом перечисления за template <class T> struct underlying_type, Как плохо это писать std::conditional_t<std::is_enum<T>::value, std::underlying_type_t<T>, foo> когда T может быть про…
21 дек '16 в 16:45
1 ответ

Порядок оценки для чайников

Я не могу понять стратегию оценки, независимо от того, сколько я читаю темы. Можете ли вы объяснить мне три приказа об оценке на примере? Я пишу код ниже. Можете ли вы объяснить вызов по необходимости (ленивая оценка), вызов по имени (нормальная оце…
18 июн '13 в 12:42
2 ответа

Не строгие аргументы по имени в Python?

Вопрос Есть ли способ объявить аргументы функции не строгими (передаваемыми по имени)? Если это невозможно напрямую: есть ли вспомогательные функции или декораторы, которые помогают мне достичь чего-то подобного? Конкретный пример Вот маленькая игру…
05 апр '18 в 14:27
0 ответов

Оценка по имени и цикл foreach

Я столкнулся с этой проблемой в первый раз, и я не могу понять это. Допустим, у нас есть массив и цикл foreach. Что-то вроде этого: var v = array(10,20,50); var i = 0 write(foo(v, v[i++])); function foo(ref int[] v, name int y){ foreach(int j in v){…
16 июн '13 в 16:32
0 ответов

Теория, лежащая в основе вызова, поделившись

Поэтому я много читал о стратегиях оценки ( как их называет Википедия) после того, как объяснил, как работает Java. (Я знаю, что они не используют термин call by share, скорее, они используют "call by value, где значение является ссылкой"), но в при…
29 авг '18 в 15:05
2 ответа

Оцените функцию один раз и сохраните результат в python

Я написал статический метод в python, который требует времени для вычисления, но я хочу, чтобы он вычислялся только один раз, а после этого возвращал вычисленное значение. Что я должен делать? Вот пример кода: class Foo: @staticmethod def compute_re…
26 янв '15 в 09:08
3 ответа

Как рассчитать средний балл IU при сегментации изображения?

Как рассчитать средний балл IU (среднее пересечение по объединению), как в этой статье? Лонг, Джонатан, Эван Шелхамер и Тревор Даррелл. "Полностью сверточные сети для семантической сегментации".
27 июл '15 в 12:50