Haskell GHC

一.haskell语言的特性 1.haskell是纯函数式编程语言，它是引用透明的，没有副作用。haskell的一个函数如果定义了变量a为1，a是不可变的。没有可变的状态带来的好处是函数的调用结果不依赖于外部的状态，也不会修改外部的状态。而且，状态的不可变特性，使得haskell中的多线程变得更容易处理，因为多个线程之间不存在竞态条件，不需要加锁保护共享资源，在多处理器的环境中，haskell更容

本文翻译自：What does the `forall` keyword in Haskell/GHC do? I'm beginning to understand how the forall keyword is used in so-called "existential types" like this: 我开始了解在这样的所谓“现有类型”中如何使用forall关键字： data Sho

已同步到个人博客：www.radishes.top 2016年CISCN一道150分的逆向 下载文件后发现是64位ELF文件，运行一遍发先需要传入命令行参数，没想那么多，直接拖入IDA中查看反汇编出来的代码 emmm，发现代码居多，一层套一层，想着通过关键字符串反着找到该程序的关键代码，但是找了一番之后真是找不到呀，用gdb动态调试，最后也是无果，emmmm头大。 在网上找了一波资料之后发现该程序

我使用maven命令来清理、构建整个项目、创建war并部署到服务器。我不能使用Intellij来做这件事，因为我只有社区版。它在与intellij相同的目录中构建项目。 为了加快速度，我编写了一个脚本，可以在本地“target”目录中找到比服务器中更新的已编译文件，并进行复制。虽然一切正常，但问题是Intellij并没有将使用maven编译的类视为应该跳过并重新构建整个项目的类。 目前它的工作原理

词法分析器 语法分析器 语义分析及中间代码生成 代码优化 代码生成

编译器 编译器将用一种语言编写的代码转换为另一种语言，而无需更改程序的含义。还期望编译器应该使目标代码高效且在时间和空间方面得到优化。 编译器设计原理提供了翻译和优化过程的深入视图。编译器设计涵盖了基本的转换机制以及错误检测与恢复。它包括词法，语法和语义分析作为前端，以及代码生成和优化作为后端。 为什么要学习编译器设计？ 计算机是软件和硬件的平衡组合。硬件只是机械设备的一部分，其功能由兼容的软件控

准备工作 Ubuntu 16.04 $ apt-get install build-essential subversion libncurses5-dev zlib1g-dev gawk gcc-multilib flex git-core gettext libssl-dev unzip texinfo device-tree-compiler dosfstools libusb-1.0-0-

在你制作安装程序时创建了你的脚本后所要做的第二件事就是编译你的脚本。MakeNSIS.exe 就是 NSIS 编译器。它会载入你的脚本，解析并创建你的安装程序。 要编译你需要在你的 .nsi 文件上点右键并选择“Compile NSIS Script”或“Compile NSIS Script (Choose Compressor)”。这样将会使用 MakeNSISw 来引导并调用 MakeNSI

gcc 是 GNU 推出的功能强大、性能优越的多平台编译器，是 GNU 的代表作品之一。它能将C、C++语言源程序、汇编语言源程序和目标程序编译、链接成可执行文件，如果没有给出可执行文件的名字，gcc 将生成一个名为 a.out 的文件。 gcc 通过后缀来区分输入文件的类型： 后缀 类型 .c C语言源代码文件 .a 由目标文件构成的档案库文件 .C|.cc|.cxx C++源代码文件 .h 程

Handlebars.compile(template, options) 编译一个模版以立即运行。 const template = Handlebars.compile("{{foo}}"); template({}); 支持多种选项以更改模版的执行方式。 data: 设置为 false 以终止 @data 跟踪。 compat: 设置为 true 以允许递归领域查找。 knownHelpe