lazy-evaluation 相关问题

懒惰评估指的是寻求避免评估表达式的各种概念，除非需要它的值，并且在其所有用途之间共享表达式的评估结果，因此不需要对表达式进行多次评估。

我可以在Idris中证明（s：Stream a） - >（head s :: tail s = s）吗？

以下Idris证明没有进行类型检查。 hts：（s：Stream a） - >（head s :: tail s = s）hts（x :: xs）= Refl我得到的错误是：x :: Delay xs = x :: ...之间的类型不匹配

lazy-evaluation idris

回答 1 投票 5

Swift：将协议变量实现为惰性变量？

看来，使用惰性变量实现协议所需的变量是不可能的。例如：protocol Foo {var foo：String {get}} struct Bar：Foo {lazy var foo：...

swift lazy-evaluation

回答 1 投票 11

在Scala中传递延迟参数有什么帮助吗？

这可能听起来像一个新手的错误，但我做了很多。在将惰性求值块或值传递给函数时，如果我忘记以某种方式使该函数的相应参数变为lazy（传递/ ...

scala lazy-evaluation scalac

回答 1 投票 1

使用dplyr :: case_when进行整洁的评估编程

我尝试编写一个包含dplyr :: case_when（）函数的简单函数。我在https：//cran.r-project.org/web/packages/dplyr/vignettes/programming上阅读了dplyr文档的编程。

r dplyr lazy-evaluation nse

回答 2 投票 12

在ASP.NET MVC中执行原始SQL查询，数据库第一模式

我的项目模型是数据库优先，并使用远程访问另一台服务器上的数据库。我需要使用原始SQL查询，因为我的查询非常复杂，我感觉在SQl中更舒服而不...

asp.net-mvc razor lazy-evaluation rawsql

回答 1 投票 5

R保留列表循环中的最后一个变量的奇怪行为？

当我创建一个循环来将函数包装在列表中时，输入列表中的最后一个函数总是用于所有包装调用。包装纸

r functional-programming lazy-evaluation

回答 1 投票 5

Django：在编写翻译的字符串时保持延迟翻译

在Django中，我很高兴使用ugettext_lazy来推迟字符串的翻译，只有在需要它的表示时。问题是，当我将一个惰性字符串连接到普通字符串或...

django internationalization translation gettext lazy-evaluation

回答 1 投票 6

F＃中懒惰的表现

为什么Lazy类型的创建如此之慢？假设以下代码：type T（）= let v = lazy（0.0）member o.a = v.Value type T2（）= member o.a = 0.0 #time“on”for i in 0 .. 10000000 do T（...

performance f# lazy-evaluation

回答 2 投票 3

Clojure：减少大型懒惰收集会占用内存

我是Clojure的新手。我有以下代码，它创建了一个无限懒惰的数字序列:(定义生成器[种子因子]（降低1（缩减（fn [acc _]（mod（* acc因子）...

performance memory clojure sequence lazy-evaluation

回答 3 投票 1

在lazyeval中使用二元运算符调用rlang

假设我想使用dplyr和标准评估为列的每个值添加1。我可以做：库（dplyr）数据

r dplyr lazy-evaluation rlang standard-evaluation

回答 1 投票 1

enquo（）在magrittr管道中

我只是想了解这里出了什么问题。在第一种情况下（工作），我将enquo（） - ted参数赋给变量，在第二种情况下，我直接在我的...中使用了enquoted参数。

r dplyr lazy-evaluation rlang tidyeval

回答 1 投票 3

保存说明以供以后评估，可能吗？

我想保存关于如何在以后确定值的“指令”，而不是在当前时间保存实际值。这甚至可能吗？一个简单的C＃示例：int [] myArray = ...

c# lazy-evaluation evaluation delayed-execution

回答 2 投票 -2

角度嵌套路由

我有这个项目：主要路线：const路线：路线[] = [{路径：'登录'，loadChildren：'app / login / login.module＃LoginModule'}，{路径：'仪表板'，...

angular load router lazy-evaluation

回答 1 投票 0

通过Clojure和JDBC将5,000,000行移动到另一个Postgresql DB

我试图从一个Postgre数据库移动5,000,000行到另一个。两个连接都在Hikari CP连接池中。我经历了很多文档和帖子。它给我留下了代码......

java postgresql jdbc clojure lazy-evaluation

回答 2 投票 3

懒人加载图片如何

我正在开发一个eshop。基于类别的产品页面我推出了一些基于javascript的过滤。但是，如果某个类别包含大量产品，则会出现问题。这个链接有类似的东西我...

javascript html css lazy-loading lazy-evaluation

回答 6 投票 11

R - 非线性回归（nls）和多项式相互作用（poly）

如果我明确定义参数（在下面的例子中为“a”和“b”），我可以在R处运行nls回归。但是，如何在...中使用通用数量的变量/更高的degress编码nls？

r lazy-evaluation nls

回答 2 投票 1

分解Eigen3临时值以提高计算速度

我很抱歉提出关于Eigen3的优化计算方案的一般性问题。让我们假设我们拥有两个Eigen3矩阵，M和N.想象一下，我们需要计算以下内容：Eigen :: Matrix＆...

c++11 optimization lazy-evaluation eigen eigen3

回答 1 投票 2

view :: c_str是否存在view :: split的问题？

鉴于auto cstr =“quick brown fox”;我们有一组适配器只是为了分割单词然后尝试将它们显示为格式化范围。 auto adapters = ranges :: view :: split（''）|范围::视图::所有;如果...

c++ lazy-evaluation range-v3

回答 1 投票 3

什么是“按名称呼叫”？

我正在做一个家庭作业，我们被要求以我们开发的某种语言（使用Scheme）实施名为“按名称呼叫”的评估策略。我们在...中给出了一个例子

scala scheme lazy-evaluation evaluation

回答 3 投票 15

如何在严格评估的语言中实现保护递归？

我在Javascript中实现了Scott编码的List类型以及模拟Semigroup类型类的重载append函数。追加工作得很好但是对于大型列表它会炸掉堆栈。 ...

javascript haskell recursion lazy-evaluation tail-recursion

回答 1 投票 6

lazy-evaluation 相关问题

最新问题