热门标签 | HotTags
当前位置:  开发笔记 > 前端 > 正文

为什么在Haskell中不将访问System.Info视为IO操作?

如何解决《为什么在Haskell中不将访问System.Info视为IO操作?》经验,为你挑选了2个好方法。

在模块中,System.Info我看到以下功能:

os :: String
arch :: String
compilerName :: String
compilerVersion :: Version

为什么没有IO那里?他们正在访问系统...我错了吗?我的期望是:

os :: IO String
arch :: IO String
compilerName :: IO String
compilerVersion :: IO Version

用例:

os :: String
arch :: String
compilerName :: String
compilerVersion :: Version

chepner.. 26

您不会在运行时获得该信息。它们在系统中安装时在编译器中进行了硬编码。

如果你看一下定义,这是最明显的compilerName,如发现http://hackage.haskell.org/package/base-4.12.0.0/docs/src/System.Info.html。

compilerName :: String
compilerName = "ghc"

但即使像 os

os :: String
os = HOST_OS

可以使用未定义的名称HOST_OS(以大写字母开头的值??)来定义,这表示只是一个占位符,在安装过程中会被替换。

有人也可以纠正我(请!),但是该{-# LANGUAGE CPP #-}文件顶部的编译指示建议HOST_OS在编译之前用C预处理程序将类似的字符串替换为适当的字符串。



1> chepner..:

您不会在运行时获得该信息。它们在系统中安装时在编译器中进行了硬编码。

如果你看一下定义,这是最明显的compilerName,如发现http://hackage.haskell.org/package/base-4.12.0.0/docs/src/System.Info.html。

compilerName :: String
compilerName = "ghc"

但即使像 os

os :: String
os = HOST_OS

可以使用未定义的名称HOST_OS(以大写字母开头的值??)来定义,这表示只是一个占位符,在安装过程中会被替换。

有人也可以纠正我(请!),但是该{-# LANGUAGE CPP #-}文件顶部的编译指示建议HOST_OS在编译之前用C预处理程序将类似的字符串替换为适当的字符串。


如果OP确实确实希望在其中添加一些“ IO”,则可在Hackage上使用“ uname(3)”周围的包装器:http://hackage.haskell.org/package/bindings-uname

2> Carl..:

这个问题是一个好问题。答案是这样的:每个程序编译这些值都是静态的。它们本质上已编译到程序中,此后再也不会更改。因此,如果将它们视为常量,则任何东西(在GHC使用的假设下)都不会中断。而且,使用简单的常量比执行IO操作更为方便。

但这就是所有的遗留推理。Haskell是一门古老的语言。(不,它比Java早了几年。)已经建立了许多不再被认为是最佳实践的推理库。这些就是例子。暴露它们的现代库很可能会使它们执行IO操作,即使编译后结果不变。将不是源常量的东西放在IO操作后面会更有用,尽管仍然存在一些值得注意的例外,例如Int在32位和64位平台之间更改大小。

无论如何...我想说的是您的期望是坚定的,而这些类型是历史古怪的结果。


推荐阅读
  • 深入理解OAuth认证机制
    本文介绍了OAuth认证协议的核心概念及其工作原理。OAuth是一种开放标准,旨在为第三方应用提供安全的用户资源访问授权,同时确保用户的账户信息(如用户名和密码)不会暴露给第三方。 ... [详细]
  • 2023 ARM嵌入式系统全国技术巡讲旨在分享ARM公司在半导体知识产权(IP)领域的最新进展。作为全球领先的IP提供商,ARM在嵌入式处理器市场占据主导地位,其产品广泛应用于90%以上的嵌入式设备中。此次巡讲将邀请来自ARM、飞思卡尔以及华清远见教育集团的行业专家,共同探讨当前嵌入式系统的前沿技术和应用。 ... [详细]
  • 本文总结了2018年的关键成就,包括职业变动、购车、考取驾照等重要事件,并分享了读书、工作、家庭和朋友方面的感悟。同时,展望2019年,制定了健康、软实力提升和技术学习的具体目标。 ... [详细]
  • 在计算机技术的学习道路上,51CTO学院以其专业性和专注度给我留下了深刻印象。从2012年接触计算机到2014年开始系统学习网络技术和安全领域,51CTO学院始终是我信赖的学习平台。 ... [详细]
  • 本周信息安全小组主要进行了CTF竞赛相关技能的学习,包括HTML和CSS的基础知识、逆向工程的初步探索以及整数溢出漏洞的学习。此外,还掌握了Linux命令行操作及互联网工作原理的基本概念。 ... [详细]
  • 技术分享:从动态网站提取站点密钥的解决方案
    本文探讨了如何从动态网站中提取站点密钥,特别是针对验证码(reCAPTCHA)的处理方法。通过结合Selenium和requests库,提供了详细的代码示例和优化建议。 ... [详细]
  • CSS 布局:液态三栏混合宽度布局
    本文介绍了如何使用 CSS 实现液态的三栏布局,其中各栏具有不同的宽度设置。通过调整容器和内容区域的属性,可以实现灵活且响应式的网页设计。 ... [详细]
  • 本文探讨了如何像程序员一样思考,强调了将复杂问题分解为更小模块的重要性,并讨论了如何通过妥善管理和复用已有代码来提高编程效率。 ... [详细]
  • 本文详细介绍了如何解决Uploadify插件在Internet Explorer(IE)9和10版本中遇到的点击失效及JQuery运行时错误问题。通过修改相关JavaScript代码,确保上传功能在不同浏览器环境中的一致性和稳定性。 ... [详细]
  • 本文介绍了如何利用JavaScript或jQuery来判断网页中的文本框是否处于焦点状态,以及如何检测鼠标是否悬停在指定的HTML元素上。 ... [详细]
  • python的交互模式怎么输出名文汉字[python常见问题]
    在命令行模式下敲命令python,就看到类似如下的一堆文本输出,然后就进入到Python交互模式,它的提示符是>>>,此时我们可以使用print() ... [详细]
  • 火星商店问题:线段树分治与持久化Trie树的应用
    本题涉及编号为1至n的火星商店,每个商店有一个永久商品价值v。操作包括每天在指定商店增加一个新商品,以及查询某段时间内某些商店中所有商品(含永久商品)与给定密码值的最大异或结果。通过线段树分治和持久化Trie树来高效解决此问题。 ... [详细]
  • Java 中的 BigDecimal pow()方法,示例 ... [详细]
  • Linux 系统启动故障排除指南:MBR 和 GRUB 问题
    本文详细介绍了 Linux 系统启动过程中常见的 MBR 扇区和 GRUB 引导程序故障及其解决方案,涵盖从备份、模拟故障到恢复的具体步骤。 ... [详细]
  • 本文总结了汇编语言中第五至第八章的关键知识点,涵盖间接寻址、指令格式、安全编程空间、逻辑运算指令及数据重复定义等内容。通过详细解析这些内容,帮助读者更好地理解和应用汇编语言的高级特性。 ... [详细]
author-avatar
0龙麒麟0
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有