- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
我正在阅读 https://realworldocaml.org/ (顺便说一句,这是一本了不起的书)并且所有示例都假定使用 Jane Street Core 库。我还不熟悉 OCaml 环境,想在我的 Windows 笔记本电脑上学习这本书——不要纠结于细节,有没有一种简单的方法可以让这些库在 Windows 上运行?这个问题的答案可能会帮助许多想在 Windows 上开始使用这些库的人。如果没有,那么也许这本书足以说服我切换操作系统;)
编辑 - 刚刚发现目前没有支持,但正在处理中。有没有大致的时间表?
最佳答案
我建议您使用虚拟机,例如 VMware Workstation , Windows Virtual PC , 或 Oracle Virtual Box .
你可以得到一个Virtual Appliance安装操作系统并准备好运行许多 Linux 操作系统。
我个人使用 VMware 已有数十年,并在 VMware 工作站上的 Debian 上运行 OCaml。
由于有人刚刚对此进行了投票,而我不记得我重新阅读了这个问题。好事,因为在 Windows 上可能有更好的方法来执行此操作,但我还没有检查过,但会概述我会做什么/做什么。 :)
安装 WSL (适用于 Linux 的 Windows 子系统)也称为 Windows 上 Ubuntu 上的 Bash。这将使您无需虚拟机即可在 Windows 上运行 Ubuntu 环境。
接下来按照 Ubuntu instructions 在 WSL 上安装 OCaml .
然后按照Ubuntu Linux install instructions用于真实世界的 OCaml。
由于 WSL 不适用于 GUI,(但经常使用),请使用 Visual Studio Code与 OCaml extension安装在 Windows 上。
因此包含文件和 Visual Studio Code 的项目目录将位于 Windows 文件系统上,而 OCaml 环境将位于 WSL 下的 Linux 文件系统上。
收件人use the files on the Windows来自 WSL 的文件系统仅使用符号链接(symbolic link)。
抱歉,解释得这么简洁,但总比不知道好。
关于Windows 支持 Jane Street OCaml Core?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20494909/
一段时间以来,我一直在尝试从 Google 街景中获取数据。出于研究目的,我需要能够估计某个特定 map 位置的天空区域。这就是为什么我需要估计球形 View 的原因,我认为使用 Google 街景会
我想将街道地址转换为类似 Title Case 的格式。它不完全是标题大小写,因为一串数字末尾的字母应该是大写的。例如 19A 史密斯街。 我知道我可以使用 将“19 smith STREET”更改为
我正在寻找描述世界上大多数国家/地区的标准地址格式的来源。我已经找到了更突出的西方和亚洲国家的资源,但是当你远离更大/更有影响力的国家时,这些资源往往会很快消失。 理想情况下,我希望看到类似的东西 t
我正在考虑使用 CASS - 经过认证的地址验证服务可在输入时更正用户提供的街道地址。 (具体来说,我正在查看 SmartyStreets 的 LiveAddress。)但是,USPS 规定正确的地址
运输,开票,实际地址中允许使用哪些字符和符号? 名字/姓氏:字母,空格 地址:字母,数字,空格和#'。 ,-/ 城市:字母,空格和- 邮政:数字,字母,空格和- 最佳答案 允许所有这些!特别是当您使用
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想改善这个问题吗?更新问题,以便将其作为on-topic
我正在使用 Google 的街景静态图像 API。它工作得很好,但我想知道是否可以获取我正在保存的图像的元数据,特别是日期。无论如何要知道静态图像的日期? 谢谢, 李 最佳答案 是的,您可以使用 Go
我有一段文本包含以下地址: 格林伍德街 900 号 位于主街 500 个街区 地址:670 W. Townline Ave。 1234 River Avenue 前 位于主大街 1125 号。 我想要
我已经为此苦苦挣扎了一段时间,所以希望有人能帮助我。我愿意接受任何和所有的建议。 当我查询 QGeoAddress::street() 时,我(可能)会同时收到街道号码和街道名称。我想获取只是街道名称
Steam商城喜加一:免费领取《Streets Of Kamurocho》 今日Steam可免费领取一款动作类游戏《Streets Of Kamurocho》 怒铁如龙 领取时间截止于领取时间截
用户应该能够在谷歌地图上放置标记,但只能在街道上。这可能吗? 最佳答案 Google 是您的 friend : http://econym.org.uk/gmap/snap.htm 解决方案的基础是询
我有一个使用 Smarty Streets Live Address 验证的表格。总的来说效果很好。但是,在用户已经开始输入地址信息的情况下,实时地址验证可能会妨碍。遇到的最具体的问题是地址信息已经输
使用 Google map Android v2,我如何捕捉用折线绘制的路线或仅捕捉与街道相连的点? 我正在从 Google Play 服务获取位置信息,但准确度通常在 5-10 米左右,因此点不是直
使用 Google 示例中的示例和 Stack Overflow 上找到的其他代码,我组合了一些 JS,它获取街道地址并显示俯 View 和街景 View 。在大多数情况下,它们工作得很好,但当房子在
我想知道是否可以在 Open Street Maps 中将图标标记覆盖在几何对象上。我正在使用 gwt-openlayers,它是开放层 api 的 java 包装版本,在 Eclipse 中带有开放
我试图通过打开 OleDbConnection 来读取 Access 数据库中表“街道”的列名。我调用 GetOleDbSchemaTable 但我似乎无法弄清楚如何 Access 我的列。 如果可能
我已阅读有关 Google Street View API 的文档,但没有找到任何事件处理程序来捕捉缩放的变化。 https://developers.google.com/maps/document
我的程序加载了一个用户列表(带有 jsonplaceholder 数据),我试图使该数据可编辑,但出现错误: TypeError: Cannot read property 'street' of u
我使用 osmdroid-android 3.0.5.jar 而不是 Google map api 来使用地理坐标在 map 中显示位置。 好吧,我可以在 Android 模拟器中获取 map ,但问
我正在尝试改变 st.到街道,大道。大道等。使用 .replace() 作为单个单元格中的地址。例如:西街。应该是 WEST STREET 或 MOUNT PEBBLE RD。应该是 MOUNT PE
我是一名优秀的程序员,十分优秀!