当前位置: 首页 > news >正文

中国空间站简介100字/软文代发平台

中国空间站简介100字,软文代发平台,html在哪里写代码,wordpress用户注册优化假设你已经在centos7上,使用su权限安装好了opam,下面回到普通权限。使用opam来安装其它东西。 opam 安装的东西,默认都在 ~/.opam 目录下,它没有权限改变系统目录的东西。 如果配置有问题,很简单。删除 ~/.opam 目录&a…

假设你已经在centos7上,使用su权限安装好了opam,下面回到普通权限。使用opam来安装其它东西。

opam 安装的东西,默认都在 ~/.opam 目录下,它没有权限改变系统目录的东西。

如果配置有问题,很简单。删除 ~/.opam 目录,一切从新来过!

 

1. opam init

初始化环境,一路yes下去就可以了。

检验是否成功的标准,看环境变量是否添加好:

 printenv OCAML_TOPLEVEL_PATH

有的时候,可能会需要执行一下如下的指令:

eval `opam config env`

注意,是反引号。

2. opam switch

检查一下编译器的版本号,应切换到如下版本:

opam switch 4.01.0

这个可能会执行一些时间,耐心等待出现提示符。

eval `opam config env`

刷新一下环变

3. opam install core utop

安装两个重要的包: core 和 utop

在学习《real world ocaml》的时候,经常会用到Core包中的东西,是必须安装的。

utop 比 ocaml 自带的 toplevel 环境提供了更强大的功能。比如代码自动补齐,方便的文档查询等等。

4. 编辑.ocamlinit 文件

添加如下内容:

#use "topfind";;
#thread;;
#camlp4o;;
#require "core.top";;
#require "core.syntax";;

这样,每次启动utop,都会自动加载这些特征。

书中的许多列子都需要 Core.Std包支持,所以,进入utop后,不要忘记:

open Core.Std;;

5. 启动utop

现在,环境都准备好了,可以跟着《real world ocaml》学习了。

 

转载于:https://www.cnblogs.com/gyhang/p/4769116.html

http://www.lbrq.cn/news/1345249.html

相关文章:

  • wordpress国内能用吗/免费seo网站自动推广
  • 织梦做公司网站要钱吗/网络seo是什么意思
  • 企业做网站需要提交的资料表格/网销怎么做
  • 上海官网制作/百度app优化
  • 淘宝代购网站建设/百度指数怎么做
  • 网站导航条用什么做/怎么快速推广自己的产品
  • 互联网门户网站模板/推广运营是什么工作
  • 石龙网站仿做/seo优化方法
  • 建网站的公司南京/山东关键词网络推广
  • 建设单位企业锁登陆网站/站内营销推广方式
  • 广州市财贸建设开发监理网站/广州竞价托管代运营
  • 精灵网站建设/镇江网站建设推广
  • 企业网站seo哪里好/微博营销案例
  • 找人做网站注意/软文推广公司有哪些
  • 建设网站应该注意的地方/西安最新消息今天
  • 想做一个网站怎么做/网络营销的发展现状及趋势
  • 佛山响应式网站设计/抖音营销推广怎么做
  • 官网网站建设需求/企业营销型网站
  • 泗县做网站/seo推广什么意思
  • 网站数据库怎么做同步/竞价托管推广
  • 网站建设 问卷调查/保定seo排名外包
  • 龙岗网站设计市场/片多多可以免费看电视剧吗
  • 左中右三栏布局网站建设/百度seo怎么提高排名
  • 什么是网站版式/seo双标题软件
  • table做网站的好处/广州番禺发布网
  • 网上商城平台运营方案/提升seo排名的方法
  • 传奇新开网站/温州seo推广外包
  • 沈阳做网站哪家便宜/上海站优云网络科技有限公司
  • 口碑好的秦皇岛网站建设哪里有/济南网络推广
  • 高唐做创建网站的公司/整合营销传播的定义
  • AI(1)-神经网络(正向传播与反向传播)
  • 元数据管理与数据治理平台:Apache Atlas 分类传播 Classification Propagation
  • 深入理解 Gin 框架的路由机制:从基础使用到核心原理
  • 基于遗传优化的智能灌溉系统控制策略matlab仿真
  • Linux之shell脚本篇(四)
  • 2025-08-09 李沐深度学习12——卷积神经网络基础