Home

This exercise is on book《Functional Programming Using F#》. Exercise 4.18 let rec f g = function | [] -> [] | x::xs -> g x :: f (fun y -> g(g y)) xs;; //Find the type for f and explain the value of the expression: f g [x0; x1; x2; . . . ; xn−1] From let rec f g = function, we can not make sure anything about f and g. ...

插入排序、选择排序、归并排序等等，这些算法都属于内部排序算法，即排序的整个过程*只是在内存*中完成。而当待排序的文件比内存的可使用容量还大时，文件无法一次性放到内存中进行排序，需要借助于外部存储器（例如硬盘、U盘、光盘），这时就需要用到本章介绍的外部排序算法来解决。 外部排序算法由两个阶段构成： 按照内存大小，将大文件分成若干长度为 B 的子文件（B应小于内存的可使用容量），然后将各个子文件依次读入内存，使用适当的内部排序算法对其进行排序（排好序的子文件统称为“归并段”或者“顺段”），将排好序的归并段重新写入外存，为下一个子文件排序腾出内存空间； 对得到的顺段进行合并，直至得到整个有序的文件为止。 例如，有一个含有 10000 个记录的文件，但是内存的可使用容量仅为 ...

Now days I want to push some file of ‘.weight’ to github. But almost all of them are over the maximum size(100M) of Github. Here is my solution to cope with this problem: Ref： https://towardsdatascience.com/uploading-large-files-to-github-dbef518fa1a https://blog.csdn.net/Tyro_java/article/details/53440666 Step1.Install git-lfs 先在web...

在git bash中，运行下列命令： git config –global core.longpaths true 就可以解决该问题。 –global是该参数的使用范围，如果只想对本版本库设置该参数，只要在上述命令中去掉–global即可。 End

在使用git的时候我们有时候需要忽略一些文件或者文件夹。我们一般在仓库的根目录创建.gitignore文件 在提交之前，修改.gitignore文件，添加需要忽略的文件。然后再做add commit push 等 但是有时在使用过称中，需要对.gitignore文件进行再次的修改。这次我们需要清除一下缓存cache，才能是.gitignore 生效。 具体做法： git rm -r --cached . #清除缓存 git add . #重新trace file git commit -m "update .gitignore" #提交和注释 git push origin master #可选，如果需要同步到remote上的话 这样就能够使修改后的.gitignore...

写完代码后，我们一般这样 git add . //添加所有文件 git commit -m “本功能全部完成” 执行完commit后，想撤回commit，怎么办？ 这样凉拌： git reset –soft HEAD^ 这样就成功的撤销了你的commit 注意，仅仅是撤回commit操作，您写的代码仍然保留。 说一下个人理解： HEAD^的意思是上一个版本，也可以写成HEAD~1 如果你进行了2次commit，想都撤回，可以使用HEAD~2 至于这几个参数： –mixed 意思是：不删除工作空间改动代码，撤销commit，并且撤销git add . 操作 这个为默认参数,git reset –mixed HEAD^ 和 git reset HEAD^ 效果是...

ref link:[NuGet Gallery FsCheck 2.15.3](https://www.nuget.org/packages/FsCheck) [NuGet Gallery FsCheck.Xunit 3.0.0-alpha5](https://www.nuget.org/packages/FsCheck.Xunit/3.0.0-alpha5) End