将Haskell的GHCi中的工作目录更改为带空格的路径

在Haskell的GHCi中，要将工作目录更改为带空格的路径，可以按照以下步骤进行操作：

打开GHCi终端。
输入:cd命令，后面跟着要更改的目录路径，例如：:cd "C:/My Documents/Code"。注意，路径需要用双引号括起来。
按下Enter键，GHCi会将工作目录更改为指定的路径。

这样，你就成功将Haskell的GHCi中的工作目录更改为带空格的路径了。

Haskell是一种函数式编程语言，具有静态类型系统和强大的类型推导能力。它的主要优势包括代码的安全性、表达能力强、并发编程支持好等。Haskell在函数式编程、编译器开发、科学计算等领域有广泛的应用。

腾讯云提供了云计算相关的产品和服务，其中与Haskell开发相关的产品包括云服务器、云数据库、云存储等。你可以通过腾讯云官网了解更多关于这些产品的详细信息和使用方法。

腾讯云官网：https://cloud.tencent.com/
云服务器：https://cloud.tencent.com/product/cvm
云数据库：https://cloud.tencent.com/product/cdb
云存储：https://cloud.tencent.com/product/cos

相关·内容

热爱函数式的你，句句纯正的 Haskell【类型篇】

调试目前 Haskell 的主要编译器是 GHC，下载地址，你可以创建 .hs 文件，用 Notepad++ 打开。 GHCi 是 GHC 的一部分，可以解析、调试 Haskell 程序。...认识下 GHCi 中的命令： :l 用来导入当前路径或者指定路径下的文件； Prelude> :l "C:\\Users\\ User\\Desktop\\HelloWorld\\HelloWorld.hs..." :r 用来重新导入当前的源代码文件； :cd 改变当前GHCi的路径； Prelude> :cd C:\Users\User\Desktop :edit 用默认的文本编辑器编辑当前导入的文件...我们在下一小节做更为细致的说明“类型类”~ 类型别名一个数据的类型可以由多个其他的类型组成，在 Haskell 中，可以用 type 关键字将这些复杂的类型替换成为其他简单的名字； Prelude>...每个类型类下面都写了一些该类型类中预定义的函数，我们可以接着打印输出体验： // fromInteger 是 Num 类型类下的函数，可以将一个一个的整数转为一个重载的数类型 a Prelude> :t

9543 0

模块_Haskell笔记2

，不用关注环境区别，具体见import qualified in GHCI 二.声明模块用来组织代码，比如把功能相近的函数放到同一个模块中例如二叉树的模块定义： module BTree -- 声明要暴露出去的函数及数据类型...=> i -> a -> [a] nub, delete, union, intsect, group, sort, insert, maximum, minimum都通过==来判断是否相等，也提供了更通用的允许自己判断相等性的版本...所以 (==) `on` compare `on` 都是非常棒的惯用套路 P.S.可以通过:browse 命令查看模块中的所有函数及数据类型定义的类型声明 Data.Char String...(subtract shift) . ord -- 或者技巧性更足的 decode shift = encode $ negate shift Data.Map 字典是键值对的无序列表，以平衡二叉树的形式存储...Set.fromList 集合去重效率高于List.nub，但缺点是构造集合会对元素进行排序，所以得到的去重结果不保留原顺序（List.nub会保留）参考资料 Haskell/Modules Haskell

1.7K3 0

Haskell 自定义type与typeclass

部分类似于OOP中的class，上文中的值构造器类似于class的构造方法，Book可以认为是构造方法的方法名，java等一些语言中构造方法是与class是同名的，但是Haskell中很明显没有这种约束...，Haskell中类型构造器和值构造器的命名是独立的, 所以其实值构造器是可以与类型构造器同名的，即上面的例子可以写成：data BookInfo = BookInfo Int String [String...] 可以将值构造器看作是一个函数：它创建并返回某个类型的值。...下面的例子中我们将Int String [String] 三个类型的值应用到Book, 从而创建一个BookInfo类型的值 csapp = Book 123456 "Computer Systems:...的instance，而map就是fmap的实现(这一点看下ghci中:info Functor的打印结果就能确认)。

721 0

Heskell与函数式编程

导语 :这个系列打算分为三部分，由浅入深地介绍所谓的函数式编程 1）Haskell入门 2）Monad介绍 3）函数式编程的思想 Haskell简介 Haskell诞生于1990年，是一门纯函数式编程语言...就一行代码，涉及了三个函数 1）filter ：从价格集合中筛选出大于20的价格，形成新的集合 2）map：对1中产生的新集合进行变换处理，这里的处理是每个元素*0.9，也就是打九折 3）sum：对2中产生集合进行求和处理...编写第一个Haskell 编写Haskell之前需要把Haskell Platform下载下来（https://www.haskell.org/platform/），安装后使用ghci就可以进行Haskell...我的电脑是Windows，在Windows下打开cmd，输入ghci，就能进入编程界面，在这个界面能够进行简单的编码，比如下面： ? 这里简单的进行了一次 3+5的求和操作。...写完保存成文件（这里保存为cal.hs），以.hs作为后缀，在对应目录的命令行下面输入 :l 文件名 ? 调用自定义的函数findMax，输入参数1 3，然后就能够看到输出最大值3了。

8287 0

来看看几种 Monad来看看几种 Monad

对于此，我们抽象出 Applicative typeclass，这就是我们想要问的问题： () :: (Applicative f) => f (a -> b) -> f a -> f b 我们也看到我们可以将一个正常的值包在一个数据型态中...皮尔斯决定要辞掉他的工作改行试着走钢索。他对走钢索蛮在行的，不过仍有个小问题。就是鸟会停在他拿的平衡竿上。他们会飞过来停一小会儿，然后再飞走。这样的情况在两边的鸟的数量一样时并不是个太大的问题。...do 表示法 Monad 在 Haskell 中是十分重要的，所以我们还特别为了操作他设置了特别的语法：do 表示法。...] 将左边 list 中的元素乘上右边 list 中的元素这样所有的组合全都被放进结果的 list 中。...'b'] return (n,ch) 这样写可以更清楚看到 n 走过 [1,2] 中的每一个值，而 ch 则取过 ['a','b'] 中的每个值。

1K2 0

newtype_Haskell笔记8

一.ZipList与List 在List场景，xs ys表示从左侧xs中取出函数作用于右侧ys中的每一项，有两种实现方式：笛卡尔积拉链式的一一结对分别对应[]和ZipList，例如： import...类定义的行为，具体见Functor与Applicative_Haskell笔记7 二.newtype ZipList就是因这个场景而产生的，本质上是对List的包装，定义如下： newtype ZipList...type 给现有类型起别名，得到的东西完全等价于原类型，可无条件换用/混用想让类型签名更清楚（语义化）的时候 newtype 将现有的类型包成一个新的类型，得到的类型与原类型不同，不能换用/混用想让现有类型具有一种不同的接口...（typeclass）实现时四.newtype与惰性计算 Haskell中大多数计算都是惰性的（少数指的是foldl'、Data.ByteString之类的严格版本），也就是说，计算只在不得不算的时候才会发生...，后者则不需要但奇怪的是，Tuple明明只有一个值构造器（不需要“看应该用Tuple的哪个值构造器”）： data () = () 我们知道没必要去检查应该用Tuple的哪个值构造器，但Haskell

6143 0

深入typeclass_Haskell笔记4

零.Typeclass与Class Typeclass就是Haskell中的接口定义，用来声明一组行为 OOP中的Class是对象模板，用来描述现实事物，并封装其内部状态。...FP中没有内部状态一说，所以Class在函数式上下文指的就是接口。...后两条函数实现是可选的，通过间接递归定义来描述这两个函数的关系，这样只需要提供一个函数的实现就够了（这种方式称为minimal complete definition，最小完整定义） P.S.GHCi环境下...返回一个具体类型，而Either :: * -> * -> *表示Either接受2个具体类型参数，返回一个具体类型，类似于函数调用，也有柯里化特性，可以进行部分应用（partially apply）还有一些更奇怪的...（即类型约束，经常在函数签名的=>左边看到），例如Num，具体见What does has kind ‘Constraint’ mean in Haskell

4981 0

铁定不纯的IO_Haskell笔记5

写在前面一直有个疑惑，Haskell号称纯函数式语言，那么铁定不纯的场景（肯定有副作用，或者操作本身就是副作用）如何解决？...Haskell的做法其实类似于React的componentDidMount()等组件生命周期函数，React建议（道德约束）保持render()是纯函数，带有副作用的操作挪到componentDidMount...Haskell提供了do语句块，也是用来隔离不纯的部分的一.I/O action 先看个函数类型： > :t print print :: Show a => a -> IO () print函数接受一个...放到do语句块里在GHCi环境输入I/O Action再回车，如putStrLn "hoho" 执行可以把main当做普通函数在GHCi环境下执行，例如： > :l echo [1 of 1] Compiling...，map, filter等工具函数能够帮助剥离样板代码（openFile, hClose等一板一眼的操作），更专注于关键逻辑所以，withFile所作的事情就是按照传入的文件路径和读取模式，打开文件，

1.3K3 0

ghci中的一些命令与case 【持续更新...】

ghic中模式匹配按照rwh书中模式匹配一节中sumList的例子在ghci敲出这样的代码： Prelude> sumList (x:xs) = x + sumList xs Prelude> sumList...[] = 0 调用这个函数时是会报一个错误的： Prelude> sumList [1,2,3] *** Exception: :2:1-14: Non-exhaustive...patterns in function sumList 而实际如何要在ghci中做一个模式匹配函数的话应该这样写： Prelude> let { sumList' [] = 0; sumList'...(x:xs) = x + sumList' xs } Prelude> sumList' [1,2,3] 6 ghci中切换工作目录与查看当前工作目录 Prelude> :cd /tmp/ Prelude...使用:cd 命令切换到指定目录使用:show paths目录查看当前工作目录

711 0

基础语法_Haskell笔记1

)double x = x * 2 isEven x = x - x `div` 2 * 2 == 0 x `mod'` y = x - (x `div` y) * y 形式与函数调用差不多，函数名加空格分隔的参数列表...，例如： > :t 2 2 :: Num t => t 或者更生动的例子： -- 无参函数，就是const two = 1 + 1 匿名函数匿名函数即函数表达式，在Haskell中称之为lambda。....匿名函数中的->与类型声明中的->语义相同，都表示“映射到”（maps to）函数组合数学中的函数组合的表达方式是f·g(x) = f(g(x))，Haskell与之类似： fg = f . g...作用域扩展到当前函数/List Comprehension，如果是在GHCi环境，在整个交互过程都可见 Case表达式最常见的case表达式就是函数定义时参数的模式匹配（case表达式的语法糖）： tail...、where、let、List Comprehension等特定场景）六.数据结构 List Haskell中的List是单一类型数组，例如： emptyArr = [] numbers = [1,

1.9K3 0

Haskell Type与Typeclass

Type ghci中可以用:t检测表达式的类型 Prelude> :t "a" "a" :: [Char] 函数也有类型，编写函数时给一个明确的类型声明是一个好习惯 removeNonUppercase...> tip: 按照其他语言中的习惯，Int,Int,Int -> Int好像看起来更为恰当一些，但实际haskell中->只有一个作用：它标识一个函数接收一个参数并返回一个值，其中->符号左边是参数的类型...haskell中所有函数都是只接收一个参数的，所有函数都是currying的。...它可以取任一Show的成员类型并将其转为字符串 Prelude> show [1,2,3] "[1,2,3]" Prelude> show True "True" Read与Show相反，read函数可以将字符串转为..."5" *** Exception: Prelude.read: no parse 这是因为haskell无法推导出我们想要的是一个什么类型的值，read函数的类型声明： Prelude> :t read

691 0

七夕送礼很发愁？自己编写一个区块链送女友吧~

本协议将开发一个简单的块状数据结构，以便在Haskell中演示：编写二进制串行器和解串器使用加密原语来计算哈希值根据预算时间自动调整矿工难度我们将其命名为Haskoin。...让我们将其交给 Data.Binary 中的decode 与 encode 。...没有困难，所以矿工无法证明他们已完成任何工作。我认为这些都是挖矿问题，因为矿工运行的代码需要处理这些问题。对于#3 我们将等到 Networking 来解决. 其余的问题可以现在解决。..., 放在他自己的快中。...your Own Blockchain in Haskell / 使用 Haskell 编写自己的区块链译者：mylxiaoyi 、CY2、Render、Pamela

92616 0

Haskell 基础

第一个函数创建doubleMe.hs文件，编写如下代码: doubleMe x = x + x 保存，打开ghci,输入 Prelude> :l doubleMe.hs 这样我们就加载了我们的doubleMe...中的if语句与其他语言不同，else是不可以省略的 doubleSmallNum x = if x > 10 then x else x * 2 Haskell 中的 if 语句的另一个特点就是它其实是个表达式...1 2 上面的例子就是从列表l中取下标为1的元素 list可以用来装list: Prelude> let l = [[1,2,3], [1,2,3,4], [1,2,3,4,5]] haskell不要求每个元素的长度一致...x是否是奇数，如果是则返回True 还可以从多个list中取元素： [x*y | x <- [1,2,3], y <- [4,5,6]] [4,5,6,8,10,12,12,15,18] 实现自己的...返回序对的尾项 Prudule> fst (1,2,[1,2,3]) 1 Prudule> snd (1,2,[1,2,3]) [1,2,3] zip 将两个list交叉配对生成一组Pair Prudule

691 0

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（类型系统）

再看 Haskell，在 ghci 中使用 :t 可以输出类型： :t "" // :: [Char] :t 'a' // :: Char :t 3 // :: Num a => a...也有人这样说，类是带函数的数据，闭包是带数据的函数。...这和 SQL 中的 select 1 from xxx 再求和的写法没啥区别嘛。 2、模式匹配。这大概是 Haskell 中我最喜欢的部分。模式匹配在函数的定义里面使用起来简直太漂亮了。...Haskell 的情况就更特别了，因为 Haskell 里面没有类的概念，但是有一些特性使用起来效果是差不多的。...另外，这也不是教程，只是按照特性的比较和整理，如果要系统学习 Groovy 或者 Haskell，还是需要寻找相应的教程，通常在官网上的资料就很不错。下一部分将谈到这几门语言的元编程。

5445 0

如何自己开发漏洞扫描工具视频_系统漏洞扫描工具有哪些

，这样才能识别，如： 1、将openssl安装目录下的：C:\Program Files\OpenSSL-Win64\lib 拷贝到 D:\Python\libs 2、将openssl安装目录下的：C:...() 2、路径带空格的问题这份代码这方面没考虑周全，如果部署的路径带空格，就会报路径错误，比如“D:\Program Files”路径，我们要么就不要部署在带空格的路径下，要么直接改他的代码，比如：...中，如D:\Tools\Python\Scripts，假如你没找到，那就需要在代码路径下搜索，是否装在代码目录下了，比如在：SafeTool-51testing\venv\Scripts 这是因为我们用...set显示的选项中带*号的是必选项，其他的根据需要进行设置。...全局配置文件开始第一步：先看基础路径配置，整个项目的目录结构就在这里第二步，配置字典路径，漏洞检测模块需要用到的字典，统一放在这个路径下第三步：配置插件路径，新增的插件统一按下面的格式配置

2.1K2 0

成为函数式编程工程师四年，我为什么说它既“流氓”又“可爱”

在这个 Java 应用程序中，我把很多代码从使用 null 改为使用一个通用的可选数据结构，这样可以更清楚地传达值可能不存在的情况。...于是，我也就能删除很多防御性的 null 检查，同时修复一些不常见代码路径中的 NPE。...在这个 Java 应用程序中，我将很多有状态的函数转换为无状态的函数，让代码更加简洁，并修复了一些错误。...我的答案是：不一定。 “流氓”的函数式编程为了说明我的观点，我决定在函数式编程语言 Haskell 中实现快速排序。...如果你了解 Haskell 的语法，它就很容易理解，而且没有什么排序代码比它更容易维护的了（好吧，filter 确实应该被 partition 取代，因为 filter 会破坏信息；使用 filter

3362 0

CISP-PTE 2019综合题解

发现http是部署在27689端口上的，访问一下 ? 放到御剑中目录扫描 ? 发现有备份文件和robots.txt，先看看robots.txt的内容 ?...选择一个aspx的一句话木马（我提前改为了.jpg） ? 先尝试一个成功的 ? 点击管理上传文件，发现文件名前面有一串字符，提示说，如果文件名过长则会被系统截取32位 ?...重新上传，并且将文件名随意填充 ? 回到管理上传文件中，发现刚好被截断了，只剩.aspx ? 根据前面robots.txt中的/upfile路径，尝试访问，发现404未找到 ?...回到管理上传文件中，复制下载链接 ? 放到浏览器中，删除任意字符，使其报错 ? 发现网站路径中，还有affix这个文件夹，加上去访问 ? 没问题，打开菜刀连接 ? 连接成功 ?...更改语句，使用type查看key的内容，但是因为目录带空格，所以我们需要用双引号括起来 ?

2.7K6 0

Qt软件开发_解决中文路径无法识别问题

前言在QT for Windows 下编程时，经常因为一些中文路径、带空格的路径导致一些问题出现。目录无法打开、文件无法打开、程序无法调用等等。下面记录一些出现问题的场景，并提供一些解决办法。..._chdir切换带空格的目录 chdir 是C语言中的一个系统调用函数（同cd），用于改变当前工作目录，其参数为Path 目标目录，可以是绝对目录或相对目录。...在Qt里调用_chdir函数切换当前工作目录时，如果目录有空格或者中文会导致路径切换失败。...参数在QStringList中作为单个字符串提供。或者，可以将程序设置为使用setProgram()和setArguments()运行，然后调用start()或open()。...直接使用QProcess 调用会失败，就就算使用QProcess设置工作路径也没有用，必须切换到应用程序所在的目录下，然后使用相对路径运行。

2.8K3 0

批处理for详解_python批处理

bbs.bathome.net 这个字符串中的点号换为空格、跳格或等号，执行结果将和example2的执行结果别无二致。...请把[txt1]中不同位置上的标点符号改为空格或跳格，再运行[code4]试试。进阶话题：如果我要指定的符号不止一个，该怎么办？...更详细的解释就是：在下面的语句中，如果“元素集合”中只是一个点号，那么，这条语句的作用就是：列举“目录”及其之下的所有子目录，对这些文件夹都执行“命令语句集合”中的命令语句。...“目录路径\元素”格式的新字符串，然后，对每一条这样的新字符串执行“命令语句集合”中的每一条命令；　　特别的是：当“元素集合”带以点号分隔的通配符?...”时，则针对当前目录；　3、当元素集合中仅仅是一个点号的时候，将只列举目录路径； (二)for /r 还是 dir /ad /b /s？

3.5K2 0

如何在 Linux 中使用空格处理文件名？

您会注意到一件事，Linux 中的文件通常不包含名称，您的老师或同事在文件和目录名称中使用下划线而不是空格。...如果您尝试直接使用带空格的文件名，它将被视为单独的参数，而不仅仅是一个参数。...读取文件名中带有空格的文件要使用包含空格的文件名，可以将其用引号括起来，如下所示： cat "file name with spaces" 你也可以用反斜杠转义每个空格，但它比以前的方法工作更多，也更混乱....png] 处理文件夹名称中的空格您可以像创建文件一样创建名称中带有空格的目录。...mkdir "new dir" 现在，如果你想切换到这个目录，你会有一个带空格的路径。但这对你来说应该不再是问题了，要 cd 进入带有空格的目录，请再次使用引号或反斜杠。

4K0 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云