我正在学习本杰明·皮尔斯的“类型和编程语言”一书中的练习。在其中的一个练习中，我必须证明一些自制的编程语言(在皮尔斯的练习中是Imp)，证明一个特定的hoare三元组是有效的。我几乎已经完成了这个证明，但是我不得不证明下面的代码是有效的st X <= st Y，其中st是某个状态，st X返回一个存储在该状态中Id X的值。我的假设如下：H : (st X <=? st</
浏览 17提问于2017-12-11得票数 0
回答已采纳
我目前正在评估下一步可以选择学习哪些强类型的服务器端语言。我的背景主要是php开发(oop)。我正在关注强类型语言，因为我认为这是php的一个主要缺点(有时也是一个优点)。我知道C#和Java (JSP/Servlets)都是一种选择，但是我想考虑我还没有研究过的其他语言。我主要是从职业观点来考虑这一点，所以选择一门正在消亡或需求很低的语言(现在或将来)是没有意义的。
浏览 2提问于2010-06-23得票数 1
回答已采纳
4回答
我已经开始使用结构化文本编程逻辑控制器(PLC)。我的背景是IT或计算机科学。所以我习惯了传统的编程语言如Java，C#等.我刚意识到PLC需要一个不同的思维方式。理解扫描周期.能给我更清楚地解释下一段我读了
ST语言与传统编程语言的一个重要区别是程序流控制的本质。ST程序将从开始运行到结束，每秒钟运行多次。一个传统的程序不应该到达终点，直到它完全完成。
浏览 5提问于2015-05-26得票数 1
因此，我是PLC编程的新手，我来自传统的面向对象编程背景。我习惯了编程语言，有关于如何使用这些语言的指南/参考，但我在网上找不到任何现成的。我想在结构化文本中使用方法对此PLC进行编程，但我不知道如何进行。有没有办法用ST写一个方法？
浏览 4提问于2016-06-09得票数 2
1回答
关于无限矩阵的重写
、、、
对于指定这些无限矩阵，我们将有一些数学案例，如：因此，矩阵的可视化表示将类似于：例如，假设我们想为这个例子找到A+ A‘。在这里，我们的情况改变了，所以我们需要重写这些案例来获得期望的输出，对吗？我知道Mathematica是这样做的，但我如何实现呢？是的，这太笼统了，所以让我问一些问题； #This functi
浏览 4提问于2020-11-23得票数 3
回答已采纳
这可能只是一种风格上的选择，但我想知道以下代码之间是否存在编程差异……(在python中，但适用于大多数语言)arg = A if condition else B案例2： result = func(A) result = func(B)
这两者之间的选择有没有行业标准？有编程上的不同吗？
浏览 0提问于2016-09-30得票数 0
我正在尝试将列表ConnectedAtoms分配给新创建的server_st记录中的列表connectedatom。但是我得到了一个不匹配的错误。 IsConnected = funcs:hasElem(St#server_st.connectedatoms,Atom),#server_st.connectedatoms ++ [Atom],
St = #s
浏览 1提问于2014-02-14得票数 2
38回答
了解汇编程序的理由之一是，有时可以使用它来编写比用更高级语言编写代码更具有性能的代码，特别是C语言。然而，我也多次听到它指出，虽然这并不完全是错误的，但是汇编程序可以使用实际使用来生成更高性能的代码的情况是非常罕见的，并且需要具有组装方面的专家知识和经验。这个问题甚至没有进入汇编程序指令将是特定于机器和不可移植的事实，或汇编程序的任何其他方面。当然，除了这个程序集之外，还有很多很好的理由来了解程序集，但这是一个具体的问题，它涉及示例和数据，而不是关于汇编语言和高级<em
浏览 41提问于2009-02-23得票数 503
回答已采纳
WIKI：
var MyPromise = GetPromise(); //first statementGetPromise()
.then(f
浏览 5提问于2017-06-27得票数 2
解释为什么它被用于一个特定的解决方案，而不是其他编程语言，也将是非常感谢的。
列出不好的Erlang案例研究( Erlang被滥用的案例)也会很有趣。
浏览 9提问于2009-10-28得票数 276
回答已采纳
2回答
就像我用C语言做str[0] = a和str[1] = b一样，它是用C语言编写的内联汇编程序。char str[] = "9999\n"; inb b = 1; //replace 1st element of str with ahere : "=r" (str)
浏览 0提问于2017-04-05得票数 0
2回答
欧姆龙ST语言和西门子S7 SCL (变量的定义，编辑器，语法)有什么区别？我知道他们都声称通过IEC 61131-3标准。
有哪些欧姆龙编程套件，并且支持结构化语言？
浏览 17提问于2014-11-27得票数 1
我有一个案例，我想让一个已经存在的UIButton不响应，并基本上充当一个UILabel。有没有人知道更好的用c语言编程的方法？
浏览 1提问于2017-04-08得票数 0
我感兴趣的是，除了try/catch及其变体之外，还有其他一些编程语言中的错误处理方法。
有谁知道这样的错误处理的一些有趣的案例吗？
浏览 0提问于2012-01-23得票数 5
回答已采纳
我使用Linux作为我的编程平台，C语言作为我的编程语言。我的问题是，我在主源文件(main.c)中定义了一个结构：{ int status;所以我想在我的其他源文件中使用这个结构(例如
浏览 1提问于2010-06-15得票数 9
回答已采纳
可能不存在符合我需求的语言，但在得出结论之前，如果能听到更多的意见会更好。:)
正如您可能已经猜到的那样，我需要这样一种语言来创建我正在尝试创建的游戏引擎。因此，脚本语言应该能够直观地处理游戏概念。在其他方面，应该很容易定义各种类型，使用略有不同的属性对子类型进行分类，动态查询和修改对象，等等。此外，游戏开发人员应该能够处理他们在脚本语言中遇到的每一种情况。虽然像渲染器和网络这样的基本组件将在C++中实现，但特定于游戏的机制将在脚本语言中处理，例如围绕行星旋转数百个对象。将该语言集成到我
浏览 1提问于2011-06-16得票数 4
回答已采纳
1回答
哪些编程语言是常规的？
、、、
的典型响应问题是“因为HTML不是一种常规语言”。
所以，我很好奇是否有人有一个常见的编程语言列表，这些语言是正则语言，因此适合于正则表达式匹配。我知道有一些方法可以确定一种语言是否是正规的(逐个案例)，但对于复杂的语言，证明也可能相当复杂。我想也许一个快速的语言检查表可能会有用。我也知道你可以用非正则语言做正则表达式，但它们并不总是可靠的(例如html)。
浏览 5提问于2013-03-04得票数 3
2回答
函数式编程促进了不可变类和引用透明性。我们应该创建不可变的实体而不是可变的实体吗？让我们假设，项目使用Scala作为主要语言，如果我们处理并发性，我们如何才能将实体写成案例类(不可变的so)而不冒陈旧状态的风险？
什么是好做法？保持实体可变(var字段等)并避免了案例类的大语法
浏览 1提问于2013-02-11得票数 16
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
