imperative-programming

3热度

3回答

'is/2'Prolog谓词是如何实现的？我知道 X is 3*4 相当于与 is(X, 3*4) 不过是使用命令式编程实现的谓语？换句话说，是否与以下C代码等价？ if(uninstantiated(x)) { X = 3*4; } else { //signal an error } 还是它使用声明性编程和其他谓词来实现？

8热度

3回答

与查表

更换功能我一直在看this MSDN video with Brian Beckman，我想更好地了解的东西，他说：每imperitive程序员经过得知功能可以通过查表来代替这一阶段现在，我是一个从未上过大学的C＃程序员，所以也许我错过了其他人学会理解的东西。是什么布赖恩意思：功能可以通过查表来代替是否有正在做的这个实际例子和它适用于所有的功能呢？他给出了我可以理解的罪恶功能的例子，但

4热度

5回答

翻译简单势在必行算法功能的风格

我最近做了一个小的算法来从一个代码片段剔除函数参数和只保留最外层的功能。我发现这个算法是非常容易设计的一种必要的方式。但是，我真的对函数式编程感兴趣，我想知道如何以功能的方式完成同样的事情。这将是对我很大的帮助，如果你能告诉我这种算法可能是如何工作的，所以我可能会如何函数式编程作品一个更好的主意。另外，我想知道您在设计算法时的思维过程。我在Python作出的必要的版本，但你的答案并不一定要

4热度

3回答

具有静态，结构类型和全局类型推断的命令式语言

我知道像Haskell这样的语言是静态类型化的并且具有类型推断。但是有没有非函数式语言具有全局类型推断，相当于C类型的推理和结构类型。

2热度

6回答

执行之间的循环迭代

代码假设你通过3个元素这样想循环： for(int i=0; i<3; i++) { doSomething(); } 当然，这是相同的话说：doSomething(); doSomething(); doSomething();。现在，让我们说你想要做的事每个迭代之间，如如果你是这样的编码： doSomething(); doBetween(); doSomething();

4热度

1回答

具有多个文件的记录的可变字段

我正在处理多个文件，并且我遇到了一个可变字段的问题。在file1.ml，我宣布： type mytype = { mutable numbers : int list; } 所以，在file2.ml，我有型MYTYPE的元素。但是，当我试图使： myElement.numbers 将返回以下错误：错误：未绑定的记录字段标签号码。谢谢，任何帮助，欢迎。

-2热度

1回答

强制编程和函数式编程的效率

我对IP和FP的性能有疑问。假设我有一个函数来计算第n个斐波纳契数。在命令式编程中，我可以选择使用迭代方式，递归或动态编程来计算第n个斐波那契数。当然迭代方法和动态编程相比于递归渐近地执行会更好。在函数式编程中，假设没有涉及状态，那么我只能用递归方式来做。在这种情况下，这并不意味着函数式编程在效率（渐近）方面总是与命令式编程相比相等或更慢？现实世界函数式编程如何处理这个问题？

4热度

1回答

将一个表“增长”的命令式算法转换为纯函数

我用Python 3编写的程序有许多地方，它以一个（非常大的）类似于表的数字数据结构开始，并在某些算法。（这个算法在每个地方都不一样）。我试图将它转化为纯粹的函数式方法，因为我遇到了命令式方法的问题（难以重用，难以记忆临时步骤，很难实现“懒惰”计算，由于依赖状态而容易出错等）。 Table该类实现为词典的词典：外部词典包含行，索引为row_id;内部包含一行内的值，由column_title索

1热度

2回答

命令式编程范例是否必须符合前向声明规则？

在我的语言编程课程考试中有这个问题：下一个程序是否在命令式编程中有效？ int a = 0; z = a + 2; int z = 3; 未被指定或语法，语法或任何额外的东西。我的回答是YES，因为最终可能会有语言，语法和语法设计，因为这些语言是有效的，并且没有声明它，并在以后重新声明。我的成绩是0.0，但我仍然觉得不公平。可以帮助澄清这个问题？谢谢。

-2热度

1回答

在函数式编程中究竟是'怎么做，怎么做'或'关注结果，而不是步骤'

我很难理解'不要去想怎么做，但要做什么'（注重结果，而不是步骤）在函数式编程中。假设我们有一种语言把函数当作一等公民，并且没有内置的迭代函数（比如Scala中的forAll）。在那种情况下，我们首先必须创建一个函数，告诉如何迭代给定的数据结构，而不是我们？因此，如果它自己的语言不能提供足够的功能，那么除了具有一等公民的功能之外，它与编写命令式的编程方式大致相同吗？如果我错了，请纠正我。以下是我提