程序员经验分享-hwhale

如何在 Mac 上安装 Standard ML 的工作版本？

2023-11-27

我使用的是 Mac OSX 10.7.5，但我似乎无法下载可用的 REPL 的标准 ML 编译器。这应该有这么难吗？我应该下载一个最好的 ML 吗？我尝试过 SML/NJ 和 MLton，但没有成功。


Mac 用户也可以使用

$ brew install smlnj

添加类似的路径/usr/local/Cellar/smlnj/110.82/libexec/bin到您的 .bash_profile。

$ source ~/.bash_profile

See 本文了解更多信息。

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

functionalprogramming

SML

smlnj

如何在 Mac 上安装 Standard ML 的工作版本？ 的相关文章

  • Haskell 中列表列表的笛卡尔积

    给定一个长度列表的列表x所有子列表的长度都相同y 输出y x长度列表x包含每个子列表中的一项 例子 x 3 y 2 1 2 3 4 5 6 Output 2 3 8不同的输出 1 3 5 1 4 5 1 3 6 1 4 6 2 3 5 2

  • Vim 脚本中的“reduce”函数

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

  • SML 如何检查变量类型？

    有什么方法可以检查 测试变量的类型吗 我想这样使用它 if x int then foo else if x real then bar else if x string then else ML 语言是静态类型的 因此某个东西不可能在不同

  • 正确使用术语 Monoid

    从下面的例子来看 我认为这样的说法是正确的String在串联运算下定义了一个幺半群 因为它是关联二元运算 并且String碰巧有一个身份元素 它是一个空字符串 scala gt Jane Doe Jane Doe res0 Boolean

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

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

  • 为什么 Javascript 函数在实例化时的行为与执行时的行为不同？

    我来自 C PHP 并试图了解 Javascript 的想法 即函数是变量 对象并且具有准构造函数等 任何人都可以解释为什么以下代码会起作用 即 为什么实例化变量 函数时不显示 2 test 为什么执行变量 函数时不显示 1 test co

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

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

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

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

  • 构造微积分中的“Refl”东西？

    在语言中 例如Agda Idris or Haskell对于类型扩展 有一个 键入类似于以下内容的内容 data a b where Refl a a a b意思是a and b是相同的 这样的类型可以定义在结构演算 https en wi

  • PolyML 函数和类型

    一对函数tofun int gt a gt a and fromfun a gt a gt int这样 fromfun o tofun n评估为n对于每一个n int 任何人都可以向我解释这实际上要求什么 我正在寻找更多对此的解释 而不是实

  • 我为什么要学习 Lisp？ [关闭]

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

  • F# 中的动态编程

    实现解决问题的动态规划算法的最优雅的方法是什么子问题重叠的问题 http en wikipedia org wiki Overlapping subproblem 在命令式编程中 人们通常会创建一个按问题大小索引的数组 至少在一维 然后算法

  • F# 静态成员类型约束

    我正在尝试定义一个函数 factorize 它使用类似于 Seq sum 的结构类型约束 需要静态成员 Zero One 和 以便它可以与 int long bigint 等一起使用 似乎无法获得正确的语法 并且无法找到有关该主题的大量资源

  • 基于函数签名的模式匹配

    在 F 中 您可以对函数签名进行模式匹配 我想用一个函数来装饰多个函数 该函数测量函数的执行情况并调用 statsd 我当前的功能是 let WrapFunctionWithPrefix metrics Metric Client IRec

  • 在同一迭代中过滤和映射

    我有一个简单的情况 我想过滤并映射到相同的值 如下所示 const files results filter function r return r file map function r return r file 为了节省代码行并提高性

  • Haskell 有 takeUntil 函数吗？

    目前我正在使用 takeWhile x gt x 1 x 89 l 从列表中获取最多为 1 或 89 的元素 但是 结果不包括这些标记值 Haskell 是否有一个标准函数可以提供这种变化takeWhile结果中包含哨兵 到目前为止 我对胡

  • 如何在ocaml中将字符串转换为整数列表？

    我需要在 ocaml 中传递两个列表作为命令行参数 我使用以下代码在程序中访问它 let list1 Sys argv 1 let list2 Sys argv 2 我需要将 list1 和 list2 作为整数列表 我收到错误 该表达式的

  • 存在函数依赖关系时类型推断如何工作

    考虑下面的代码 LANGUAGE MultiParamTypeClasses FlexibleInstances FunctionalDependencies UndecidableInstances FlexibleContexts cl

  • 如何在不进行尾调用优化的情况下用函数式编程替代方案替换 while 循环？

    我正在 JavaScript 中尝试一种更实用的风格 因此 我用诸如map和reduce之类的实用函数替换了for循环 然而 我还没有找到 while 循环的功能替代品 因为尾部调用优化通常不适用于 JavaScript 据我了解 ES6

  • 如何运行传递给模拟方法的 lambda 函数？

    我想知道是否可以运行作为参数传递给模拟函数的 lambda 函数 并在调用模拟方法时运行它 我正在使用 Mockk 我想象代码是这样的 class DataManager fun submit lambda Int gt Unit val

随机推荐

  • RESTful 比 SOAP 更快吗？何时使用其中之一？

    复制 这是 REST 服务的最佳用途是什么 以及许多其他内容 请关闭它 在网络开发中 我应该很好地学习 RESTful 服务并让我未来的所有项目都使用它吗 它比 SOAP 服务更快吗 什么时候用哪个 在某些情况下我应该选择其中一种吗 根据我

  • 为变量分配一个范围

    每当我尝试为变量分配一个范围时 如下所示 Var1 range 10 50 然后尝试打印变量 Var1 range 10 50 print Var1 它只是打印 range 10 50 而不是该范围内的所有数字 为什么是这样 那是因为ran

  • 智能指针可以与使用 new T[] 分配的数组一起使用吗？

    智能指针如何处理数组 例如 void function std unique ptr

  • 如何使用 Windows 批处理脚本将空 ASCII 字符 (nul) 写入文件？

    我尝试从 Windows 批处理脚本将 ASCII 空字符 nul 写入文件 但没有成功 我最初尝试使用echo像这样 echo

  • iOS 8 如何检测蓝牙耳机是否已插入？

    在我的项目中 我使用AVAudioSession检测任何耳机已插入或拔出 但在这种情况下 我无法检测到蓝牙设备何时插入 这是我的耳机状态代码 void audioRouteChangeListenerCallback NSNotificat

  • 更改 jenkins 管道以使用 github 而不是 gitlab

    我有一组在 jenkins 管道中运行的自动化测试 测试代码位于 gitlab 中 我从 gitlab 提取代码的部分如下所示 我使用那里已经存在的 gitlab 凭据 因为其他项目使用相同的 gitlab 凭据 我使用位于测试代码库中的一

  • 如何在 PowerShell 中添加事件操作处理程序

    终端 Gui gui cs 提供了一个Button类与Clicked事件定义为 public event Action Clicked 我正在尝试在 PowerShell 中为 Terminal Gui 编写一个示例应用程序 并且正在努力连

  • 其值显示为字符串的枚举是什么类型？

    我正在与苹果公司合作ScriptingBridge框架 并为 iTunes 生成了一个头文件 其中包含几个enum像这样 typedef enum iTunesESrcLibrary kLib iTunesESrcIPod kPod iTu

  • Int id 与 varchar id

    哪种类型的id更适合查询并用作mysql中的外键 1 大小为 20 的 Varchar id 2 Int id int 通常更好 因为它提供更好的性能 如果您的商品有自然键这是一个 varchar 你可以使用它并且它会起作用 但是 通过添加

  • 使用http基本身份验证和restful_authentication插件注销

    我在rails应用程序中安装了restful authentication插件 其中的session controller具有如下所示的销毁方法 def destroy self current user forget me if logg

  • 您可以指定日期时间的 XmlSerialization 格式吗？

    我需要将 XML 文件的日期时间序列化 反序列化为 yyyyMMdd 格式 是否有我可以使用的属性 解决方法 不 没有 如果它是这种格式 那么就 XML 模式而言 它不是有效的日期时间 您能做的最好的事情如下 XmlIgnore publi

  • Node / Express应用程序无法连接到docker mongodb

    我想运行一个使用express并连接到 boot2docker docker mongo容器的节点应用程序 当我第一次编写该应用程序时 我使用的是本地安装的 mongodb 实例 并且以下配置有效 module exports env de

  • ASP.NET MVC 中的小写 URL

    是否可以强制 扩展路由引擎以小写形式生成 URL 给出 controller action代替 Controller Action 此外 您应该强制所有大写的传入请求重定向到小写版本 搜索引擎对待 URL 区分大小写 这意味着如果您有多个指

  • Python 维护列表交集的顺序

    我有一个清单A并列出B 我想从两个列表中获取公共元素 但希望当我获取公共元素时 它们应该保持列表的顺序A 首先 我开始将它们转换为集合并采取交叉点 但这存在维持顺序的问题 common list set A intersection set

  • Angularjs-route-ui 添加默认参数

    在我的应用程序中 我使用 Angular UI Router 我有当地人 英语和希伯来语 我的基本语言是英语 这就是为什么我希望如果语言是英语则不要将参数添加到 url 例如 首页 中文 gt http example com 首页 希伯来

  • 如何下载适用于 Python 3.5.1 的 Pygame？

    我无法找到 Python 3 5 的 pygame 下载 并且当我导入 shell 时 我下载的那些似乎不起作用 帮助 这是我在 shell 上收到的消息 导入pygame 回溯 最近一次调用最后一次 文件 第 1 行 位于 导入pygam

  • 用于 TPL 数据流的 BroadcastCopyBlock 并保证交付

    我很高兴为以下实施提供一些意见BroadcastCopyBlock在 TPL 数据流中 它将接收到的消息复制到注册到的所有消费者BroadcastCopyBlock并保证交付给所有消费者 这些消费者在收到消息时链接到该块 不像Broadca

  • 如何使用反射访问显式实现的方法？

    通常 我在反射中访问一个方法 如下所示 class Foo public void M var m this GetType GetMethod M m Invoke this new object notice the pun 然而 当

  • 如何在 Rails 5.1 中关闭 BIGINT 主键

    Rails 5 1 迁移生成BIGINT 代替Integer 对于表的主键 变更日志 是否可以在配置中的某处禁用它 如果是这样 如何禁用它 根据拉取请求 不 这在配置级别是不可能的 但事实上你可以强迫id为整数 如下所示 create ta

  • 如何在 Mac 上安装 Standard ML 的工作版本？

    我使用的是 Mac OSX 10 7 5 但我似乎无法下载可用的 REPL 的标准 ML 编译器 这应该有这么难吗 我应该下载一个最好的 ML 吗 我尝试过 SML NJ 和 MLton 但没有成功 Mac 用户也可以使用 brew ins

热门标签