标签: purely-functional

#include<vector>
using namespace std;
vector<int> cache;
int fibonacci(int n)
{
    if(n<=0)
        return 0;
    if(cache.size()>n-1)
        return cache[n-1];
    int res;
    if(n<=2)
        res=1;
    else
        res=fibonacci(n-1)+fibonacci(n-2);
    cache.push_back(res);
    return res;
}

Run Code Online (Sandbox Code Playgroud)

但它依赖于榆树不允许的副作用.

purely-functional elm

use*_*963

lucky-day

7
推荐指数

1
解决办法

507
查看次数

"错误"功能的存在如何影响Haskell的纯度？

我一直想知道Haskell异常系统如何适应整个"纯函数式语言"的东西.例如,请参阅下面的GHCi会话.

GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
Prelude> head []
*** Exception: Prelude.head: empty list
Prelude> :t head
head :: [a] -> a
Prelude> :t error
error :: [Char] -> a
Prelude> error "ranch"
*** Exception: ranch
CallStack (from HasCallStack):
  error, called at <interactive>:4:1 in interactive:Ghci1
Prelude>

Run Code Online (Sandbox Code Playgroud)

头的类型是[a] - > a.但是当你在空列表的特殊情况下调用它时,你会得到一个例外.但是类型签名中没有考虑此异常.

如果我没记错的话,在模式匹配过程中出现故障时,情况类似.类型签名所说的并不重要,如果你没有考虑到每种可能的模式,你就有可能抛出异常.

我没有一个简明扼要的问题要问,但我的头脑正在游泳.将这个奇怪的异常系统添加到其他纯粹优雅语言的动机是什么？它仍然是纯净的,但我只是缺少一些东西？如果我想利用这个异常功能,我将如何去做(即如何捕获和处理异常？还有什么我可以用它们做的吗？)例如,如果我编写使用它的代码"头"功能,当然我应该采取预防措施,以一个空列表以某种方式走私自己的情况.

error-handling haskell functional-programming exception purely-functional

The*_*kle

lucky-day

7
推荐指数

1
解决办法

369
查看次数

F#UnitTesting函数有副作用

我是刚刚开始学习F#的C#dev,我对单元测试有一些疑问.假设我想要以下代码:

let input () = Console.In.ReadLine()

type MyType= {Name:string; Coordinate:Coordinate}

let readMyType = 
   input().Split(';') 
   |> fun x -> {Name=x.[1]; Coordinate = {
   Longitude = float(x.[4].Replace(",",".")) 
   Latitude =float(x.[5].Replace(",","."))
   }}

Run Code Online (Sandbox Code Playgroud)

您可以注意到,有几点需要考虑:

readMyType调用input()并带有副作用.
readMyType假设字符串读取很多东西(包含';'至少6列,有些列浮动',')

我认为这样做的方法是:

注入input()func作为参数
试着测试我们得到的东西(模式匹配？)
使用NUnit作为解释这里

说实话,我只是在努力找到一个向我展示这个例子的例子,以便学习F#中的语法和其他最佳实践.所以,如果你能告诉我一条非常棒的道路.

提前致谢.

f# unit-testing side-effects purely-functional

Ced*_*and

lucky-day

7
推荐指数

1
解决办法

169
查看次数

在阅读 Haskell 教科书中关于不同 monad 的章节时，当作者从解释bind和 monad 定律的细节到实际使用 monad时，我反复迷路。突然，诸如“在 monadic 上下文中运行函数”或“运行 monad”之类的表达出现了。同样，在库文档和关于 monad 转换器堆栈的讨论中，我读到一些函数“可以在任何选择的 monad 中运行”的声明。这个“在 monad 中运行”到底是什么意思？

有两件事我似乎不太明白：

monad 是具有函数 ( return, >>=) 和定律的类型类。因此，在 monad 中“运行”某些东西可能意味着 (a) 将其作为参数提供给return，或 (b) 使用>>=. 如果 monad 是 type m a，那么在 a) 的情况下，某些东西必须是 type a，以匹配return函数的类型。如果 b)某事必须是 type 的函数a -> m b，以匹配函数的类型>>=。由此，我不明白如何在任意 monad 中“运行”某个函数，因为我排序使用的函数>>=都必须具有相同的类型签名，并且我使用的值return必须是特定的 monad 类型参数。
在我的理解中，没有在函数式语言中执行或运行计算的概念——只有函数应用到某个参数，并评估函数（用它的值替换它）。然而，许多具体的单子都配备了run …