一.源文件 介绍这个主要是因为下文很多代码写在源文件中,然后从ghci加载源文件进行测试. 创建一个文本文件,在其中输入,并保存为add.hs文件 -- file: add.hs add x y = x - y 打开ghci,加载刚才的文件(假设文件目录为e:\haskell\add.hs),命令如下 ghci> :cd e:\haskell ghci> :load add.hs ghci> add 二.语言特性 1. 延迟计算 表达式的值在需要用到的时候才被计算,比如在一个文本文档中输…

这是<Two Dozen Short Lessons in Haskell>这本书的最后一章,第23章没有习题. 这一章里介绍了Haskell如果自定义一种类型,并且用一个双人博弈游戏为例子讲解了如何使用这些类型,里面简单介绍了Minimax算法. 至此,这本书全部学完,当然还没用Haskell写过什么大一点的程序,只是掌握了其基本概念. 1 A tree, in computer science, is an entity a with a root and two subtrees b w…

第21章 使用数据库 从网络论坛到播客采集软件甚至备份程序的一切频繁地使用持久存储的数据库.基于SQL的数据库往往是相当方便:速度快,可扩展从微小到巨大的尺寸,可以在网络上运行,经常帮助处理锁定和事务,甚至还可以为应用提供故障转移和冗余.数据库有许多不同:大的商业数据库如Oracle,开源的引擎如PostgreSQL或MySQL,甚至嵌入式引擎如sqlite. 因为数据库是如此重要,haskell对他们的支持也很重要.在本章中,我们将向你介绍一个用于数据库的haskell框架.我们也将使用这个框…

我的确认为计算机学院应该开一门 Scala 的语言课程. 在这篇文章中,我会讲述为什么我会有这样的想法,在此之前,有几点我想要先声明一下: 本文无意对编程语言进行评比,我要讲述的主体是为什么你应该学习 Scala.51CTO之前曾发布过一篇 Java 程序员为何要学习Scala的文章,可能也会对你有所帮助. 目前 Scala 有两个实现方式,一种是在 JVM(Java 虚拟机)上运行,另一种是在 CLR(Common Language Runtime 的缩写,即公共语言运行库)上运行.不过,JV…

前言 近期又开始折腾起Haskell,掉进这个深坑恐怕很难再爬上来了.在不断深入了解Haskell的各种概念以及使用它们去解决实际问题的时候,我会试想着将这些概念移植到Swift中.函数式编程范式的很多概念在Swift等主打面向对象范式的语言中就像各种设计模式一样,优雅地帮助我们构建好整个项目,促使我们的代码更加的美观优雅.安全可靠. 本篇文章为"函数式编程"系列中的第二篇,我主要说下Monad的一些小概念,以及试图将Monad融入Swift中来让其为我们的实际工程项目作出贡献. 关于…

对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结.环境Windows 自定义数据类型 data type definitions 形式如: data Colour = Red | Orange | Yellow | Green | Blue | Violet Colour type包含了Red Orange Yellow Green Blue Violet这些值,这些值是constructor,其开头字母要…

对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结.环境Windows 1. 在安装了ghci后,便可以进行Haskell的编译,点击GHCi 即可在命令行中打开ghci,也可点击WinGHCi,也可直接在命令行中ghci进入. 直接在命令行中输入ghci进入 2.  :?  显示操作命令(注意有“ : ”),常用操作有: :cd  进入指定路径 :load 载入文件 :quit  退出ghci 3.Hask…

随着学习的深入,笔记会补充和修订.当然,这个补充修订也许会鸽,但我一定会坚持写完. 这个笔记假定你至少学过C/C++及Python,或与这两种语言类型相同的语言. 类型系统概述 “Haskell’s type system allows us to think at a very abstract level: it permits us to write concise, powerful programs.” 简单地说,Haskell拥有一个强.静态.自动推断的类型系统.Haskell的强同…

今天这篇文章分析一下ghci交互解释器对类型的推导. 假设有函数fn定义如下: let fn = map map 现在fn的类型是: map map :: [a -> b] -> [[a] -> [b]] 推导过程: 1)首先map函数自身的类型为: map :: (a -> b) -> [a] -> [b] 为了区分开第一个map和第二个map,将另外一个map的类型表示为: map :: (a' -> b') -> [a'] -> [b'] 在调用…

什么是函数式编程 用常规编程语言中的函数指针.委托和Lambda表达式等概念来帮助理解(其实函数式编程就是Lambda演算延伸而来的编程范式). 函数式编程中函数可以被非常容易的定义和传递. Haskell 快速入门 概述 Haskell是一个按照纯函数式编程思想创造的语言,支持静态类型.类型推断.惰性处理(推迟计算).支持并发编程. 安装 从官方网站的下载页面 https://www.haskell.org/downloads 根据自己的操作系统选择. 第一次接触Haskell…