#ocaml

Multicore OCaml: May 2021(discuss.ocaml.org)
2021-6-12 11:20
欢迎来到May 2021 Multicore Ocaml每月报告! 本月的更新以及以前的更新是由@Avsm,@ ctk21,@kayceesrk和@shakthimaan编译的。 首先,OCAML编译器上的所有上游活动现在都报告为@Gasche已启动的闪亮新编译新闻通讯#2的一部分。 这代表了一个小但重要的转换 - ......
Multicore OCaml: April 2021(discuss.ocaml.org)
2021-5-13 19:16
Multicore OCAML:4月2021年4月欢迎来到4月2021年的Multicore Ocaml每月报道! 我的朋友和同事在印度的项目中正在经历一个可怕的Covid大流行浪潮,但继续努力提供来自多核OCAML项目的所有更新。 本月的更新以及以前的更新已经由自己编译,@kayceesrk和@shakthimaa......
OCaml is 25(discuss.ocaml.org)
2021-5-10 8:1
25年前,1996年5月9日,客观CAML语言和系统的版本1.00宣布:https://sympa.inria.fr/sympa/arc/caml-list/1996-05/msg00003.html已经是 整合多年的工作,将JérômeVouillon和DidierRémy在Caml特殊光线内的对象和课程的工作,本......
2021-4-10 11:45
梦想建立在五种类型。前两个是梦想的数据类型: 处理程序是从请求到响应的异步功能。示例1-hello显示了最简单的处理程序,我们传递给Dream.Run的匿名函数。这会创建一个完整的Web服务器!您还可以看到示例R-Hello的原因版本。 跨边是拍摄处理程序的函数,并在生成“更大”处理程序之前或之后......
2021-3-20 9:56
RepscriptNéeBacklescript是一种用于瞄准OCAML(以及理性)的最先进的杂志,但快速地远离父语言。 OCAML兼容性在我的渴望的愿望清单上很高,我' ve幻想幻想,项目的方向veeredinto。所以我把事情变成了自己的手。阅读! Bucklescript项目已启动为JavaScri......
2021-3-12 0:0
欢迎来到2月2021年Multicore Ocaml月度报告。 此更新以及以前更新已被我编制,@Kayceesrk和@shakthimaan编制。 2月份已看到我们在很大程度上占据了多芯树上的稳定性,因为解锁生态系统构建和运行散装CI已经给了我们丰富的问题,以帮助追逐角落案件问题。 上游的工作在下一个关于OCAML ......
2021-3-7 11:22
Caramel是一种用于构建类型安全,可扩展和可维护应用的功能语言
Why OCaml(www.youtube.com)
2021-1-24 7:8
汇总了Jane Street使用OCaml的原因,并讨论了OCaml如何适合更广泛的编程语言领域。 给我们的暑期实习生。
2020-12-11 7:35
多核OCaml重叠执行A B A C B时间同时执行A B C时间 多核OCaml重叠执行A B A C B时间同时执行A B C时间效果处理程序 多核OCaml重叠执行A B A C B时间同时执行A B C时间效果处理程序域 在编写时没有并发性和并行性✦重构顺序代码本身的成本令人望而却步 在编写时......
Caramel: An OCaml to Erlang Compiler(caramel.abstractmachines.dev)
2020-11-23 2:57
焦糖具有高表现力,声音类型系统和快速的类型检查器。这使您可以通过使用更接近您的域的类型来排除整个错误类别,并在不牺牲开发速度的情况下毫不费力地重构大量代码。 为了实现这一目标,Caramel实际上是OCaml编译器的后端,因此,它重用了整个类型检查堆栈,并进行了25年以上的研究和数百万小时的学术研究和工业使用,并......
2020-11-16 9:12
你好!我是OCaml的新用户。这篇文章的目的仅仅是分享我到目前为止在OCaml上的经验,并希望能引发一些关于其他社区用户如何看待和使用OCaml的随意对话。我希望从这篇文章中得到什么?批评,肯定,小贴士,什么都行。在大流行封锁期间,我在泡沫中独自学习了OCaml。我的经历是经典的OCaml学习经历,还是在某种程度上是......
2020-11-9 21:52
欢迎收看2020年10月的多核OCaml报告,该报告由@shakthimaan、@kayceesrk编写,当然还有我自己。[之前的月度(https://discuss.ocaml.org/tag/multicore-monthly)更新也可供您阅读。OCaml 4.12.0-dev:4.12版本的上游OCaml树已经......
2020-11-3 22:51
到目前为止,我的生活中还没有任何东西让我做好准备,因为我会故意选择迁移到.NET,但现在已经是2020年了,什么都不重要了。 在过去的两个月左右的时间里,我一直在为Dark Backend评估新的语言。由于一系列原因,OCaml的表现有点不令人满意。 在过去的几年里,我们总是说,当我们重写后端时,我们将在某个时候重写......
Language Design with Leo White(signalsandthreads.com)
2020-10-25 17:11
欢迎收看“信号与线索”栏目,我们将深入探讨简街的每一层技术。我是罗恩·明斯基。今天,我们将与利奥·怀特就编程语言设计展开对话。Leo在简街我们的编译器团队工作,他主要从事所谓的编译器前端的工作,这意味着他花了很多时间考虑语言功能和支持这些语言功能的类型系统,特别是,他在OCaml中做这项工作,OCaml是我们日常使用......
2020-9-28 7:25
Hardcaml是一个用于硬件设计的OCaml库。-janestreet/hardcaml
2020-9-18 16:12
这里的一群系统研究人员,以及他们的工业和学术合作者,正在庆祝获得一个享有盛誉的奖项,以表彰他们花了六年时间取得的突破。 OCaml实验室团队刚刚获得了2020国际函数式编程会议颁发的杰出论文奖,以表彰他们将并行性改进到OCaml的论文。 该奖项表彰他们在解决一个极具挑战性的问题上所做的工作:在保持向后兼容性的同时,为......
2020-8-28 18:44
最后,OCaml 2020研讨会正在直播,请通过Jlowdr加入我们的缩放会议,或者随时在这里提问。我们会尽量把它转发给主持人,并记录他们的答案,稍后将以问答的形式发布。请遵守时间表,不要有流氓观看🙂
2020-8-26 18:38
梁@ryancharmes和我刚刚完成了我们的书的初稿-OCaml科学计算!您可以在这里阅读草稿:https://lnkd.in/dSE6hEg这本书是对我们长期致力于函数式编程和数值计算的总结。而由于各种强大的框架和工具包的快速发展,数据科学、ML和AI的进入门槛变得越来越低。该工具本身仍然是一个黑匣子,对现实中的......
Thoughts on Rust vs. OCaml(blog.darklang.com)
2020-8-20 23:31
我现在已经生锈两周了,所以在我得斯德哥尔摩综合症之前,我觉得这是写一篇评论文章的好时机。 我学习铁锈的主要动机是我必须维护一些黑暗的铁锈代码。最近有一次与该代码相关的中断,我必须在运行中学习,所以更好地了解我正在查看的是什么。 我也梦想重写Dark in Rust已经有很长一段时间了,这主要是因为OCaml的挫败感以......
2020-7-6 3:23
本教程将帮助您开始使用Multicore OCaml编写并行程序。所有代码示例及其对应的沙丘文件都可以在code/目录中找到。本教程分为以下几个部分: 多核OCaml是OCaml的扩展,本机支持通过域实现的共享内存并行性和通过代数效果实现的并发性。它正在缓慢但稳定地合并到主干OCaml。域-只有多核才会首先登陆,然后......
2020-6-2 2:52
多核OCaml:2020年5月欢迎收看多核OCaml团队2020年5月的更新!与之前的更新一样,非常感谢@shakthimaan和@kayceesrk帮助组装本月的综合报道。2020年5月的一个重大里程碑是多核OCaml从4.06一路改基到4.10!执行停止世界并行次要收集的并行次要GC变体是编译器的默认分支,这意味......
2020-5-2 18:3
我在工作中遇到了数据可视化问题。我一直在考虑布景覆盖的问题,并想测试一些可视化的想法。我曾经想要可视化聚合度量的空间(即像手段之类的东西)。后来发现我不需要它,因为我对这个问题的想法从一开始就是错误的。我已经写了一些代码,非常想检查一下。到了最后,它已经变成了完全不同的东西,但这是一个很好的娱乐之夜……。 由于某些原......