- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我已经开始着手解决 Project Euler Problem #2 的 Shapeless 解决方案.
我可以将所有偶数的谎言加在一起,直到 Nth
即使是使用此代码的人:
import shapeless._, nat._, ops.nat.Sum
trait Fibonacci[N <: Nat] { type Out <: Nat }
object Fibonacci {
type Aux[N <: Nat, Out0 <: Nat] = Fibonacci[N] { type Out = Out0 }
def apply[N <: Nat](i: Nat)(implicit fib: Aux[i.N, N], n: Witness.Aux[N]):N = n.value
implicit val fib0 = new Fibonacci[_0] { type Out = _2 }
implicit val fib1 = new Fibonacci[_1] { type Out = _3 }
implicit def fibN[I <: Nat, L <: Nat, M <: Nat](implicit l: Aux[I, L],
m: Aux[Succ[I], M],
sum: Sum[L, M]) =
new Fibonacci[Succ[Succ[I]]] { type Out = sum.Out }
}
trait Fibs[N <: Nat] { type Out <: Nat }
object Fibs {
type Aux[N <: Nat, Out0 <: Nat] = Fibs[N] { type Out = Out0 }
def apply[N <: Nat](i: Nat)(implicit fibs: Aux[i.N, N], n: Witness.Aux[N]):N = n.value
implicit def fibs0(implicit f: Fibonacci[_0]) = new Fibs[_0] { type Out = f.Out }
implicit def fibsN[N <: Nat, R <: Nat, Z <: Nat](implicit fib: Fibonacci.Aux[Succ[Succ[Succ[N]]], R],
fibs: Aux[N, Z],
sum: Sum[R, Z]) =
new Fibs[Succ[N]] {
type Out = sum.Out
}
}
val (evenFibs0, evenFibs1) = (Fibs(0), Fibs(1))
typed[_2](evenFibs0)
typed[_10](evenFibs1)
takeWhile
的功能,所以我可以编写一个接受
limit
的函数并返回条款不超过该限制的偶数 fib 的总和。有任何想法吗?
trait EvenFibsWithLimit[N <: Nat, M <: Nat] { type Out <: Nat }
trait LowPriorityFibs3 {
type Aux[N <: Nat, M <: Nat, Out0 <: Nat] = EvenFibsWithLimit[N, M] { type Out = Out0 }
implicit def fibs0[M <: Nat] = new EvenFibsWithLimit[_0, M] { type Out = _0 }
implicit def fibsGT[N <: Nat, M <: Nat, O <: Nat](implicit f: EvenFibsWithLimit[N, M],
fib: Fibs.Aux[N, O],
l: ops.nat.LT[M, O]) = f
}
object EvenFibsWithLimit extends LowPriorityFibs3 {
def apply[N <: Nat, O <: Nat](limit: Nat)(implicit fibs: Aux[N, limit.N, O],
o: Witness.Aux[O]): O = o.value
implicit def fibsN[N <: Nat, M <: Nat, O <: Nat](implicit f: EvenFibsWithLimit[N, M],
f2: Fibs.Aux[Succ[N], O],
d: ops.nat.Diff[M, O]) =
new EvenFibsWithLimit[Succ[N], d.Out] {
type Out = O
}
}
Diff
根本......我也尝试了一些其他的变化,但我一直被卡住。当我编译时,我收到错误
diverging implicit expansion for fibsN.
HList
我的
Fibs
,并使用
Selector
使用谓词类型类来模拟
takeWhile
.想法?
最佳答案
我发现解决此类问题的最佳方法是在思考我需要跟踪的信息的同时逐步遍历自然数。
在纸上,我会使用这样的东西:
N 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
C 1 2 3 3 5 5 5 8 8 8 8 8 13 13 13
P 1 1 2 2 3 3 3 5 5 5 5 5 8 8 8
L 0 2 2 2 2 2 2 10 10 10 10 10 10 10 10
C
跟踪斐波那契数列中的当前数字——即小于或等于
N
的最大的一个.
P
是之前的斐波那契数,而
L
是我们目前看到的偶数的当前总和。
import shapeless._, ops.nat.{ Mod, Sum }, nat.{ _0, _1, _2 }
trait EvenFibs[N <: Nat] {
type L <: Nat
type C <: Nat
type P <: Nat
}
trait LowPriorityEvenFibs {
type Aux[N <: Nat, L0 <: Nat, C0 <: Nat, P0 <: Nat] = EvenFibs[N] {
type L = L0
type C = C0
type P = P0
}
implicit def ef3[N <: Nat](implicit
ef: EvenFibs[N]
): Aux[Succ[N], ef.L, ef.C, ef.P] = new EvenFibs[Succ[N]] {
type L = ef.L
type C = ef.C
type P = ef.P
}
}
Succ[N]
就是这种情况不是斐波那契数。它不需要我们更新我们正在跟踪的任何值。下一个案例稍微复杂一点:
trait MidPriorityEvenFibs extends LowPriorityEvenFibs {
implicit def ef2[N <: Nat, L0 <: Nat, PP <: Nat, P0 <: Nat](implicit
ef: Aux[N, L0, P0, PP],
sum: Sum.Aux[PP, P0, Succ[N]]
): Aux[Succ[N], L0, Succ[N], P0] = new EvenFibs[Succ[N]] {
type L = L0
type C = Succ[N]
type P = P0
}
}
Succ[N]
就是这种情况是奇数斐波那契数。在这种情况下,我们需要更新
C
和
P
,但不是
L
.
Succ[N]
案例是
Succ[N]
是偶数斐波那契数。我将在这里给出基本案例:
object EvenFibs extends MidPriorityEvenFibs {
implicit def ef0: Aux[_0, _0, _1, _1] = new EvenFibs[_0] {
type L = _0
type C = _1
type P = _1
}
implicit def ef1[N <: Nat, L <: Nat, PP <: Nat, P0 <: Nat](implicit
ef: Aux[N, L, P0, PP],
sum: Sum.Aux[PP, P0, Succ[N]],
mod: Mod.Aux[Succ[N], _2, _0],
current: Sum[Succ[N], L]
): Aux[Succ[N], current.Out, Succ[N], P0] = new EvenFibs[Succ[N]] {
type L = current.Out
type C = Succ[N]
type P = P0
}
def apply[N <: Nat](implicit ef: EvenFibs[N]): Aux[N, ef.L, ef.C, ef.P] = ef
}
class ComputeHelper[N <: Nat] {
def value[L <: Nat, C <: Nat, P <: Nat](implicit
ef: EvenFibs.Aux[N, L, C, P],
wit: Witness.Aux[L]
): L = wit.value
}
def compute[N <: Nat]: ComputeHelper[N] = new ComputeHelper[N]
test.typed[_0](compute[_0].value)
test.typed[_0](compute[_1].value)
test.typed[_2](compute[_2].value)
test.typed[_2](compute[nat._3].value)
test.typed[_2](compute[nat._4].value)
test.typed[_2](compute[nat._5].value)
test.typed[_2](compute[nat._6].value)
test.typed[_2](compute[nat._7].value)
test.typed[nat._10](compute[nat._8].value)
test.typed[nat._10](compute[nat._9].value)
关于用于 Euler 项目 #2 的 Scala 无形代码,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31615371/
我尝试理解[c代码 -> 汇编]代码 void node::Check( data & _data1, vector& _data2) { -> push ebp -> mov ebp,esp ->
我需要在当前表单(代码)的上下文中运行文本文件中的代码。其中一项要求是让代码创建新控件并将其添加到当前窗体。 例如,在Form1.cs中: using System.Windows.Forms; ..
我有此 C++ 代码并将其转换为 C# (.net Framework 4) 代码。有没有人给我一些关于 malloc、free 和 sprintf 方法的提示? int monate = ee; d
我的网络服务器代码有问题 #include #include #include #include #include #include #include int
给定以下 html 代码,将列表中的第三个元素(即“美丽”一词)以斜体显示的 CSS 代码是什么?当然,我可以给这个元素一个 id 或一个 class,但 html 代码必须保持不变。谢谢
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 7 年前。
我试图制作一个宏来避免重复代码和注释。 我试过这个: #define GrowOnPage(any Page, any Component) Component.Width := Page.Surfa
我正在尝试将我的旧 C++ 代码“翻译”成头条新闻所暗示的 C# 代码。问题是我是 C# 中的新手,并不是所有的东西都像 C++ 中那样。在 C++ 中这些解决方案运行良好,但在 C# 中只是不能。我
在 Windows 10 上工作,R 语言的格式化程序似乎没有在 Visual Studio Code 中完成它的工作。我试过R support for Visual Studio Code和 R-T
我正在处理一些报告(计数),我必须获取不同参数的计数。非常简单但乏味。 一个参数的示例查询: qCountsEmployee = ( "select count(*) from %s wher
最近几天我尝试从 d00m 调试网络错误。我开始用尽想法/线索,我希望其他 SO 用户拥有可能有用的宝贵经验。我希望能够提供所有相关信息,但我个人无法控制服务器环境。 整个事情始于用户注意到我们应用程
我有一个 app.js 文件,其中包含如下 dojo amd 模式代码: require(["dojo/dom", ..], function(dom){ dom.byId('someId').i
我对“-gencode”语句中的“code=sm_X”选项有点困惑。 一个例子:NVCC 编译器选项有什么作用 -gencode arch=compute_13,code=sm_13 嵌入库中? 只有
我为我的表格使用 X-editable 框架。 但是我有一些问题。 $(document).ready(function() { $('.access').editable({
我一直在通过本教程学习 flask/python http://blog.miguelgrinberg.com/post/the-flask-mega-tutorial-part-i-hello-wo
我想将 Vim 和 EMACS 用于 CNC、G 代码和 M 代码。 Vim 或 EMACS 是否有任何语法或模式来处理这种类型的代码? 最佳答案 一些快速搜索使我找到了 this vim 和 thi
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 想改进这个问题?更新问题,使其成为 on-topic对于堆栈溢出。 7年前关闭。 Improve this
这个问题在这里已经有了答案: Enabling markdown highlighting in Vim (5 个回答) 6年前关闭。 当我在 Vim 中编辑包含 Markdown 代码的 READM
我正在 Swift3 iOS 中开发视频应用程序。基本上我必须将视频 Assets 和音频与淡入淡出效果合并为一个并将其保存到 iPhone 画廊。为此,我使用以下方法: private func d
pipeline { agent any stages { stage('Build') { steps { e
我是一名优秀的程序员,十分优秀!