代码之家 › 专栏 › 技术社区 › Tuomas Hietanen

非类型化无穷大

lazylist infinity infinite-loop functional-programming f#

Tuomas Hietanen · 技术社区 · 15 年前

我想知道为什么f-sharp不支持无穷大。

这在Ruby中有效(但在F中无效):

let numbers n = [1 .. 1/0] |> Seq.take(n)

->System.DivideByZeroException:试图除以零。

我可以用非常复杂的方式编写相同的功能:

let numbers n = 1 |> Seq.unfold (fun i -> Some (i, i + 1)) |> Seq.take(n)

&作品

不过,我认为第一个问题会更清楚。我找不到任何简单的方法来使用f_中动态类型的无穷大。有Infinity关键字,但它是float:

let a = Math.bigint +infinity;;

System.OverflowException:BigInteger不能表示无穷大。 at system.numerics.biginteger..ctor(双值) 地址:$fsi_.main@() 由于错误而停止

编辑:这似乎也适用于迭代:

let numbers n = Seq.initInfinite (fun i -> i+1) |> Seq.take(n)

2 回复 | 直到 11 年前

Kurt Schelfthout 15 年前

let numbers n = seq { 1. .. 1./0. } |> Seq.take(n)

Stephen Swensen 14 年前

inline +

let inline infiniteRange start skip = 
    seq {
        let n = ref start
        while true do
            yield n.contents
            n.contents <- n.contents + skip
    }

//val inline infiniteRange :
//   ^a ->  ^b -> seq< ^a>
//    when ( ^a or  ^b) : (static member ( + ) :  ^a *  ^b ->  ^a)

推荐文章

Amit Saha · Java Stream iterate在检查奇偶时不使用谓词

2 年前

nanounanue · 使用python和高级操作符的函数管道

7 年前

Zazaeil · 这个特定的递归可以用尾部优化的方式重写吗?

7 年前

Ben2209 · 将methodcaller和attrgetter与排序

7 年前

corvid · 使用ramda通过变量进行升序/降序

7 年前

OddDragon · Java8:使用IntStream作为自定义收集器的供应商参数

7 年前

MichaÅ Å rajer · 将int列表折叠到kotlin中的范围列表

7 年前

Saravana Kumar M · 如何使用java 8 streams和lambdas迭代并处理其值为元素列表的映射的值

7 年前

CodingNow · Scala:如何制作多种方法并逐一应用?

7 年前

Saber · 在使用流时,使用多个map()会比在单个map()中聚合所有逻辑花费更多的时间吗?

7 年前