函数式程序是否已经以SSA形式存在？

文章/答案/技术大牛

发布

1回答

optimization、functional-programming、compiler-construction、immutability、ssa

最近，我一直想创建一个小型的(有教育意义的)函数式优化编译器。对于优化部分，我想使用SSA。事情是这样的(据我所知，大多数)函数式编程语言都有不可变的变量(默认情况下)，所以每个变量只赋值一次，就像SSA一样。是否需要SSA？函数式程序(例如，在Haskell中)是否已经以SSA形式存在？

浏览 16提问于2020-10-15得票数 2

回答已采纳

1回答

把IR转换成Z3公式？

我有一些IR代码，这个代码已经以SSA形式出现了。现在，我正在尝试将此代码转换为SMT公式，然后将其提供给Z3进行一些验证。我有一些问题：非常感谢！

浏览 2提问于2012-12-21得票数 4

回答已采纳

1回答

不以矩阵形式写出多项式的根

function、matlab

有什么方法可以在MATLAB中找到多项式的根，而不是矩阵形式的，？我知道，要找到多项式的根(例如，p(x) =x^2.2-4)，我应该做以下工作：r = roots(p) 我想知道的是，在我的matlab代码中，是否有某种方法可以找到函数的根(例如p(x) = x^.2 - 4)已经以多项式形式(而不是矩阵形式)存在？

浏览 9提问于2022-11-09得票数 1

回答已采纳

1回答

SSA表单在多大程度上允许非平凡复制的类型？

c++、llvm、ssa

我一直在研究使用SSA指定的IR代码-特别是，以这种形式生成LLVM IR。然而，我很困惑，当提供一个具有非平凡复制语义的类型时，这是否有效。; some_other_function(s1);在这种SSA形式中，至少在最明显的层面上，这导致了一堆糟糕的副本(即使对于C++也是如此)。即使对于具有非平凡的复制/赋值/等语义

浏览 3提问于2012-06-09得票数 0

回答已采纳

3回答

将命令式代码转换为函数代码

functional-programming、code-translation、compiler-construction

我需要写一个程序，它将把命令式代码转换为纯函数风格。我不担心I/O --我有一些解决方案--但我确实需要处理堆对象和局部变量。我想这可以通过在每次函数调用和返回时传递一个TheWorld对象，然后从那里优化，尝试从不使用该参数的函数中删除它，等等。但是有没有更好的方法呢？

浏览 0提问于2011-07-07得票数 14

回答已采纳

1回答

如何验证CharSequence实例是否是Unicode标量值序列？

java、unicode、utf-16、charsequence、surrogate-pairs

我需要确定这个实例是否是一个序列(也就是说，该实例是否采用UTF-16编码形式)。尽管有java.lang.String的保证，但Java不一定以UTF-16编码形式(至少根据最新的 (目前为6.2) )编码，因为它可能包含孤立的。(但是，Java是一个。)有几种明显的方法可以做到这一点，包括：通过 (即 )传输字符序列。然而，似乎像这样的东西已经作为库函数<

浏览 2提问于2013-04-04得票数 4

回答已采纳

2回答

为什么kotlin引入了“全局表示法”‘`listOf()’而不是静态工厂`List.of()‘函数？

kotlin、language-design

要在Kotlin中创建集合，我们可以使用listOf()/mapOf()/arrayOf()工厂函数。这些函数是用“全局表示法”定义的，相对于Java的静态工厂表示法：List<>.of()。Kotlin的方式看起来很糟糕--函数的名称被隐式绑定到它们返回的类型。这与Kotlin的明确观点相矛盾。我已经读过了，但是答案并不令人满意--没有任何信息说明它为什么以它的形式存在，它比简单的静态工厂式方法有什么

浏览 1提问于2020-11-16得票数 0

回答已采纳

2回答

运行时是否通常使用函数式语言代码的命令式解释

haskell、functional-programming、ocaml、interpreter、imperative-programming

关于函数式语言的解释器，我有一个一般性的问题：在运行时使用函数式语言与命令式语言(或者使用解释器)相比，实际上有什么优势吗？

浏览 0提问于2012-06-20得票数 5

回答已采纳

2回答

为什么三元没有编译到相同的程序集中呢？

c、ternary-operator

您可以看到从和创建的程序集。编译器难道不知道它们是等价的，而且其中一个更快吗？他们之所以有不同的程序集是因为他们的速度是完全一样的，而他们之间唯一的区别是操作的顺序？我想知道这种差异是否是由静态分支预测引起的。在用__builtin_expect做实验之后，我相信答案是否定的。

浏览 2提问于2018-05-29得票数 3

回答已采纳

1回答

Fortran编译器的中间代码生成: DAG或quadruples

c、compiler-construction、compiler-optimization、intermediate-language、intermediate-code

到目前为止，我已经完成了词法和语法分析。我正在进行类型检查的语义分析，现在我必须选择一个IR。我的目标机器是MIPS。所以我想要基于MIPS IAS的最终代码生成。所以一个好的IR，我相信是四倍。

浏览 20提问于2014-03-14得票数 0

4回答

使用函数式编程语言的电子表格

functional-programming、spreadsheet

我想知道是否存在使用现有函数式编程语言来定义函数的电子表格应用程序。谢谢

浏览 0提问于2009-12-24得票数 15

回答已采纳

2回答

LLVM红外配准指令

llvm、llvm-ir

我想为我的玩具编译器设计一个IR (像LLVM )，我不知道进一步分析alloca指令的目的是什么。在哪些优化中使用alloca信息？

浏览 2提问于2017-08-04得票数 16

1回答

如何准确地运行程序的一个实例。或如何测试特定的运行程序。

process

如何以进程的形式准确地运行程序的一个实例？或者，如何测试是否存在运行中的程序？首选便携式方法。

浏览 0提问于2020-03-01得票数 0

回答已采纳

2回答

序列化模型属性以进行同步的Backbone.js

php、javascript、backbone.js

我正在尝试将包含嵌入式集合的相当复杂的模型保存回关系数据库。由于嵌入的集合，返回到服务器的数据包含对象，这是足够公平的。然而，我正在一个已经存在的应用程序之上构建主干应用程序，并且必须以标量形式返回值，以便能够重用服务器端代码。最好的是什么，我正在考虑覆盖模型的toJSON函数，但我真的觉得它不应该这样做。

浏览 1提问于2011-06-27得票数 4

回答已采纳

1回答

专业开发人员的基本语言范式

programming-languages、paradigms

程序员开始学习一种主要是命令式/过程性的编程模式，并且可能在那之后不久就学会了某种形式的面向对象编程。我已经阅读了大量关于堆栈溢出的问题，这表明函数式编程对于改进并发/并行性越来越重要。此外，程序员应该学习许多范例，以提高他们的技能，拓宽他们的视野。哪些其他范例(以及使用它的语言)对开发技能有真正的帮助？

浏览 5提问于2010-07-22得票数 2

1回答

实体框架隐式类型转换

c#、entity-framework、type-conversion

示例：2016-426013public class AccountNumber public int Year {get; set; } public int Checksum { get; set; }现在，在我的应用程序中，我更愿意处理这个漂亮的对象但是在数据库中，它几乎必须以字符串的形式

浏览 2提问于2016-02-28得票数 2

回答已采纳

2回答

如何防止我的应用程序反复启动

c#、notifyicon

我正在创建的应用程序包括一个通知图标，并且它以一种在后台保持活动的方式(好吧，某种程度上)。问题是，当用户单击我的应用程序的图标时，该应用程序将再次启动，因此我有两个通知图标和两个后台活动，以及其中的两个。如果用户再次单击该图标，将会出现三种情况，并且......所以我应该阻止这一切。我有一个想法，设置一个标志并将它的值设置为注册表，当我的应用程序想要启动时，在form load事件中，通过读取该值，终止应用程序。但我想要一个更...专业的方式来处理它。例如，根本没有启动。

浏览 0提问于2013-03-03得票数 1

回答已采纳

1回答

R:函数的形式存储在内存中的什么地方？

r、scope、arguments、function-definition

当函数已定义但尚未调用时，是否存在无默认值的形式？如果它们存在，那么它们是存在于执行环境中，还是存在于函数定义所在的环境中，还是存在于其他地方？如果已经定义了一个函数，但还没有调用，并且已经为formal分配了一个默认值，那么该值是否存在？如果有，它存在于什么环境中？如果默认表达式的计算结果是一个常量，是否已将

浏览 0提问于2018-04-29得票数 4

2回答

提供厨师时的提示

vagrant、chef-infra、perforce

我正在编写的一本Chef cookbook的一部分是configuring perforce，它要求用户输入他们的密码(以免他们以明文形式将其保存在"attributes“文件中)。是否可以使用交互式提示符中断配置？

浏览 1提问于2014-07-30得票数 4

1回答

关于C作为中间语言的几个问题

c、compiler-construction、intermediate-language

我现在正在编写一种编译成C的语言，当我说IL时，我的意思是用C编写代码，然后由另一个c编译器生成程序集，例如gcc或clang。我生成的C代码，是否更有益于：哪种联系在一起形成了以下问题..。是否值得进

浏览 3提问于2016-10-01得票数 2

回答已采纳

点击加载更多