3回答
在研究F#和OCaml之间的差异时，我发现他们倾向于关注和 。然后我发现了，它将类型和类型推断列为不同的特征。
由于特写文章说OCaml和F#都使用类型推断，我认为这是一个标准算法，即一个不允许变化的算法，这两个特徵是如何联系的？是否达马斯-米尔纳是构建两个类型推理系统的基础，但它们各自都基于类型来修改达马斯-米尔纳？
我还检查了F#源代码中的单词Damas，Milner和Hindley，但没有找到。搜索inference一词可以找到类型推断的代码。
如果是这样，是否有任何论文讨论了特定语言的每种类型推断算法的细节，或者我是否必须查看和的源代码。
编辑
下面是一个，它突出显示了OCaml和F#
浏览 0提问于2012-09-10得票数 8
回答已采纳
2回答
我喜欢model first给出的数据库的可视化概述。
但现在Ado.Net团队首先推送代码，我认为通过您的类生成数据库的UML概述将是非常棒的。
这个已经存在了吗？因为我似乎找不到它：
浏览 0提问于2011-09-12得票数 0
回答已采纳
我是UML的新手。但我非常擅长于绘制数据库表及其关系。
我可以通过在下面添加方法()来“扩展”这些表并称之为UML类图吗？
学生
..
StudentID : int
StudentNumber : string
FirstName : string
姓: string
..
显示()
更新()
加()
删除()
浏览 1提问于2011-03-03得票数 1
回答已采纳
UML图只能用于具有面向对象方法的系统，这有什么限制吗？我们是否可以将它们用于其他方法(例如:程序性方法)？
浏览 3提问于2014-10-06得票数 5
回答已采纳
1回答
阿基米特图形符号的起源是什么？
、、、、
Archimate使用一组特定的符号和符号：
关系符号在很大程度上基于UML。只是不确定核心动机、策略、实施和迁移元素。这些是从哪里来的？它们是专门为阿基米特设计的吗？还是从另一个建模标准派生而来？
浏览 2提问于2019-01-29得票数 2
有人能告诉我为什么统一建模语言显示Android Adapter界面有一个视图和一个ViewGroup吗
我正在使用带有Intellij IDEA的UML图自动生成，我正在研究Android API 14
浏览 1提问于2015-04-18得票数 1
1回答
我正在使用一个源代码库，它几乎完全是用-c (nginx)编写的。然而，它确实使用了丰富的高级编程技术，例如编译时元编程和OOP --包括运行时调度。
我想画ER图，UML类图和UML序列图。然而，为了在这两者之间有一个清晰的映射，必须应用一致的公约。所以，我想找一些参考资料来建立或应用类似的c代码。
编辑
嗯，这个问题是非常具体的，因此，我不希望很快得到有用的答案。
我已经开始阅读“代码阅读-开源视角”一书的摘录。本书的编写是为了传授阅读大型复杂系统代码的艺术，直-c语言似乎是本书使用的主导语言。第一章介绍了UML作为建模语言的选择。
我相信我应该能够遵循这本书中确立的惯例。
浏览 3提问于2010-06-10得票数 0
回答已采纳
我在跟踪。它演示了Graphics的使用。上面写着
Windows用户:为了在Windows上交互地工作，您需要创建一个自定义toplevel。从命令行发出ocamlmktop -o ocaml图形graphics.cma命令。
我不太明白这是什么意思。
我在"D:\MySourceCode\OCaml\2.Graphics.ml“中有相应的源代码。我的cmd已进入OCaml环境。现在我该怎么办？
浏览 1提问于2013-10-02得票数 0
回答已采纳
1回答
如何在结构上表示Continent对象与Country对象之间的关系。并且每个Country对象可能具有多个City对象。我目前使用的是MVC模型，在该模型中，GeoModel包含一个ArrayList，然后列表中的每个大陆包含一个ArrayList，然后该列表中的每个国家都包含一个ArrayList。这听起来像是一种合适的方式吗？
浏览 1提问于2014-02-27得票数 0
2回答
我在UML中看到了领域模型的思想，但是我从来没有机会在实际的代码中使用它们。现在我在数据库中看到了它们，特别是来自的SQL编码。
有句话提到了域模型类：
我可以像设计通过ORM层在数据库上操作的类一样容易地设计包含普通SQL的域模型类。请记住，ActiveRecord不是一个域模型。
那么我如何创建域类呢？当我处于“数据库上下文”(当我处于“建模上下文”，甚至是“编程上下文”中)时，它是不同的吗？
浏览 3提问于2010-08-06得票数 0
回答已采纳
我正在尝试编译一个小的C程序，它独立于OCaml本身使用Ocaml。 代码： #include <caml/mlvalues.h>
#include <caml/memory.h>
void foo(value v1, value v2, value v3)
{
CAMLparam3 (v1, v2, v3);
CAMLreturn0;
} 编译时使用： gcc -L/usr/lib/ocaml -lcamlrun -lm -ldl -lcamlstr src/benchmarks/binarytrees-escaped.c 输出： /usr/lib
浏览 24提问于2021-01-27得票数 0
回答已采纳
为什么这个星空UML序列图没有激活控制对象中的“矩形”呢？我做错了什么吗？我应该在星空UML中设置一些东西吗？
如何在Control对象中添加激活“矩形”？
浏览 5提问于2022-05-18得票数 4
回答已采纳
2回答
📷
正如ARLOW, J., AND NEUSTADT, I. UML 2 and the Unified Process, 2nd ed书中所说，不同对象之间有7种类型的关系。
依赖性
协会
聚合
作文
安全壳
泛化
实现
但我在其他地方读到过，如果关系有以下条件之一，它必须是聚合关系：
( a)成员b)包容c)大会
问题是，作为一个单独的关系，我无法找到聚合关系和包容关系之间的区别！
浏览 0提问于2020-02-15得票数 6
回答已采纳
1回答
我想从这个XMLfile中获得元素"UML:UseCase“的属性"name”。
<?xml version = "1.0" encoding = "UTF-8"?>
<XMI xmi.version = "1.1" xmlns:UML="href://org.omg/UML/1.3" timestamp = "Fri Nov 16 11:47:6 2012">
<XMI.header>
<XMI.documentation>
<XM
浏览 2提问于2012-11-17得票数 1
回答已采纳
3回答
关联和依赖之间的区别是什么？它们不都是一回事吗？如果A类与B关联，那么A类依赖于B ie。A和B之间存在依赖关系。
浏览 1提问于2009-11-03得票数 1
1回答
我来自Javascript背景&我试图了解我需要如何构造/构建一个使用Reason/Ocaml的模块系统的程序。
作为一项练习，假设我想用OCaml/R伊编写这段javascript (将通过js_of_ocaml将其编译回js )
var TeaType = new GraphQLObjectType({
name: 'Tea',
fields: () => ({
name: {type: GraphQLString},
steepingTime: {type: GraphQLInt},
}),
});
我
浏览 5提问于2016-05-31得票数 1
回答已采纳
3回答
我正在做一个基于生成的ERD的统一建模语言模型。但现在我对类图中的主键和外键表示有疑问。
在传统的UML图中，我们应该包括主键作为每个类的属性？例如，id_user还是id_list？关于外键呢？这些属性作为属性被忽略，但作为关联反映出来？
谢谢
浏览 0提问于2012-04-23得票数 7
回答已采纳
1回答
我在Enterprise中创建了一个简单的状态机模型，并将其导出到一个文件中，我想将它读到一个基于Eclipse UML2实现的独立Java/Scala程序中。
我设法使这部分工作，但仍然有两个剩余的问题：
从EA导出的XMI文件包含的不仅仅是<uml:Model></...>部分，在这种情况下，解析后才会得到AnyTypeImpl对象。现在，我已经手动更改了该文件，并且只将它简化为UML模型标记，尽管能够以某种方式将XMI文件从(EA导出)框中使用是很好的。I为不同属性(如isOrthogonal="true" )获得了一个IllegalValueEx
浏览 5提问于2012-03-21得票数 0
回答已采纳
关于这里的规范：
换条和不换条有什么区别？
至于“上层建筑和基础设施”，我发现如下：
-- UML基础结构规范--定义了UML2.1.2所需的基本语言结构。它得到了UML上层建筑的补充，它定义了UML 2.1.2所需的用户级构造。这两个互补的规范构成了UML 2建模语言的完整规范。
如果我想了解UML元模型，以便知道如何将语言构造映射到UML模型，那么我应该在哪里研究呢？
浏览 7提问于2009-10-29得票数 1
回答已采纳
不确定为什么需要所有这些运算符。理由是什么？为什么常规的OCaml对象语法还不够？
obj##.m
obj##.m := e
obj##m
这里的文档：
浏览 18提问于2020-05-25得票数 0
回答已采纳
我尝试研究关于UML的每一个页面。UML没有任何影响。有没有人以前有过这样的经历？我的意思是术语和图表本身的标准。为什么uml对于面向对象的成功如此重要……
浏览 0提问于2009-07-22得票数 1
1回答
我的程序有一个公共类，后面跟着一个构造函数，以及从一个方法调用的两个本地类(内部类有操作事件)。还有一个额外的静态方法。
公共班级
构造函数
局部类
方法
我对UML图将如何查找这一点感到非常困惑。我以前为一个超类和子类做过一个，它非常简单，但是我不知道如何包含本地类和操作事件(比如键侦听器)。
谢谢你的帮助。我是java新手，所以请放轻松点。
编辑:我指的是类图，而不是所有的UML。抱歉的。
浏览 0提问于2013-08-07得票数 0
回答已采纳
1回答
我有一个处理大量计算的大型let块，我试图将它分解成较小的块，将其分解为函数。我需要将一个在开放对象上操作的函数传递给这些组件，并遇到以下简化代码中最好表达的烦恼：
type 'a foo = 'a
constraint 'a = < bar: string option; .. >
type foo' = < bar: string option; >
type bar = < bar: int option; qux: int option >
type ('a, 'b) fn = 'a
浏览 1提问于2016-05-11得票数 3
回答已采纳
如果我运行HTML，我安装了sphinxcontrib扩展名，如果我运行HTML，它可以很好地工作，例如，对于相应的testmodule.rst文件，可以使用下面的testmodule.py文件：
testmodule module
=================
.. automodule:: testmodule
:members:
:undoc-members:
:show-inheritance:
.. uml::
Alice -> Bob: Hi!
Alice <- Bob: How are you?
这将在文档的末尾添
浏览 6提问于2020-12-15得票数 3
回答已采纳
1回答
Js.coerce_opt (Dom_html.document##getElementById id)
我是OCaml的新手，最近还在和Js_of_Ocaml打交道。我看到了上面的代码，它包括变量和函数之间的两磅。它们是什么意思？
浏览 14提问于2022-06-07得票数 3
回答已采纳
说到regex我没那么厉害..。
除了第二个字符外，我正试着在一个单词中匹配所有字符。
我想匹配'&‘和'uml’，但不匹配字符串中的第二个字符。
示例字符串：
zumlé
我提出了以下两个正则表达式。
除了第一个字符(&)外，这个字符与"uml“匹配：
(?=.)uml ->
这与第一个字符匹配，除了最后一个字符(uml)。
&(?=.) ->
你可能会认为合并这些会很容易，但我很难找到任何一种和操作员。我可以使用OR操作符，但也可以匹配字符串，这些字符串不严格以'&‘开头，以'uml’结尾。
&
浏览 2提问于2021-05-26得票数 1
回答已采纳
1回答
我在一个文件夹中存储了名为assert.ml、assert.mli、test.ml和test.mli的文件。assert是我猜你会称它为库文件--这是我下载但不是自己写的东西。test.ml是一个包含脚本的文件
;; open Assert
;; print_endline "test"
在终端中，我导航到包含的文件夹并运行
$ ocamlc -c assert.mli test.mli
$ ocaml assert.ml test.ml
结果什么也没发生。但是，如果我从脚本中删除;; open Assert行并运行
$ ocaml test.ml
然后印出来。
请注意，有些
浏览 1提问于2017-09-21得票数 2
回答已采纳
2回答
我需要深入了解要教授多少UML。我是一个关于系统分析和设计的“2学分100级入门课程”的助教(对我来说这是一个矛盾的术语)。本文是为典型的300级3学分课程编写的。这一章涵盖了大约7个UML图，它已经非常简单了，我必须进一步精简它。我有一周或两个课时的时间来完成这项工作。
我的结论是，我可以丢弃这本书并很好地涵盖类图，这将向他们介绍许多基本的面向对象概念，或者我可以简单地以基本识别这7个图为目标(甚至不期望他们创建任何)。但我觉得，基本的识别完全是肤浅的，以至于对这些全新的程序员来说是毫无用处的，这些图表将毫无意义地运行在一起。非常感谢您的建议。
顺便说一下，这7个是:对象关系、用例、类、序列
浏览 2提问于2015-03-09得票数 0
1回答
嵌入ocaml解释器
、、、
我有一种很小的语言，它基本上是OCaml的扩展(实际上它是OCaml子集的扩展，但这无关紧要)。为了简化事情，我有一个“转义”表达式，它将OCaml文本传输到我的语言中(因此您可以将任意OCaml代码嵌入到这种语言中)。将这样的表达式编译到OCaml只意味着打开字符串，但是如何计算它呢？
当然，我理解OCaml是一种静态类型语言，以及该类型系统一般是如何工作的。因此，我还需要能够提供一个环境并检查表达式的推断类型(或者至少要处理类型错误)。我还意识到需要管理解释器状态等等。让我们暂时假定嵌入的表达式是无副作用的。
显然，这是可能的，因为utop和toplevel都是在OCaml中实现的。所以我
浏览 1提问于2014-10-14得票数 2
回答已采纳
我正在尝试使用js_of_ocaml将带有在线下载源代码的Yojson转换为字节文件。
我尝试以下命令：
%: ocamlfind ocamlc -package yojson -linkpkg -g -o yojson.cmo
%: ocamlfind ocamlc -package js_of_ocaml -package js_of_ocaml-ppx -linkpkg -g -o -package yojson yojson.byte
我试图将一个OCaml文件编译成字节码，但是它会产生以下错误：
%: ocamlfind ocamlc -package js_of_ocam
浏览 16提问于2022-04-28得票数 0
1回答
我用8绘制了一个类图，并将项目导出为XMI2.1文件(ExportforUML2)。所以有两个文件(test.xmi.uml和test.xmi.profile.uml)。为了解析test.xmi.uml，我使用eclipse uml2和emf编写了这个java代码：
ResourceSet set = new ResourceSetImpl();
set.getPackageRegistry().put(UMLPackage.eNS_URI, UMLPackage.eINSTANCE);
set.getResourceFactoryRegistry().getExtensionToFactor
浏览 12提问于2016-10-23得票数 1
回答已采纳
1回答
我正在尝试在Ocaml 4.02.5版本中构建一个词法分析器，我似乎不能让流类型工作，而且我几乎找不到任何对Ocaml有用的东西。我读到的大多数东西都过于复杂，没有从文件中获取char输入并对其进行词法分析的示例。
我收到的错误是在我的第一个流声明中，特定的语法位置在'[<‘部分。
open Printf;;
open Stream;;
type sign =
Plus
| Minus;;
type atom =
T
| NIL
| Int of int
| Ident of string;;
type token
浏览 2提问于2017-10-23得票数 0
回到黑暗时代(20世纪80年代中期)，我大量使用的，发现它们非常有用。
我现在的雇主很喜欢UML。我通常使用BOUML，它不做非UML绘图。
与数据流图相对应的UML绘图是什么？
如果没有，推荐的UML图是什么来呈现相应的数据？
浏览 7提问于2011-10-11得票数 30
回答已采纳
我对ocaml有问题，我是ocaml的初学者。我想使用#load "....ml“。然后打开"....ml“。
当我使用emacs时，这是可以的，但我目前使用的是带有ocaml编译器的linux，当我尝试使用#load和open时，我有一个语法错误。
我已经查看了网页，如果我不需要使用'#‘在加载之前，但我也有一个语法错误。
使用Emacs的代码示例：
#load "list_ap1.cmo"
open List_ap1;;
在liste_ap1.cmo中有什么
module List_ap1 =
struct
let len(l) = Li
浏览 1提问于2018-10-18得票数 2
回答已采纳
2回答
有没有办法在Dia-Editor中设置属性和方法的默认可见性？我发现自己经常点击以将属性的可见性更改为private。将默认可见性设置为private也是一个更合理的默认设置，因为它会强制您遵循封装的思想。
浏览 0提问于2012-09-26得票数 1
回答已采纳
2回答
从概念数据模型生成UML
、、、
我有一个使用powerAMC为我的数据库创建的conceptual data model (关系模型)，但我想使用acceleo从它生成DAO，因此我需要它在UML语言中，有没有一种方法可以从概念数据模型生成UML？
浏览 0提问于2011-12-21得票数 0
回答已采纳
2回答
UML与代码关系
、、、
我理解UML的主要目标是沟通。UML打算提供一个系统的设计，代码实际上是系统的实际构建块。
我的问题是，如果代码一个uml应该直接反映对方。让我解释一下：
我正在编写一个使用web服务来显示电影放映时间的java程序。
到目前为止，我已经成功地用、AWT、和Swing制作了简单的gui，以显示显示时间。
这个程序有16个类，我的一个朋友在git上扩展了我的代码，但是他在所有类中都添加了以下内容。
包装ShowTimesFrUSA；
我想用一个包图展示我的程序和UML的设计。但是，我已经将类划分为与编码方式不同的不同包。软件包：UI (AWT and Swing) ,
浏览 4提问于2017-04-29得票数 0
我有一个python文件，rules.py，这是通过应用程序使用的大量函数实用程序。函数不包含在类中，函数根据需要从外部文件、类和函数中调用。 我开始创建一个UML类图(在Lucidcharts中)，其中包含一个空的属性块，并用函数填充方法块(下半部分)。 有没有一个标准化的非类UML图标准，我应该使用或者可以用来记录/图形化充满功能的长文件？我应该使用什么标准来记录功能齐全的文件？
浏览 17提问于2019-06-13得票数 0
回答已采纳
3回答
目前，在我的论文中，关于“UML仅仅是为面向对象的开发而创建的吗？”我从一些来源搜索过，这给了很多关于它的争论。对于我自己来说，我认为并非所有UML图都是为OO系统/软件开发(即状态图)而创建的。因此，我希望您的启发，并请提供强有力的理论，支持您的答案从书籍或国际期刊，而不是从维基或网络。
请帮帮我，我不知道该说什么
非常感谢
浏览 9提问于2015-03-19得票数 7
回答已采纳
我非常熟悉用于建模面向对象应用程序的UML。但是，我不熟悉专门为设计和/或建模过程性、函数性或任何其他范例而设计的任何东西。如何设计使用非面向对象语言编写的应用程序或对其进行建模？
浏览 5提问于2009-03-01得票数 1
回答已采纳
我有一个单例类，它执行许多任务：
注册侦听器以接收位置更新。
注销侦听器。
如果调用侦听器方法，则触发API调用。
我想为这个类绘制一个状态机图，但我想知道这样做是否对单个实例是正确的。
浏览 5提问于2016-03-28得票数 2
回答已采纳
我使用的是Windows7 64x，在下个学期，我将在我的一堂课中使用OCaml作为主要语言，我更倾向于使用Windows (我有windows版本和基于cygwin的版本)。所以我决定复习一下。
现在问题来了:我已经按照链接中的指定创建了文件amodule.ml和bmodule.ml。但是，当我试图在命令行上执行以下代码行时：
ocamlopt -c amodule.ml
我得到以下错误：
'i686-w64-mingw32-as' is not recognized as an internal or external command, operable program o
浏览 0提问于2014-07-24得票数 1
在CouchDB中是否有MMORPG数据库实现的实际示例？甚至是一篇详细的论文？我看过一些实际示例，但很少发现，甚至没有找到任何好的UML示例，而且我还看到了UML缺乏模式和设计的问题。也许这更像是一种范式的改变，但我最理想的是寻找这样的东西：
用户请求(多部分状态)字符NPC状态项
只是为了让started...regards
浏览 0提问于2012-01-13得票数 3
UML被用来设计面向对象的软件，但是将要用Go开发的程序不是100%面向对象的。在Go中使用什么工具和符号来设计软件？例如，什么是类图的等价物，可能是结构图或序列图？我可以使用什么工具来创建这样的图表？
浏览 2提问于2014-04-18得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
