使用变量和文字数字调用ghci中的函数时的不同行为

在ghci中，使用变量和文字数字调用函数会有不同的行为。

当使用变量调用函数时，变量的值会作为函数的参数传递进去，函数会根据传入的参数进行计算并返回结果。这样可以实现对函数的复用，通过改变变量的值来得到不同的结果。

例如，假设有一个函数add，用于将两个数字相加：

add :: Int -> Int -> Int
add x y = x + y

在ghci中，我们可以定义一个变量a，并将其赋值为2，然后使用变量a调用add函数：

> let a = 2
> add a 3
5

这里，变量a的值2被传递给add函数的第一个参数x，而数字3作为第二个参数y，函数计算得到结果5。

而当使用文字数字调用函数时，文字数字直接作为函数的参数传递进去，函数会直接使用这些参数进行计算并返回结果。这种方式适用于只需要一次性计算的情况。

继续以上面的add函数为例，在ghci中可以直接使用文字数字调用add函数：

> add 2 3
5

这里，文字数字2和3直接作为add函数的两个参数传递进去，函数计算得到结果5。

总结起来，使用变量和文字数字调用ghci中的函数时的不同行为在于变量可以实现对函数的复用，而文字数字适用于一次性计算的情况。

腾讯云相关产品和产品介绍链接地址：

腾讯云函数计算（云原生）：https://cloud.tencent.com/product/scf
腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
腾讯云数据库（MySQL、Redis等）：https://cloud.tencent.com/product/cdb
腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
腾讯云物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
腾讯云移动开发（移动推送、移动分析等）：https://cloud.tencent.com/product/mobile
腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
腾讯云区块链（BCS）：https://cloud.tencent.com/product/bcs
腾讯云虚拟专用网络（VPC）：https://cloud.tencent.com/product/vpc
腾讯云安全产品（WAF、DDoS防护等）：https://cloud.tencent.com/product/safety
腾讯云音视频处理（云直播、云点播等）：https://cloud.tencent.com/product/mps
腾讯云元宇宙（Tencent Cloud Metaverse）：https://cloud.tencent.com/solution/metaverse

相关·内容

Haskell 自定义type与typeclass

自定义type Part One Haskell中使用data关键字来定义新的数据类型： data BookInfo = Book Int String [String] deriving (Show)...我们也可以给自定义的类型添加多态性。只要在类型定义中使用类型变量就可以做到这一点。...解释下：class Eq a where代表我们定义了一个typeclass叫做Eq，a是一个类型变量，他代表任何我们在定义instance时的类型，接下来我们定义了几个函数，不一定要实现函数但一定要写出函数的类型声明...这是说能让类型符合class行为所最小实现的函数数量。而Eq的minimal complete difinition需要==或者/=实现其中一个。...其实这可以理解为在定义Num这个class时，必须先定义他为Eq的instance。泛型instance Maybe或者List这种与TrafficLight不同，Maybe是一个泛型。

741 0

深入typeclass_Haskell笔记4

零.Typeclass与Class Typeclass就是Haskell中的接口定义，用来声明一组行为 OOP中的Class是对象模板，用来描述现实事物，并封装其内部状态。...派生自某类（deriving (SomeTypeclass)）是说具有某类定义的行为，相当于OOP中的实现了某个接口，所以具有接口定义的行为一.声明 class关键字用来定义新的typeclass：...前两条类型声明是接口所定义的行为（通过定义函数类型来描述）。...后两条函数实现是可选的，通过间接递归定义来描述这两个函数的关系，这样只需要提供一个函数的实现就够了（这种方式称为minimal complete definition，最小完整定义） P.S.GHCi环境下...a Just True :: Maybe Bool 所以，Functor定义的行为是保留大类型不变（f a，这里的a是类型变量），允许通过映射（fmap函数）改变小类型（f a变到f b，这里的a和b

5021 0

来看看几种 Monad来看看几种 Monad

这就是我们使用 Monad 时所要考量的事情。...但当你在处理具有 context 的值时，就需要多考虑些东西，要如何把漂亮的值喂进函数中，并如何考虑他们的行为，但你将会了解到他们其实不难。动手做做看: Maybe Monad [图片上传失败......在 Monad typeclass 中定义的第一个函数是 return。他其实等价于 pure，只是名字不同罢了。他的型态是 (Monad m) => a -> m a。...如果我们拿到一个 Maybe String，并用 >= 来将 monadic value 带给 lambda 一样。...用 return 来把一个值放进缺省的 context 然后用 >>= 喂给一个函数其实跟函数调用是同样的，只是用不同的写法而已。

1K2 0

回调在事件中的妙用 ### 回调: 回头调用,函数 A 的事先干完，回头再调用函数 B。事件中的使用。通过以上方式，可以中其本模块中调用其它模块变量，有些细节与严格意义上回调不一致，但基本思想一致

. ### 回调: 回头调用,函数 A 的事先干完，回头再调用函数 B。函数 A 的参数为函数 B, 函数 B 被称为回调函数。...至于为何要用参数的形式传入，而不是直接在 A 中直接调用 B 函数，主要是为了变量的灵活性考虑。为何要使用回调？比较常见的情况是两个不同模块之间需要相互调用事件中的使用。...因此， undo 栈中永远无法添加绘制标注命令。 --- 如果将 “命令 push 到栈中” 的操作放在事件函数里面来操作，是不是问题就解决了？是滴，这样可以解决问题。...这个时候，使用回调的概念，将函数当参数传入，问题轻松加愉快的就解决了。...通过以上方式，可以中其本模块中调用其它模块变量，有些细节与严格意义上回调不一致，但基本思想一致。

1.6K3 0

newtype_Haskell笔记8

一.ZipList与List 在List场景，xs ys表示从左侧xs中取出函数作用于右侧ys中的每一项，有两种实现方式：笛卡尔积拉链式的一一结对分别对应[]和ZipList，例如： import...类定义的行为，具体见Functor与Applicative_Haskell笔记7 二.newtype ZipList就是因这个场景而产生的，本质上是对List的包装，定义如下： newtype ZipList...除此之外，就与data关键字没什么区别了 P.S.关于值构造器与参数，见类型_Haskell笔记3 三.对比type和data 关键字作用应用场景 data 定义自己的（数据）类型想要定义完全新的类型...type 给现有类型起别名，得到的东西完全等价于原类型，可无条件换用/混用想让类型签名更清楚（语义化）的时候 newtype 将现有的类型包成一个新的类型，得到的类型与原类型不同，不能换用/混用想让现有类型具有一种不同的接口...），例如： > head [1, undefined, 3, undefined, undefined] 1 > let (a, _) = (1, undefined) in a + 1 2 特殊地，函数调用时的模式匹配本身是需要计算的

6153 0

Haskell 函数语法

中如果按照书中的写法是会报没有匹配项的错误的，按照let { … } 写法则没有问题在调用lucky时，模式会从上到下进行检查，一旦有匹配则对应的函数体便被应用。...guard由跟在函数名及参数后边的竖线标志，通常竖线都是靠右一个缩进排成一列。一个guard就是一个布尔表达式，如果是True，就使用对应的函数体。...<- xs] where bmi weight height = weight / height ^ 2 let关键字 let绑定是个表达式，允许在任何地方定义局部变量，而对不同的guard...不过，把一个 let…in 放到限制条件中也是可以的，这样名字只对这个限制条件可见。在 ghci 中 in 部分也可以省略，名字的定义就在整个交互中可见。...函数参数的模式匹配只能用在定义函数时使用，而case可以用在任何地方： describeList :: [a] -> String describeList xs = "The list is "

781 0

ghci中的一些命令与case 【持续更新...】

ghic中模式匹配按照rwh书中模式匹配一节中sumList的例子在ghci敲出这样的代码： Prelude> sumList (x:xs) = x + sumList xs Prelude> sumList...[] = 0 调用这个函数时是会报一个错误的： Prelude> sumList [1,2,3] *** Exception: :2:1-14: Non-exhaustive...patterns in function sumList 而实际如何要在ghci中做一个模式匹配函数的话应该这样写： Prelude> let { sumList' [] = 0; sumList'...(x:xs) = x + sumList' xs } Prelude> sumList' [1,2,3] 6 ghci中切换工作目录与查看当前工作目录 Prelude> :cd /tmp/ Prelude...使用:cd 命令切换到指定目录使用:show paths目录查看当前工作目录

711 0

Haskell Type与Typeclass

Type ghci中可以用:t检测表达式的类型 Prelude> :t "a" "a" :: [Char] 函数也有类型，编写函数时给一个明确的类型声明是一个好习惯 removeNonUppercase...> tip: 与其他语言中的泛型generic很像使用到类型变量的函数被称为“多态函数”。...这便是 fst 可以处理一个含有两种型别项的 pair 的原因。注意，a 和 b 是不同的型别变量，但它们不一定非得是不同的型别，它只是标明了首项的型别与回传值的型别相同。...Typeclass 如果一个类型属于某个typeclass,那它必定实现了Typeclass所描述的行为。...class elem函数的类型为：(Eq a)=>a->[a]->Bool这是因为elem函数在判断元素是否存在于list中时使用到了==的原因。

701 0

热爱函数式的你，句句纯正的 Haskell【类型篇】

认识下 GHCi 中的命令： :l 用来导入当前路径或者指定路径下的文件； Prelude> :l "C:\\Users\\ User\\Desktop\\HelloWorld\\HelloWorld.hs...：(7758,True,"HelloWorld")，各种类型可以互相组合使用；以上，都是基础的类型，可一眼带过~ 函数类型！...我们在下一小节做更为细致的说明“类型类”~ 类型别名一个数据的类型可以由多个其他的类型组成，在 Haskell 中，可以用 type 关键字将这些复杂的类型替换成为其他简单的名字； Prelude>...上图不在灰色方框内的部分全部是类型类； Haskell 给很多“类型”分成了“类型类”，归为一类的类型有着共同的属性，不同类型所归的类就称为类型类。...，以及类型类底下的各种函数，真的太好用了吧~ 不用理会类型转换，特别是像 js 中的隐式转换，真的太爽了~ 在逐渐学习的过程中，不断提升强类型设计精髓的理解。

9563 0

基础语法_Haskell笔记1

Haskell的特点：变量不可变：函数式里的变量与常量概念一样，源自数学思维，令x=1，那么x永远都是1 引用透明：函数调用能被直接替换成相应的值，而不会影响函数的行为。...参数列表后面多了| 条件表示不同的函数体分支，被调用时满足条件就执行对应函数体并返回，否则就按顺序依次向下检查注意，最后的otherwise比较有意思，因为： > :i otherwise otherwise...，用来定义函数声明中需要用到的变量，及辅助函数 checkArea r | area < little = addSpace "little circle" ++ wrap sArea | area...：多行声明必须对齐缩进，否则编译器无法正确解析（不知道要定义的变量/函数列表结束了没）子句中声明的变量和函数的作用域是当前函数及其guard，且不包括同名函数的其它模式子句中可以用模式匹配允许嵌套使用...作用域扩展到当前函数/List Comprehension，如果是在GHCi环境，在整个交互过程都可见 Case表达式最常见的case表达式就是函数定义时参数的模式匹配（case表达式的语法糖）： tail

1.9K3 0

我的Go语言初体验

:= range ary { // for range 用于遍历 slice 的快捷方法 } 初体验 Go 命名规范不同于其他语言，Go 中的函数、变量、常量、类型和包都遵循一个简单和统一的原则：...是推崇驼峰命名法的，而不是 C 语言里面的下划线分割法关键字我们先看一组数据对比： C++ 关键字数量 62 个 Java 关键字数量 53 个 Go 关键字数量 25 个从关键字的数量上，也可以看得出...const 声明类型：通过关键字 type 声明函数：通过关键字 func 声明变量的标准声明格式是： var name type = expression // 上面声明方式很清晰，但是很啰嗦，...，倒不是要大家去学习垃圾回收的工作原理，或者特别去关心变量的逃逸行为，但是对于变量的生命周期还是要搞清楚的。...在使用 defer 声明函数被压力栈中，所以有多个 defer 声明会根据 FIFO 先进先出的顺序执行，如下 defer fmt.Println("1") defer fmt.Println("2")

3521 0

2020最全Java面试题--基础篇

但是，当使用new关键字时，将隐式调用构造函数。因此，它需要一个body。如果我们将方法设置为static，则意味着它属于该类，但不属于特定对象。始终调用构造函数来初始化对象。...因此，没有使用标记构造函数为静态的。继承 1. this关键字的作用？在Java中，”this“关键字是指对象的当前实例。this调用本类中的属性，也就是类中的成员变量。...this调用本类中的其他方法 this可以用来调用构造函数，或者用来引用实例。 this关键字除了可以引用变量或者成员方法之外，还有一个重大的作用就是返回类的引用 2....Java中“ super”关键字的目的是什么？ “ super”关键字用于子类的方法或构造函数中。它指对象的直接父类。通过使用“ super”，我们可以从子类的方法中调用父类的方法。...我们也可以使用“ super”关键字从子类的构造函数中调用父类的构造函数。 10.是否可以在同一构造函数中同时使用this（）和super（）？

5783 1

04.Java对象和类

在Java中，使用关键字new来创建一个新的对象。创建对象需要以下三步：声明：声明一个对象，包括对象名称和对象类型。实例化：使用关键字new来创建一个对象。...初始化：使用new创建对象时，会调用构造方法初始化对象。下面是一个创建对象的例子： ?...扩展 java因强制要求类名（唯一的public类）和文件名统一，因此在引用其它类时无需显式声明。在编译时，编译器会根据类名去寻找同名文件。...因为静态方法加载时，优先于对象存在，所以没有办法访问对象中的成员。 3、静态方法中不能使用this，super关键字。...如果不是，那么就说这是对象的特有数据，要存储到对象中。 2、成员函数。（方法中没有调用特有数据时就定义成静态）如果判断成员函数是否需要被静态修饰呢？

9546 0

50道JavaScript详解面试题，你需要了解一下

在这种情况下，由于我们两次定义了相同的变量，因此，会在控制台上引发错误。但是，如果我们使用var定义相同的变量，则控制台将返回50 。同样，在使用const定义变量时，我们将得到相同的错误。...答案，是B，因为异步函数在JavaScript中返回Promises 。 8、等待关键字会阻止应用程序中的所有JavaScript代码执行，直到返回等待的Promises？...答案是False，await关键字仅阻止执行包含await关键字的特定函数内的代码。 9、以下打印什么？ JavaScript中的函数是对象，typeof name将输出function。...但是，可以在JavaScript中通过在未将所有可能的参数都传递给函数时返回不同的输出来执行重载。 29、return语句在数组的forEach循环中做什么？...34、使用缩减函数从数字数组中找到最小值。 35、JavaScript中的子程序是什么？子例程是主例程中遇到的函数，然后将其保存到对象并存储以供以后使用。

3.5K4 0

从 Java 和 JavaScript 来学习 Haskell 和 Groovy（类型系统）

Groovy：动态类型+强类型+类型推导或者静态类型+强类型+显式类型指定（这两者取决于写代码的时候是使用关键字 def 还是使用传统的 int、float 这样的方式显式类型指定）。...代码中，变量 o 发生了多次赋值，并且每次赋值的类型都不相同。...这和 SQL 中的 select 1 from xxx 再求和的写法没啥区别嘛。 2、模式匹配。这大概是 Haskell 中我最喜欢的部分。模式匹配在函数的定义里面使用起来简直太漂亮了。...考虑到 typeclass 本身是一个表示行为的定义，一方面很像接口，另一方面又很像 Java 中的 “重载”，同一个方法接受不同的 type 参数，执行不同的逻辑，而且同样是编译期确定。...继承和接口实现区分得最清晰，不同关键字，语义清楚。

5455 0

超详解——python函数定义和调用——小白篇

关键字参数：关键字参数允许在调用函数时指定参数名，参数的顺序可以与定义时不同。 greet(name="Alice", message="Hello") # 输出：Hello, Alice!...关键字参数关键字参数的使用使得函数调用更加灵活和清晰，尤其是当函数有多个参数时。...函数重载 Python 不支持传统意义上的函数重载（即同名函数的不同定义），但是可以通过使用可变参数和默认参数来实现类似的功能。这种方法使得一个函数可以根据传递的参数数量和类型表现出不同的行为。...这个符号表包含了在函数定义时所在模块中的所有全局变量。通过这个属性，我们可以访问函数的全局上下文。...create_adder 返回一个新的函数 adder，该函数可以使用创建时的环境变量 x。

751 0

JAVA编程基础（四）开启Java语言编程之旅

因此，你不能使用它们作为你程序中的变量命名。...在IDE（集成开发环境）中编写代码的好处是它对关键字使用了语法颜色表示，你将在后面的内容看到。一个java类的结构一个类是包含属性和行为的离散实体（对象）。...仅使用构造函数方法来创建一个类的实例。其他类型的方法可以用于几乎任何应用程序行为。...调用静态方法和调用对象的方法是不同的：你应该使用类名.方法名(参数列表)调用： Logger l = Logger.getLogger("NewLogger"); 在这个例子中，Logger是类名，getLogger...a.其实没什么不同 b.静态方法可以在任何语言中调用，而实例方法只能是一个实例对象使用 c.调用实例方法需要引用实例对象, 但是调用静态方法则不需要 d.一个静态方法"黏死"了定义它的对象

2762 0

听GPT 讲Rust源代码--librarystd(6)

在Unix系统中，线程等待和唤醒是通过系统调用来实现的，不同的操作系统有不同的实现方式和机制。在该文件中，首先定义了一个Header结构体和一个函数init。...当线程退出时，这些变量的析构函数将被自动调用。这个文件的主要功能是在使用#[thread_local]宏声明的变量上设置析构函数，并在线程退出时执行相应的清理操作。...栈溢出是指当一个函数不断递归调用或者分配大量局部变量时，栈空间耗尽的现象。...它们提供了一些系统调用的封装，并根据平台特定的API（如pthread）来实现线程相关的操作，以便标准库能够在不同的Unix系统上具有一致的行为。...标准库中的这些函数通常使用了系统提供的硬件加速指令或优化算法，以提供更高的性能和更精确的结果。在 UNIX 系统上，这些函数通常会调用 C 标准库中的对应函数，以提供与 C 语言相同的行为。

2082 0

使用Python时绝对不应该做什么？

这表示变量“数字”和“数字”是不同的。因为这是Python新手犯的最典型的错误之一。...Python开发人员经常对Python如何绑定变量感到困惑。它绑定其变量的外壳或周围的全局范围，因此在调用内部函数时会查找闭包中使用的变量值。...滥用__init__ 构造函数在 Python 中由一个名为 __init__ 的函数表示。形成对象时，将调用 __init__ 方法，该方法分配内存并初始化类的属性。...使用默认参数的函数调用对于初学者来说，带有默认参数的函数是 Python 中一个很棒的功能。参数很难利用。由于每次声明函数时，Python 都会计算默认参数中的表达式，因此必须动态生成默认参数。...误用表达式在 Python 中，您可以通过为函数参数分配默认值来使其可选。但是，当您将默认值静音时，此行为可能会令人困惑。

1.2K4 0

【收藏分享】2022年PHP中高级面试题(三)

()当给未定义的变量赋值时会自动调用的方法 __get()当获取未定义变量的值时会自动调用的方法 __construct()构造方法，实例化类时自动调用的方法 __destroy()销毁对象时自动调用的方法...__unset()当对一个未定义变量调用unset()时自动调用的方法 __isset()当对一个未定义变量调用isset()方法时自动调用的方法 __clone()克隆一个对象 __tostring...9.Php 数组解决hash冲突哈希表，顾名思义，即将不同的关键字映射到不同单元的一种数据结构。...而将不同关键字映射到不同单元的方法就叫做哈希函数，冲突解决方案: 链接法即当不同的关键字映射到同一单元时，在同一单元内使用链表来保存这些关键字。...这种由外部负责其依赖需求的行为，我们可以称其为 “控制反转(IoC)”依赖注入原理其实就是利用类方法反射，取得参数类型，然后利用容器构造好实例。然后再使用回调函数调起。

2.4K2 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云