首页
学习
活动
专区
圈层
工具
发布

Haskell

Haskell是一种标准化的、通用纯函数式编程语言,有非限定性语义和强静态类型,在Haskell中,函数是一等公民。...ghc包含了三个主最要的部分: ghc 编译器 ghci 交互式解析器和调试器 runghc 以脚本的方式运行Haskell 而我们即将学习的起点就是在ghci中来练习Haskell的基本语法。...Haskell每一个函数都非常颗粒度,来解决很小的问题,如果我们无法理解这种很小的颗粒度,根本很难从小组合到强大的处理流程。是的,这就是Haskell。...(注明:本文不是投资建议,仅仅是从Haskell引发出来的Cardano项目) 是的,Cardano就是用Haskell来编写的,(我这样的渣渣也仅仅是阅读和学习)Haskell的用户大部分都是教授或者是数学领域的牛人...回归语言Haskell,函数式的编程其实有一点上,大家都很清楚,用很少的代码来完成一件事情。Haskell还可以定义跟数学的过程一一对应,这就很有意思了。

1.3K30
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    newtype_Haskell笔记8

    Applicative实现,所以造出了ZipList,让它以拉链结对的方式实现Applicative P.S.这里提到的是Applicative类定义的行为,具体见Functor与Applicative_Haskell...除此之外,就与data关键字没什么区别了 P.S.关于值构造器与参数,见类型_Haskell笔记3 三.对比type和data 关键字 作用 应用场景 data 定义自己的(数据)类型 想要定义完全新的类型...想让类型签名更清楚(语义化)的时候 newtype 将现有的类型包成一个新的类型,得到的类型与原类型不同,不能换用/混用 想让现有类型具有一种不同的接口(typeclass)实现时 四.newtype与惰性计算 Haskell...的哪个值构造器,后者则不需要 但奇怪的是,Tuple明明只有一个值构造器(不需要“看应该用Tuple的哪个值构造器”): data () = () 我们知道没必要去检查应该用Tuple的哪个值构造器,但Haskell...MyTuple a b = MyTuple {getTuple :: (a, b)} > sayHello (MyTuple _) = "hh" > sayHello undefined "hh" 确实如此,Haskell

    1.1K30

    基础语法_Haskell笔记1

    一.简介 Haskell是一种纯函数式语言(purely functional programming language),其函数式特性的纯度没有争议 命令式语言要求你提供求解的步骤,Haskell则倾向于让你提供问题的描述...函数默认都是柯里化的,都只接受一个参数: In Haskell, all functions are considered curried: That is, all functions in Haskell...0 = 0 mod10 1 = 1 -- 如果最后不用万能匹配兜住,mod10 2就会报错 -- mod10 x = x `mod` 10 匹配失败时: > mod10 2 *** Exception...: t.hs:(27,1)-(28,11): Non-exhaustive patterns in function mod10 提示mod10函数的模式定义有遗漏 除了用于函数参数定义,模式匹配还可以用于...* x, doubleX `mod` 3 == 1, x `mod` 5 /= 0 ] [4] P.S.省略in部分的话,声明的变量/函数对其右侧限制条件和变量,以及竖线左侧部分可见。

    2.8K30
    领券