System F中的Zip函数

文章/答案/技术大牛

发布

1回答

lambda-calculus、type-theory、system-f

head : 'a) . λ(tail : list 'a 'x) . λ(c : 'a -> 'x -> 'x) . λ(e : 'x) . c head (tail c e) 我正在尝试定义类型为zip的函数 zip : forall 'a, 'b, 'c, 'x.('a -> 'b -> 'c) -> list 'a 'x -&g

浏览 30提问于2019-05-26得票数 1

回答已采纳

2回答

我如何压缩一个目录，然后返回结果字节数组，而不在磁盘上物理创建zip文件？

c#、.net

请注意，我是在.net MVC项目中编写代码的。我有一个包含子目录和文件的目录(文件夹)。我的任务是编写一个返回压缩目录的FileResult的函数。physically return File(zipFilePath,"application/zip",zipFileName); 一切都很好，但我想知道是否可以有一种更快的方法直接从内存流中通过上面的方法要求我在函数调用后手

浏览 19提问于2020-01-16得票数 2

回答已采纳

1回答

C++不接受对象字符串中的@符号吗？似乎是地址问题？

c++、string、oop、vector

在将数据保存和加载到二进制文件时，我遇到了以下代码的问题。我有一段非常相似/完全相同的代码，可以处理不同的对象。我认为这与电子邮件地址和@符号有关。下面是一些重要的函数。*ppointer = new Patron_Class();ppointer->save(file);fclose(file); 这是我用来将我的对象保存到文件中的

浏览 3提问于2013-03-03得票数 0

2回答

如何在函数式编程(F#)中将行号添加到文本文件中？

f#、seq、readlines

count.ToString()) line count <- count + 1let rec addIndex (startInd:int) l= |x::xs -> startInd.ToStringCollections.Generic.IEnumerable<string> -> &#

浏览 4提问于2015-09-22得票数 5

回答已采纳

3回答

如何在FSharp中压缩文件？

.net、f#、zip

粗略的Google搜索并没有返回任何简单易懂的东西(我是函数式编程的新手)。let zip f = <e

浏览 2提问于2010-12-29得票数 1

回答已采纳

4回答

Seq.zip in F#可能需要额外的序列元素才能完成

haskell、f#

让我们使用Seq.zip两个F#序列，一个由列表表示，另一个由应用于无限序列的Seq.filter表示：|> Seq.filter ((>)Error: Enumeration based on System.Int32 exceeded System.Int32.MaxValue.尽管由字母列表表示的另一个参数暗示只有两个筛选过的元素就足以执行函数规范的

浏览 7提问于2011-08-29得票数 9

回答已采纳

1回答

从一个流下载文件，并将其保存到另一个流中，而不将所有数据放入内存中。

c#、.net、azure

我完全是个处理溪流或类似事情的新手，所以如果你看到任何明显的错误.怪不得。我有一些档案保存在蔚蓝上。我需要拿起文件，把它们拉上来，然后把拉链还给我。我已经用一个1GB的文件对此进行了测试，虽然它工作正常，但它最终使用了2.5GB的内存。当最后一行开始时和完成时，内存使用量会激增。正确的方法是什么？我唯一能想到的就是在某个地方指定缓冲区大小，但是我看到的任何地方都有一个小的缺省值。FileStream zipToOpen = new FileStream

浏览 0提问于2018-02-08得票数 0

回答已采纳

2回答

Os.system() -更改zip命令，为不同的日期时间提供不同的文件名

python、zip、os.system

我正试图在创建的zip文件夹中添加日期时间戳来压缩目录。我该怎么做呢？我试过这样的方法：import os if backup_zip: name = dt + "folder.zip" o

浏览 3提问于2020-03-03得票数 2

回答已采纳

2回答

删除目标文件夹中特定类型的zip文件(如果它们是在七天前创建的

java、file

我将一个zip文件从源目录移动到目标目录，但由于目标目录可能还包含一些其他文件，如文本文件、图像、文档文件、zip文件等。我必须查找和跟踪其名称是以abcd模式开头的压缩文件，然后它可能是任何像abcd4567fg.zip的东西，所以我必须捕获这样的压缩文件，也必须查看它们的创建时间，因为我的最终目标不是将这些名称以abcd开头的压缩文件保留在目标目录中，如果它们是在七天前创建的，我已经提出了以下解

浏览 3提问于2013-09-14得票数 0

1回答

根据业务标准压缩文件夹/文件

java、algorithm、recursion、data-structures

我有一个要求，我需要根据文件的创建日期压缩每个单独的文件或文件夹。因此，如果文件夹下的所有文件都满足压缩文件夹所需的业务条件，则需要压缩单个文件。因此，对于示例，如果我具有如图所示的目录结构，让我们假设文件夹6下的所有文件都满足条件，但不是文件夹7下的所有文件都满足条件，那么满足文件夹7下的条件的文件将被压缩，但整个文件夹6将被压缩。如果文件夹6、文件夹7和文件夹3下的所有文件都满足条件，则文件夹3将被压缩；如果文件

浏览 15提问于2019-07-16得票数 1

回答已采纳

1回答

使用python和解压从url获取数据。

python、python-3.x、pandas、python-2.7

问题:我想从下面的url中获取数据，但是，我得到了以下错误消息。我想知道你是否能指导我改正我的错误。感谢您的宝贵时间！/data_Q1_2016.zip'} os.system('mkdir data')for file in urls.keys') with open('data/' + file + '&#

浏览 9提问于2021-03-02得票数 0

2回答

perl cgi解压缩上传的文件

perl、upload、cgi、unzip

我在一个web服务器上工作，在那里用户可以上传zip文件。上传后，它应该解压文件。我尝试了系统命令解压缩以及Archive::Extract模块。

浏览 1提问于2011-07-14得票数 0

1回答

控制台应用程序创建空zip文件

c#、zip

不知何故，我的控制台应用程序在运行时创建了空的(0字节) Zip文件。但是，如果我设置了一个断点，并使用F10遍历压缩函数，则可以正常创建zip。这种行为在两台电脑上是一样的，我已经尝试过用DotNetZip和SharpZipLib压缩，但都没有效果。压缩函数(使用System.IO.Packaging)如下所示： private static void CreateModVersionZip(string path, string

浏览 11提问于2016-08-26得票数 0

2回答

我如何按照F# Lint的建议使用“I”

linq、f#、static-analysis

我在比较两张唐人街的清单。由于我比F#更熟悉Linq，所以我做了以下工作：let r1 = (rows1.Zip (rows2, fun r1 r2 -> rowComparer r1 r2)) .All (fun f -> f) 这引发了来自F# linter的两个抱怨。其中，我可以理解后者，并尝试了如下：let r1 = (rows1.Zip (rows2, fun r1 r2 -> rowComparer r1 r2)) .Al

浏览 0提问于2018-10-11得票数 1

回答已采纳

2回答

将压缩的JPG转换为PDF

linux、shell、pdf、zip、converter

我有一个文件夹，里面有很多ZIP文件。每一个都包含一个文档的扫描页面，我需要转换为PDF。x.zip和y.zip的结果需要是x.pd_f和_y.pdf。我读了，看到convert -compress Zip *.jpg output.pdf把JPG变成了一个PDF格式，但是我的JPG是压缩的。对于Linux (Ubuntu15.10)是否有一行命令可用于完成所有文件的操作？谢谢。

浏览 2提问于2015-12-01得票数 0

回答已采纳

1回答

在Powershell类中使用反射

powershell、reflection、powershell-5.0

晚上好，我正在测试V5中的Powershell类，但我无法在Powershell类中使用反射。以以下示例为例： [void] Zip(){ [System.IO.Compression.ZipFile]::CreateFromDirectory('C:\test', 'c:

浏览 1提问于2017-02-03得票数 2

回答已采纳

1回答

在F#代码中不能使用System.IO.Compression.ZipArchive进行压缩

我正在尝试使用以下脚本从F#中的字节数组创建zip文件。文件似乎创建正确，但当我试图打开它时，我得到了一个错误。当我试图解压来自zipFile函数的字节数组时，我得到了一个System.IO.InvalidDataException: End of Central Directory record could not我是不是在zipFile函数中做错了什么？#if INTERACTIVE #r "System</em

浏览 13提问于2018-02-23得票数 4

回答已采纳

2回答

如何从bigr.frame中按索引进行选择？

r、biginsights、bigr

在标准r中，我可以使用如下所示的索引进行选择：但是，如果我在bigr.frame上尝试上述这些，我会得到：[ {bigr}的文档如下：筛选数据集的行和项目列"["(x，，drop = TRUE)x (bigr.frame或bigr.matrix)所操作

浏览 2提问于2016-05-01得票数 0

回答已采纳

2回答

在ASP.NET核心中以压缩方式下载该文件

asp.net-core、asp.net-core-razor-pages

当用户下载培训课程时，我希望此下载(培训课程)以压缩(拉链)的形式进行，请给出解决方案。我的代码： { if(episode.IsFree) byte[] file = Sys

浏览 4提问于2021-12-07得票数 -1

回答已采纳

2回答

使用存档中最多1000个文件压缩多个目录

linux、shell-script、command-line、directory、zip

-name '*.zip' -type f | xargs -n 500 | awk '{system("zip myarch"NR".zip "$0)}'for i in *&

浏览 0提问于2019-12-03得票数 0

点击加载更多