程序员经验分享-hwhale

SMLNJ 在输出中展开#

2024-01-04

我有以下内容：

val it = DATAX ("hello",DATAX ("world",DATAX #,DATAX #),...

有没有办法让 SMLNJ 解释器扩展“#”，以便我可以看到确切的数据是什么？谢谢！


好的。我找到了一个答案：

http://www.cs.cmu.edu/~me/212/environment.html http://www.cs.cmu.edu/~me/212/environment.html

当SML/NJ打印数据结构时， 它只打印该数据结构 一定的深度。在那个深度之下 而是打印 #。这一般是 一件好事，因为数据结构 可以非常大（甚至是循环）。 但是，默认深度 SML/NJ打印数据结构为5， 这通常是不够的。你可以 调整打印深度 数据结构通过输入， 例子，

  • Control.Print.printDepth := 10;

将深度设置为 10。SML/NJ 也 缩写列表和字符串 一定的长度。您可以设置长度 通过设置发生这种情况 Control.Print.printLength 和 Control.Print.stringDepth，以某种方式 与上述类似。

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

smlnj

SMLNJ 在输出中展开# 的相关文章

  • SML 警告：使用空列表或 NONE 选项时，类型变量未通用化

    我一生都无法弄清楚为什么以下 SML 函数在我的作业问题中抛出警告 fun my func f ls case ls of gt raise MyException head rest gt case f head of SOME v gt

  • 1个案例多种模式

    在 SML 中 一个 case 语句中是否可以有多种模式 例如 我有 4 个算术运算符以字符串形式表示 我想打印 PLUS MINUS 其中是 or and MULT DIV 如果是 or TL DR 有什么地方可以简化以下内容以使用更少的

  • NJ 的 ML 中的嵌套本地声明

    大家好 我有这段代码 local helper f i j local fun NTimesF f n int if n 1 then fn x gt f x else fn x gt f NTimesF f n 1 x in if i l

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

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

  • 抑制标准 ML 中的“val it”输出

    我正在用标准 ML SML NJ 编写一个 脚本 根据我的喜好设置交互式环境 该脚本所做的最后一件事是打印一条消息 表明一切顺利 本质上 最后一行是这样的 print SML is ready n 当我运行脚本时 一切顺利 但 SML 解释

  • 这个函数签名在sml中是什么意思？

    我正在查看我的教授关于 SML 语言的一些注释 其中一个函数如下所示 fun max gt let fun lp curr curr lp curr a l if gt a curr then lp a l else lp curr l i

  • 如何在 SML/NJ 中进行按位与运算？

    我正在编写的程序需要它 重复平方来计算 x n 我似乎找不到它的语法 或者是否支持它 它们可在Word8 and Word结构 let open Word8 infix andb orb xorb notb lt lt gt gt gt g

  • 为什么我无法在标准机器学习中比较实数？

    为什么不1 0 2 0工作 不是real平等类型 它给出了错误 Error operator and operand don t agree equality type required operator domain Z Z operan

  • 未解析的弹性记录（需要知道此上下文中所有字段的名称）

    我一直在尝试创建一个以元组列表作为参数的函数 但我不断收到错误 未解析的弹性记录 需要知道此上下文中所有字段的名称 我的代码是 fun convert d map 1 d map 2 d 这基本上是试图将一对列表转换为一对列表 我还尝试声明

  • SML 中的霍纳算法？ [关闭]

    Closed 这个问题需要调试细节 help minimal reproducible example 目前不接受答案 我正在尝试实施霍纳算法 http en wikipedia org wiki Horner 27s algorithm

  • SMLNJ 在输出中展开#

    我有以下内容 val it DATAX hello DATAX world DATAX DATAX 有没有办法让 SMLNJ 解释器扩展 以便我可以看到确切的数据是什么 谢谢 好的 我找到了一个答案 http www cs cmu edu

  • 无法确定操作系统

    When I go on terminal i installed smlnj and i type sml it gives me the error sml unable to determine architecture operat

  • 记录列表上的SML功能

    我试图声明一个函数 该函数将元组内的记录列表作为参数 但语法并不像我希望的那样直观 这就是我想做的 type Player id int privateStack int list fun foo id x xs Player player

  • SML/NJ：如何使用哈希表？

    我真的很想在 SML 中创建一个哈希表 似乎 SML NJ 中已经有一个结构 问题是 我该如何使用它 我还没有完全理解如何在SML中使用结构 并且我读过的书中的一些非常基本的示例给了我错误 我什至不知道如何纠正 所以使用HashTable结

  • 输出在 REPL 中被 # 符号截断

    我编写了一个按预期工作的函数 但我不明白为什么输出是这样的 功能 datatype prop Atom of string Not of prop And of prop prop Or of prop prop XOR A And Not

  • 何时在 SML 中使用分号？

    我知道分号在 REPL 中用作终止符 但我对何时在源文件中使用它们感到困惑 例如 之后不需要val x 1 但如果我之后省略它use foo sml 编译器会抱怨它 那么 分号的使用规则是什么呢 分号用于 SML 中的许多语法实体 它们通常

  • SML 中的柯里化匿名函数

    我有下面的功能并且它有效 fn x gt x 2 2 但这不起作用 fn x y gt x y 2 3 谁能告诉我为什么 或者给我一些提示让它发挥作用 fn x gt fn y gt x y 2 3 works fn只是没有相同的语法糖来定

  • 将其参数应用于自身的函数？

    考虑以下 SML 函数 fn x gt x x 这会产生以下错误 新泽西州标准 ML v110 72 stdIn 1 9 1 12 Error operator is not a function circularity operator

  • 解决 SML/NJ 编译管理器中的库冲突

    我正在使用 SML NJ 110 79 其中包括对 Successor ML 项目定义的新结构的支持 其中 Fn https github com SMLFamily BasisLibrary wiki 2015 005 Addition

  • 将命令行参数传递给 SML 脚本

    如何将命令行参数传递给 SML 脚本 我知道有一个CommandLine arguments 正确类型的函数 unit gt string list 但像这样调用解释器 sml script name sml an argument ano

随机推荐

  • 正则表达式在 BS4 中不起作用

    我正在尝试从 watchseriesfree to 网站上的特定文件托管程序中提取一些链接 在下面的情况下 我想要rapidvideo链接 所以我使用正则表达式来过滤掉那些文本包含rapidvideo的标签 import re import

  • PHP 显示为纯文本

    我有一个简单的表单和 php 文件 当我单击 提交 时 它只会提取一个包含 resources php 内容的纯文本文件 为什么会出现这种情况呢 索引 html

  • stdio.h 不是 C++ 标准吗？

    我知道大多数编译器都允许 include

  • 如何处理 getElementById 返回 Null

    我们的网络应用程序有很多页面 其中一些包含元素 Ribbon ListForm Display Manage Workflows Medium 而有些页面则不包含 我想使用相同的脚本来检查所有页面 该脚本将隐藏元素 Ribbon ListF

  • 衡量 jQuery 插件要求

    我正在开发一个 jQuery 插件 但我不知道哪个版本的 jQuery 对于我的插件来说是最小的 有什么方法可以衡量我的 jQuery 插件的要求吗 几个想法 我没用过这个 但快速搜索发现了 版本 https github com prot

  • Angular 6：计算列表的总和（Observable）

    我有一个订单数组 想要创建一个可观察的值来给出计算出的价格总和 我正在使用 Angular 6 import map reduce isEmpty from rxjs operators import Observable from rxj

  • 调试嵌套 NSCollectionView

    我不太确定如何开始调试这个问题 我有一个 NSCollectionView 其 NSCollectionViewItem 原型视图本身包含一个 NSCollectionView 以及一个 NSArrayController 为这个第二级集合

  • Webpack2，如何从构建中排除react和react dom

    我的目标是使用 webpack 为 ES6 中的 React 组件库创建一个模块 我在用 webpack 2 1 0 beta 25 反应 15 4 1 我需要分配react and react dom作为peerDependency 因此

  • Cloudfront 提供通过 AWS CDK Python 为 S3 存储桶源创建的访问被拒绝响应，无需公共访问

    使用 AWS CDK 为 S3 存储桶创建了 Cloud Front Web 分发 无需公共访问 能够创建原始访问身份并进行部署 但在成功部署后 我在浏览器上收到访问被拒绝的响应 授予存储桶读取权限from Origin 设置将设置为 No

  • 使用 Python 2.7 在 Windows 上运行 Scapy

    我喜欢在 Windows 7 下使用 Scapy 和 Python v2 7 如何安装 Python 2 7 所需的模块 pypcap 是否可以使用 py2exe 等分发工具将依赖于 Scapy 的 Python 脚本制作成独立的 Wind

  • 防止在输入之间拖放文本选择

    我已经在最新的 chrome 和 IE11 中对此进行了测试 可以在一个输入中选择文本 然后将其拖动到另一个输入 至少在 IE11 和 chrome 中是这样 我想阻止这种情况发生 我发现了很多示例 教程 展示了如何在如何实现拖放的示例中防

  • 使用除零之外的其他内容预分配 MATLAB matfile 中的大型数组

    我需要将一个太大而无法放入内存的数组写入 mat 二进制文件 这可以通过以下方式完成matfile http www mathworks co uk help matlab ref matfile html命令 该命令允许随机访问光盘上的

  • 对 ComboBox 使用 NativeWindow 会导致 Dispose 方法出现异常

    在 C Windows Forms 中 我想拦截组合框的粘贴窗口消息 由于这无法通过覆盖组合框的 WndProc 方法来实现 因为我需要覆盖组合框内文本框的 WndProc 所以我决定创建一个 NativeWindow 类型的自定义类来覆盖

  • SimpleITK N4BiasFieldCorrection，不适用于任何数据类型

    刚刚安装了最新版本的 SimpleITK 我正在尝试运行一个简单的代码 im sitk ReadImage img nii gz im bin sitk ReadImage img bin nii gz im bfc sitk N4Bias

  • 使用 DB::raw 和 Eloquent 的相同查询得到不同的结果

    运行 Eloquent 连接查询时 我得到了一些意外的结果 使用完全相同的查询我得到两个不同的结果 第一个使用 DB raw 运行 第二个使用 Eloquent 运行 在 Eloquent 查询中 匹配的用户 where squad use

  • 具有多个输入的 Keras 功能模型

    Edit 基本上我需要以下方面的建议 给定 100 张图像 256 256 3 的集合 分为 4 个四边形 128 128 3 如何将其传递给需要 4 个输入 4 个四边形 的模型 Edit 2 我已经对更具体的脚本进行了更多的修改 正如我

  • 使用 R 循环执行 SQL 查询，每次替换一个变量

    我目前使用 R 连接到 sql 数据库并提取信息 我在 R 中使用的一段特定代码如下所示 Joe lt dbGetQuery jdbcConnection SELECT priv check protocol id FROM LHS ONC

  • Cefsharp 没有在客户端计算机上启动？

    添加什么 net 4 5 1 Visual C 2012 Redistribution为了使 cefsharp 在客户端计算机上工作 我安装了两个 net 4 5 1 Visual C 2012 Redistribution package

  • 如何从 PHP 多维数组中删除重复值

    如何从 PHP 中的多维数组中删除重复值 数组示例 Array 0 gt Array 0 gt abc 1 gt def 1 gt Array 0 gt ghi 1 gt jkl 2 gt Array 0 gt mno 1 gt pql 3

  • SMLNJ 在输出中展开#

    我有以下内容 val it DATAX hello DATAX world DATAX DATAX 有没有办法让 SMLNJ 解释器扩展 以便我可以看到确切的数据是什么 谢谢 好的 我找到了一个答案 http www cs cmu edu

热门标签