程序员经验分享-hwhale

INRIA 是否会向 OCaml 添加并发原语？ [关闭]

2024-01-03

我所说的“并发”是指像 Erlang 的 actor 和并发 GC 这样的轻量级进程，旨在使此类进程顺利工作。

如果 INRIA 摆脱当前 OCaml 实现的这些缺点，使 OCaml 为多核未来做好更充分的准备，那就太酷了。

附： F# 不是我要找的。


no http://caml.inria.fr/pub/ml-archives/caml-list/2002/11/64c14acb90cb14bedb2cacb73338fb15.en.html

如果不重复他的解释，我就无法更简洁。它不言而喻。是的，这是2002年的事，但我还没有听到他在这个问题上动摇过，而且从文字来看，他似乎根本不可能放弃这些目标。

对于并发函数式编程的当前发展，可能是 MPI 解决方案（使用 ocaml 绑定 http://pauillac.inria.fr/~xleroy/software.html#ocamlmpi）可能是您问题的解决方案。显然这不是共享内存并行。还有并发机器学习 http://cml.cs.uchicago.edu/.

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

concurrency

functionalprogramming

ocaml

INRIA 是否会向 OCaml 添加并发原语？ [关闭] 的相关文章

  • python函数返回函数[关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心 help reopen questi

  • f# 运行总计序列

    好吧 这看起来应该很容易 但我就是不明白 如果我有一个数字序列 如何生成由运行总计组成的新序列 例如 对于序列 1 2 3 4 我想将其映射到 1 3 6 10 以适当的功能方式 Use List scan https msdn micro

  • 如何在 Perl 中以函数式风格进行编码？

    你如何 have a sub返回一个sub or 将文本作为代码执行 in Perl 另外 如何拥有匿名函数存储状态 子返回子作为coderef example 1 return a sub that is defined inline s

  • 独占锁定ConcurrentHashMap

    我知道不可能锁定 ConcurrentHashMap 进行独占访问 但是 我找不到原因 是因为构成CHM的 Segment 没有被api公开吗 据推测 如果是的话 客户端代码可以执行 交接 锁定 Cheers 我知道不可能锁定 Concur

  • 如何在 AppEngine (GAE) 中进行数据库锁定？

    在 GAE 中 我有一个充满 一次性 的表 诸如 最后使用的序列号 之类的东西 这些东西并不真正属于其他表 它是一个简单的字符串键和字符串值对 我有一些代码来获取命名整数并递增它 如下所示 PersistenceCapable detach

  • 什么样的函数被认为是“可组合的”？

    维基百科文章函数组合 计算机科学 https en wikipedia org wiki Function composition computer science says 就像数学中通常的函数组合一样 每个函数的结果作为下一个函数的参数

  • OCaml 文字负数？

    我在学 这是我觉得奇怪的事情 let test treeways x match x with when x lt 0 gt 1 when x gt 0 gt 1 gt 0 如果我这样称呼它 test threeways 10 我会得到类型

  • Java Executor 根据 CPU 和 RAM 使用情况调整线程池

    我的应用程序使用 Executor 为大量任务提供线程池 通过分析和基准测试 我确定当每个核心有多个线程时 我的应用程序运行速度最快 一个好的启发式方法是从每个核心 4 个线程开始 不断变化 直到达到 gt 90 CPU 或 gt 90 R

  • 如何组合 3 个或更多 CompletionStages？

    如果有 2 个 CompletionStages 我可以将它们与thenCombine method CompletionStage a aCompletionStage getA CompletionStage b bCompletion

  • 为什么在 10 个 Java 线程中递增一个数字不会得到 10 的值？

    我不明白 a 的值为0 为什么 a 不是10 那段代码的运行过程是怎样的 是否需要从Java内存模型来分析 这是我的测试代码 package com study concurrent demo import lombok extern sl

  • Vim 脚本中的“reduce”函数

    Vim 脚本有一些非常基本的函数式编程工具 It has map and filter 但据我所知它缺乏reduce 功能 Reduce https en wikipedia org wiki Fold 28higher order fun

  • OCaml 中的不可变变量

    我正在学习 OCaml 我对变量的不变性有点困惑 根据我正在读的书 变量是不可变的 到目前为止一切顺利 但到底为什么我可以这样做 let foo 42 let foo 4242 我缺少什么 我认为最好的解释方法是举个例子 考虑以下代码 在

  • “功能性”Rust 对性能有哪些影响？

    我正在关注 Rust 轨道运动 io https exercism io 我有相当多的 C C 经验 我喜欢 Rust 的 功能 元素 但我担心相对性能 我解决了 行程编码 问题 https exercism io tracks rust

  • 打印到 stdout 会导致阻塞的 goroutine 运行吗？

    作为一个愚蠢的基本线程练习 我一直在尝试实现理发师睡觉的问题 http en wikipedia org wiki Sleeping barber problem在戈兰 对于通道来说 这应该很容易 但我遇到了一个 heisenbug 也就是

  • 在管道中重用变量的功能方式

    在 javascript 和 typescript 中与 Ramda 一起使用函数式编程 我经常发现自己编写如下代码 const myFun c gt const myId c id const value pipe getAnotherO

  • F# 检查列表是否为空

    作为 F 新手 我正在尝试实现一个简单的函数 该函数将索引和列表作为参数 然后返回给定索引的列表值 let rec getElementAtIndex index int list a list match index list with

  • Java 中的无锁并发链表

    我想使用像中描述的链接列表this http reference kfupm edu sa content l o lock free linked lists using compare and 3368 pdf纸 但是 我在网上没有找到

  • 如何判断何时创建新组件？

    我一直在寻找背后的逻辑当有人在 AngularJS Angular 上的 Web 应用程序中创建新组件时但我认为这更通用 可能适用于所有基于组件的前端框架 我知道有像这样的一些原则应该是抽象的和可重用的但例如我在角度文档中看到 每个单独的路

  • 使用fold_left/right反转OCaml中的列表

    更新 解决方案 感谢 jacobm 的帮助 我想出了一个解决方案 Folding Recursion let reverse list 3 theList List fold left fun element recursive call

  • Java的-XX:+UseMembar参数是什么

    我在各种地方 论坛等 看到这个参数 并且常见的答案是它有助于高并发服务器 尽管如此 我还是找不到 sun 的官方文档来解释它的作用 另外 它是Java 6中添加的还是Java 5中存在的 顺便说一句 许多热点虚拟机参数的好地方是这一页 ht

随机推荐

  • C#：根据平台访问 32 位/64 位 DLL

    我们使用 C 应用程序中自行编写的 32 位 C DLL 现在我们注意到 当 C 应用程序在 64 位系统上运行时 会自动使用 64 位运行时 当然无法从 64 位运行时访问 32 位 DLL 我的问题是 有没有办法使用32位DLL 如果不

  • 从 iPhone 删除应用程序时如何删除所有本地通知

    假设我为 iPhone 应用程序设置了 5 个本地通知 然后用户删除了该应用程序 如果再次安装该应用程序 它会显示之前的通知 我知道以下代码会删除所有通知 UIApplication sharedApplication cancelAllL

  • NEHotspotHelper：无法在身份验证状态机的身份验证状态下发送 Web 请求

    我已经实施了NEHotspotHelper这样我就可以在后台对具有强制门户的网络执行身份验证 我需要在 身份验证 状态下执行 Web 请求 以便可以检索 Wispr 并访问 API 但是 当我尝试使用URLSession发送网络请求 请求失

  • 在数据库中找到重复的地址，阻止用户提前输入它们？

    如何在数据库中找到重复的地址 或者在填写表格时更好地阻止人们 我想是越早越好吧 有没有什么好的方法可以提取街道 邮政编码等 以便可以检测到拼写错误和简单的两次注册尝试 喜欢 Quellenstrasse 66 11 Quellenstr 6

  • 检查字符串是否与 JS 中的正则表达式匹配

    我想使用 JavaScript 我也可以使用 jQuery 来检查字符串是否与正则表达式匹配 a z0 9 5 并得到一个true or false result match 似乎检查字符串的一部分是否与正则表达式匹配 而不是整个字符串 它

  • 内容处理文件名在 IE 上不起作用

    我正在开发一个 asp net c Web 应用程序 该应用程序允许用户查看和下载 PDF 文件 当我点击一个文件时 我可以在浏览器中可用的 PDF 阅读器中查看该文件 当我保存它时 该文件应该使用我通过标题传递的名称保存 但这不是 IE7

  • 我可以将我的 Java 类注册为 OrientDB 顶点和/或边吗？

    我尝试了东方数据库对象数据库API http www orientechnologies com docs 1 7 8 orientdb wiki Object Database html 它允许使用将 Java POJO 注册到数据库en

  • ObservableCollection 不更新视图

    我刚刚开始使用 MVVM 遇到了一个障碍 希望有人可以帮助我 我正在尝试创建一个带有 2 个列表框的简单视图 第一个列表框中的选择将填充第二个列表框 我创建了一个类来存储我想要绑定的信息 MyObject 类 Observable Obje

  • 在 Shiny 中将绘图置于 FluidRow 中居中

    我有一个 FluidRow 其中一列中呈现了一个绘图 我想知道当我通过 renderPlot createplothere width 函数手动指定绘图宽度时如何使绘图居中 因此 它不会占用列的整个宽度 ui R代码 setwd C Use

  • JSF 在执行 ajax 更新时重置字段

    我在 JSF 页面上遇到问题 我在第一个账单名字字段中输入了一个名称 如果我点击复制帐单地址复选框 这会停止渲染递送地址面板并通过 ajax 隐藏它 我刚刚在第一个字段中输入的值将重置为之前的状态 JSF Page

  • 如何根据多个条件对行求和 - R？ [复制]

    这个问题在这里已经有答案了 我有一个数据框 其中包含绘图 ID plotID 树种代码 species 和覆盖值 cover 您可以看到其中一张图中有多个树种记录 如果每个图中存在重复的 物种 行 如何对 覆盖 字段求和 例如 以下是一些示

  • 如何在 Dreamweaver cs5 中调试 php 代码？

    如果它不支持调试 是否有任何扩展或插件 Dreamweaver 即使支持 PHP 源代码的语法高亮显示 也并不完全被称为 PHP 开发环境 所以我不确定它是否支持 PHP 代码的调试 相反 我建议您使用另一个更面向 PHP 的 IDE 例如

  • 警告：字符串文字中转义的非标准使用

    我有查询删除双空格并将其转换为单空格 UPDATE tablename SET name trim regexp replace name s s g 它给出错误 WARNING nonstandard use of escape in a

  • 如何将字符串解析为哈希表

    是否有一种简单 甚至可能是单个命令 的方法可以从包含键值对的字符串构建哈希表 关联数组 JSON 等等 并用给定的分隔符分隔 Example n1 v1 n2 v2 n3 v3 where 是分隔符 应该返回 n1 v1 n2 v2 n3

  • VB6 项目可以使用 .Net .dll

    我有一个VB6项目 我的问题是我可以调用具有项目所有业务规则 来自 VB6 应用程序 的 NET dll 吗 基本上我有一个 VB6 项目 其中有一个调用 vb6 ActiveX dll 的经典 ASP 项目 要求是找出升级应用程序的最佳方

  • MS Word：选择表格单元格内的文本

    我需要在 Word 文档表格的单元格内选择文本 例如 两个字符 下面的代码 Sub testTable For Each itable In ActiveDocument Tables itable Cell 1 2 Range Selec

  • 无法使用 pandas to_sql() 方法将数据插入 Snowflake 数据库表

    我有一个数据库SFOPT TEST在我的雪花实例上 数据库有两种模式AUDITS and PARAMS 架构AUDITS有一个使用 SQLAlchemy 创建的表declarative base class AccountUsageLogi

  • 如何使用 python pandas 读取 json 文件？

    我想使用 python pandas 读取 json 文件 文件的每一行都是一个完整的 JSON 对象 我在下面使用versions 蟒蛇 2 7 6 熊猫 1 19 1 json 文件 id 111 p id 55 name aaa no

  • 播放服务 7.5.0 后无法在 Manifest 中使用 android:icon="@mipmap/ic_launcher"

    我最近使用依赖项更新了播放服务 compile com google android gms play services 7 5 0 我的应用程序图标启动器位于 mipmap ic launcher 但这显示错误AndroidManifes

  • INRIA 是否会向 OCaml 添加并发原语？ [关闭]

    Closed 这个问题是基于意见的 help closed questions 目前不接受答案 我所说的 并发 是指像 Erlang 的 actor 和并发 GC 这样的轻量级进程 旨在使此类进程顺利工作 如果 INRIA 摆脱当前 OCa

热门标签