推断if和else类型相等的约束
是指在编程语言中，当使用条件语句if和else进行分支判断时，编译器或解释器会根据条件表达式的结果来推断if和else分支中的代码块的类型是否相等。
在静态类型语言中，编译器会在编译阶段进行类型检查，如果if和else分支中的代码块的类型不一致，编译器会报错。这是因为在静态类型语言中，变量的类型在编译时就已经确定，编译器需要确保程序的类型安全性。
在动态类型语言中，类型检查是在运行时进行的，编译器不会对if和else分支中的代码块的类型进行检查。因此，即使if和else分支中的代码块的类型不一致，也不会报错。这种情况下，程序员需要自行确保if和else分支中的代码块的类型一致，否则可能会导致运行时错误。
推断if和else类型相等的约束的优势在于可以提高代码的可读性和可维护性。通过确保if和else分支中的代码块的类型一致，可以减少代码中的类型判断和类型转换的逻辑，使代码更加简洁和易于理解。
应用场景包括但不限于：
- 在前端开发中，根据不同的条件展示不同的页面或组件。
- 在后端开发中，根据不同的条件执行不同的逻辑。
- 在软件测试中，根据不同的条件执行不同的测试用例。
- 在人工智能领域，根据不同的条件选择不同的算法或模型。
腾讯云相关产品和产品介绍链接地址：
- 云函数（Serverless）：https://cloud.tencent.com/product/scf
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库 MySQL 版（CDB）：https://cloud.tencent.com/product/cdb
- 云原生应用引擎（TKE）：https://cloud.tencent.com/product/tke
- 云存储（COS）：https://cloud.tencent.com/product/cos
- 人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
请注意，以上链接仅为示例，实际使用时应根据具体需求选择适合的腾讯云产品。
相关·内容
1回答
我有一个泛型方法
public <K extends Number> K get()
{
...
}
当我调用这个方法时，我使用如下语法：
Integer i = instance.<Integer>get();
然而，这也是合法的：
Integer i = instance.get();
我的问题是，第二个方法调用Java中的类型推断是一种形式吗？
浏览 1提问于2011-06-09得票数 3
回答已采纳
1回答
我正在尝试实现一种自定义语言，允许从函数的最后一条语句中推断出函数的返回类型。但是，当找到直接或间接的递归函数调用时，类型推断系统显然会失败。
func factorial(a:int) ->
if a == 0
1
else
a * factorial(a - 1)
例如，即使未指定参数类型，F#也会执行此操作：
let rec fact i =
if i = 0 then 1 else i * fact (i-1)
这个系统是如何工作的？
浏览 0提问于2013-03-15得票数 3
回答已采纳
背景:我正在用Swift为玩具语言编写一个编译器，我希望有一种优雅的方式为我的语言创建AST。在我的玩具语言中，语句的AST类型如下所示：
indirect enum Statement {
case assignment(variable: String, expression: Expression)
case conditional(`if`: Expression, then: Statement, `else`: Statement)
case loop(`while`: Expression, `do`: Statement)
case sequen
浏览 0提问于2021-12-04得票数 4
回答已采纳
我觉得在上试试会更清楚
function identity<T extends (...args: any[]) => any>(fn: T): T {
return fn;
}
function fn(args: {
cb: (foo: number) => void,
}) {}
fn({
cb: identity((foo /* infers number */) => {}),
});
function fn2(args: {
cb?: (foo: number) => void,
}) {}
fn2({
cb: iden
浏览 0提问于2021-04-03得票数 7
2回答
我目前正在研究一种新的编程语言的想法，理想情况下，我希望这种语言能够混合一些功能和过程(面向对象)的概念。
我对Haskell这样的语言非常感兴趣的一点是，它是静态类型的，但是您不需要注释类型(感谢辛德雷-米尔纳！)
对于我的语言来说，我真的很想这样做，然而，在阅读了关于这个主题的文章之后，似乎大多数人都同意，在面向子类型/面向对象的情况下，类型推断是不切实际的/不可能的，然而，我不明白为什么会这样。我不知道F#，但我知道它使用辛德雷-米尔纳，并且是面向对象的.
我真的很想对此做一个解释，最好是关于面向对象语言不可能进行类型推断的场景的例子。
浏览 4提问于2014-03-20得票数 15
回答已采纳
我有一个编码和工作的模块，但是我无法为它输入两个函数签名，因为要输入它们，我必须为模块启用TypeFamilies扩展，当我这样做时，它就不再生成了。
对于其中之一，我需要TypeFamilies，因为它使用的是。
正确的类型是，我相信：
getByIds :: (PersistEntityBackend a ~ SqlBackend) =>
EntityField a (Key a) -> [Key a] -> SqlPersistM [Entity a]
(ghc建议使用更通用的签名)
另一个使用。
ghc建议使用此签名，但我想可以简化如下：
prop :: f
浏览 2提问于2015-04-08得票数 6
回答已采纳
在计算异构列表的长度时，我遇到了不明确类型变量的问题。问题似乎是长度函数在HList的元素中不是多态的。
我的密码
首先，我使用的所有语言扩展：
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleInstances #-}
浏览 1提问于2016-05-07得票数 4
回答已采纳
2回答
我正在使用下面这段代码 // Neat method of finding the TryParse method for any type that supports it.
// See https://stackoverflow.com/a/33161245/158285
let inline tryParseWithDefault (defaultVal:'a) text : ^a when ^a : (static member TryParse : string * ^a byref -> bool) =
let r = ref defaultVal
浏览 27提问于2019-10-16得票数 0
回答已采纳
1回答
c#方法类型推理故障
、、、
我很难让c#方法类型推断为我工作，我基本上有下面的示例，但这会产生错误。
CS0411方法'Test.Connect(T1)‘的类型参数不能从用法中推断。尝试显式指定类型参数。
public void Main()
{
new Test<int>().Connect(new Test2()); // CS0411 The type arguments for method 'Test<int>.Connect<T1, T2>(T1)' cannot be inferred from the usage. Try specify
浏览 1提问于2019-04-27得票数 2
回答已采纳
1回答
我已经设法实现了一个模拟过滤器函数(经过多次尝试)
filter' :: (Num a, Eq a) => (a -> Bool) -> [a] -> [a]
filter' a [] = []
filter' a (x:xs) = if a x
then x : filter' a xs
else filter' a xs
我不清楚的是类型声明
filter' :: (Num a, Eq a) => (a -> Bool) -> [a] -> [a]
-- filter' (<
浏览 0提问于2016-02-19得票数 2
2回答
我正在尝试使用条件赋值语句中的聚合赋值，在以下代码实现中标记为“问题行”的行中，用于优先级编码器模块。
library ieee;
use ieee.std_logic_1164.all;
entity SN74LS148 is -- 8 to 3 line priority encoder module
port(EI : in std_logic; -- input enable
input : in std_logic_vector(0 to 7); -- 8 bit inp
浏览 12提问于2022-11-03得票数 1
回答已采纳
请参阅下面的片段
declare function foo<T>(a: T): (b: T) => boolean;
foo(111)(222); // T inferred as 'number'
foo('hello')('bye'); // T inferred as 'string'
declare function bar<T extends number | string>(a: T): (b: T) => boolean;
bar(111)(222);
浏览 2提问于2018-11-02得票数 1
回答已采纳
1回答
我正在尝试为SML/nj中的二进制搜索树实现节点删除功能。然而，我得到了一个约束错误，我不明白为什么...
datatype 'a tree = Empty | Node of 'a * 'a tree * 'a tree;
datatype 'a stree = STree of ('a * 'a -> bool) * ('a * 'a -> bool) * 'a tree;
fun removeMin Empty = Empty
| removeMin (Node(_,Empty,r)) =
浏览 2提问于2013-02-26得票数 0
在F#中是否可以编写一个泛型函数，其中指定类型'T‘，但将'T’限制为'T2*'T3类型的元组？
下面是我尝试过的几件只会产生编译器错误的事情：
let fun1<'T when 'T :> 'T2*'T3> () = …
let fun2<'T, 'T2, 'T3 when 'T :> 'T2*'T3> () = …
(在fun2中，'T2/'T3最好由‘T1’推断。)
我想这么做的原因是，我正在用内存中的数据库编写一个应用程序，
浏览 0提问于2020-12-04得票数 3
回答已采纳
1回答
我在go中有一个接口，它支持在不同的数据库中保存和加载结果，并且希望支持不同的类型。
package cfgStorage
type WritableType interface {
~int | ~string | ~float64
}
type ConfigStorage[K, V WritableType] interface {
get(key K) (V, error)
set(key K, value V) (bool, error)
}
func GetValue[K, V WritableType, C ConfigStorage[K, V]](s
浏览 2提问于2022-01-26得票数 5
回答已采纳
1回答
我有一个非常棘手的泛型传播场景的Java代码：
public class Main {
public static void parent(Parent<String> parent) {}
public static void child(Child<String> parent) {}
public static <T> Parent<T> makeParent() {
return new Parent<>();
}
public static void main(String[] args)
浏览 3提问于2020-05-07得票数 1
回答已采纳
2回答
我想知道一个列表是否是第二个列表的前缀，使用以下代码：
prefix :: [a] -> [b] -> Bool
prefix [] _ = True
prefix _ [] = False
prefix (x:xs) (y:ys) = if (x==y) then prefix xs ys else False
但是它返回一个错误：
Inferred type is not general enough
*** Expression : prefix
*** Expected type : [a] -> [b] -> Bool
*** Inferred type
浏览 5提问于2013-10-03得票数 2
回答已采纳
1回答
import { CSSProperties } from 'react';
type StyleRulesType = Partial<CSSProperties>
type StylesDefinition = { [key: string]: StyleRulesType };
const styles: StylesDefinition = {
list: {
position: 'relative',
},
listCount: {
fontStyle: 'italic&
浏览 7提问于2020-03-14得票数 1
回答已采纳
我有一个类似于public static TOut Method<TIn, TOut>(TIn in)和约束where TIn: class, Interface<TOut>的方法。
当我使用Method<ClassIn, ClassOut>(ObjectIn);时，我总是需要编写它吗?还是有什么方法可以通过参数推断出TIn，所以我只需要编写Method<ClassOut>(ObjectIn);？ClassOut不时变化，所以我不能每次都为它编写静态类。
另外，C#不能从约束中推断类型，所以不可能同时推断TIn和TOut吗？
浏览 10提问于2021-12-27得票数 1
回答已采纳
2回答
我需要创建一个由两个参数组成的函数，一个Int和一个[Int]，返回一个新的[Int]，删除第一个参数的所有出现。
我可以很容易地创建这个函数，包括列表理解和列表递归。然而，我用以下参数来做这件事：
deleteAll_list_comp :: Integer -> [Integer] -> [Integer]
deleteAll_list_rec :: (Integer -> Bool) -> [Integer] -> [Integer]
然而，对于我的任务，我需要的参数是
deleteAll_list_comp :: (Eq a) => a ->
浏览 1提问于2013-02-05得票数 6
回答已采纳
1回答
如何在.NET中进行参考比较？
、、、、
在中，它说：
注没有所谓的“引用比较”( .NET使用的对象指针四处移动，这样排序就会改变)。您可以通过使用唯一的标记和自定义比较来实现这一点。
如何在F#和C#中使用唯一的标记进行比较？
浏览 0提问于2017-04-13得票数 0
回答已采纳
2回答
我在深入阅读C#时发现了这一点，我可以理解：
当它被约束为引用类型时，执行的比较类型完全取决于类型参数被约束为什么类型。
但我不能理解：
如果进一步约束它从重载==和!=运算符的特定类型派生，则会使用这些重载。
如果有人能通过例子来解释这一点，我将非常感谢……Plzz
浏览 0提问于2013-01-28得票数 2
1回答
给定以下类...
public abstract class FooBase<TBar> where TBar : BarBase{}
public abstract class BarBase{}
public class Bar1 : BarBase{}
public class Foo1 : FooBase<Bar1> {}
...and下面的方法...
public TBar DoSomething<TFoo, TBar>(TFoo theFoo)
where TFoo : FooBase<TBar>
where TBar
浏览 0提问于2011-07-09得票数 16
回答已采纳
我有一个函数，它采用泛型类型参数。很简单：
private static void Run<T>(IList<T> arg)
{
foreach (var item in arg)
{
Console.WriteLine(item);
}
}
我发现不需要指定类型参数就可以调用这个函数：
static void Main(string[] args)
{
var list = new List<int> { 1, 2, 3, 4, 5 };
//both of the following calls
浏览 5提问于2014-10-01得票数 0
回答已采纳
在Haskell玩类型游戏时，我想出了以下内容：
class MyType a where typeVal :: Proxy a -> Int
instance MyType Int where typeVal _ = 1
instance MyType Char where typeVal _ = 2
g :: MyType a => Int -> Proxy a -> Int
g x p = x + typeVal p
这如预期的那样起作用。然后，我有了一个想法，也许我可以让函数返回一个自定义类型，而不必传递一个Proxy。
{-# LANGUAGE
浏览 0提问于2016-05-31得票数 1
回答已采纳
3回答
F#中的泛型函数
、、
我仍然在试图弄清楚F#是如何泛化(或不泛化)函数和类型的，有一个案例困扰着我：
let min(a, b) = if a < b then a else b
let add(a, b) = a + b
let minInt = min(3, 4)
let minFloat = min(3.0, 4.0) // works!
let addInt = add(3, 5)
let addFloat = add(3.0, 5.0) // error: This expression was expected to have type
浏览 0提问于2012-05-15得票数 9
回答已采纳
1回答
假设我们需要一个函数来接受任意类型的两个参数，只要这两个参数都具有相同的类型。你怎么用mypy静态地检查它？
如果我们只需要函数来接受有限数量的已知类型，那么很容易：
from typing import TypeVar, List, Callable
T = TypeVar('T', int, str, List[int], Callable[[], int])
def f(a: T, b: T) -> None:
pass
f(1, 2)
f("1", "2")
f([1], [2])
f(lambda: 1, lambda
浏览 6提问于2016-10-14得票数 9
回答已采纳
我读过这个答案，它演示了元组类型推断。经过一些实验，我遇到了这种情况。
当我们的tuple函数有T extends string[]时，元组具有字符串文本类型。
export const tuple_0 = <T extends string[]>(...args: T): T => args;
const ALL_SUITS_0 = tuple_0('hearts', 'diamonds', 'spades', 'clubs');
type T0 = typeof ALL_SUITS_0; // [
浏览 0提问于2018-12-20得票数 2
回答已采纳
3回答
这里我有一个泛型方法，它接受泛型类型参数T
public static <T> boolean compare(T p1, T p2) {
return p1.equals(p2);
}
现在，如果我像下面这样调用这个方法
compare(10, "");
它可以工作，但我假设它不应该工作，因为它只能接受一种类型的Type parameter，那么推理算法是如何工作的呢？
浏览 1提问于2015-08-17得票数 3
2回答
我想为Haskell类型编写一个可转换实例到它的C表示形式
看起来是这样的：
instance Convertible Variable (IO (Ptr ())) where
现在GHC抱怨：
Illegal instance declaration for `Convertible
Variable (IO (Ptr ()))'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct ty
浏览 2提问于2013-11-22得票数 15
回答已采纳
我是OCaml的新手，我正在尝试使用函子。当我在函子中使用模块类型注释时，这会导致代码中的编译时错误。
当我删除: Printable (从module FromToString行)和: ToString (从module IntToString行)注释时，以下程序编译时没有出错：
module type ToString =
sig
type t
val to_string: t -> string
end
module type Printable =
sig
type t
val print: t -> unit
end
module Fr
浏览 0提问于2019-01-18得票数 0
回答已采纳
1回答
我有一个UITableViewCell，它有一个子视图，其中有一个图像视图和一个标签。我希望使用子视图作为一种方法，在单元格的内容周围给出一些边距，从而在单元格之间给出边距。这似乎是很多人在网上推荐的做法。
我已经设置了约束，如下所示：
我已经对视图控制器中的所有视图执行了更新框架。故事板就像我期望的那样在电话里显示出来。不过，当我在电话上运行时，我得到了这个.
在这一点上我完全感到困惑。我花了两天的时间阅读和尝试布局一个简单的UITableViewCell，显然还不太清楚自动布局是如何工作的。
我甚至按照建议的边界(蓝线)排列了所有的东西，然后告诉故事板来生成建议的约束。
浏览 2提问于2015-10-09得票数 0
这是一个具有以下错误的程序的精简版本：
open import Data.Empty using (⊥-elim)
open import Data.Nat using (ℕ; zero; suc)
open import Data.Fin using (Fin; punchOut; punchIn; _≟_)
renaming (zero to fzero; suc to fsuc)
open import Relation.Binary.PropositionalEquality using (_≡_; refl; cong; sym)
open import Relation.Nul
浏览 2提问于2020-04-08得票数 3
回答已采纳
下面的F#函数没有编译
open System
let checkCreation time : DateTime =
if (time > DateTime.UtcNow.AddDays(-7.0)) then printfn "New"
else printfn "Old"
checkCreation time
错误标记指向“新”和“旧”
编译器出现以下错误时失败：
Script1.fsx(3,59)：error FS0001:此表达式应具有类型
DateTime，但这里有类型
单元
当我试图通过printfn打印一些东西时，
浏览 1提问于2018-05-03得票数 3
回答已采纳
我有一个代码片段，如下所示
import * as Promise from 'bluebird';
import {Response} from '../commonInterfaces/httpService';
getCall(url: string, accessToken: string, extraHeaders: object): Promise<Response> {
let headers = this.getHeaders(accessToken, extraHeaders);
return new Promis
浏览 0提问于2017-06-17得票数 0
1回答
我试图在RequestManager中创建一个泛型函数，通过ServiceManager将接收到的JSON从服务器转换为指定的类型。这是我的密码：
RequestManager:
typealias ResultResponseManager = (_ data: AnyObject?, _ error: ErrorPortage?) -> Void
typealias SuccessResponseManager = (_ success: Bool, _ error: ErrorPortage?) -> Void
typealias objectBlock<T:Gene
浏览 2提问于2017-05-19得票数 3
回答已采纳
2回答
聚酰胺型应用是注射型的吗？
当我们时，我们知道f a ~ g b意味着f ~ g和a ~ b吗？
动机
当使用时，我将问题减少到只在启用PolyKinds时才收到以下错误。
Could not deduce (c1 ~ c)
from the context ((a, c z) ~ (c1 a1, c1 b))
如果聚酰胺类应用是注射式的，我们可以推断出c1 ~ c如下。
(a, c z) ~ (c1 a1, c1 b)
(a,) (c z) ~ (c1 a1,) (c1 b) {- switch to prefix notation -}
c z ~
浏览 7提问于2015-01-16得票数 7
回答已采纳
1回答
我正在使用名为的新网络库在Swift中执行POST请求。
Alamofire允许您单独构建参数格式并添加它。这是我的请求格式。
{
"DeviceCredentials": {
"UniqueId": "sample string 1"
},
"Personalnumber": "sample string 1"
}
下面是我想出来的。
let parameters = [
"DeviceCredentials": ["UniqueId": uniqueI
浏览 1提问于2014-08-13得票数 5
回答已采纳
在和Haskell玩的时候，我遇到了这个，我被难住了：
Hugs> :type (\x -> x^2)
\x -> x ^ 2 :: (Integral a, Num b) => b -> b
a在里面做什么？我该怎么读呢？如果我在GHCi中输入相同的内容，它会给出我所期望的输出：
Prelude> :type (\x -> x^2)
(\x -> x^2) :: Num a => a -> a
这是拥抱中的虫子吗？
浏览 3提问于2011-11-04得票数 5
回答已采纳
1回答
允许推断模板
、、、
假设我使用的是。BidirectionalGraph需要两个模板:顶点类型和边缘类型：
var graph = new BidirectionalGraph<Vertex, Edge<Vertex>>();
不幸的是，这个图形包不允许你让边辐射成一个顶点在一条线上。相反，您必须提供一个IEnumerable，它将填充结果。这可能会破坏一个良好的编码节奏，因为这样的任务，如“循环遍历所有顶点，是顶点x的接班人”，需要太多的代码。
我想使用.NET的扩展将一行解决方案添加到图形类中：
public static class GraphExtensions
{
pub
浏览 0提问于2013-08-16得票数 7
回答已采纳
我希望第二个调用风格应该类似于第一个调用风格。请在我的代码中查看详细信息。任何帮助都是非常感谢的。
这是我正在使用的代码。
//第一个方法的调用风格
var source = db.ThinkFeeds.Single(tf => tf.ID == 1);
var target = new MyProduct.UIEntities.ThinkFeed();
TypeConverter.ConvertBlToUi(source, target);
//第二个方法的调用风格这真的是一种奇怪的调用风格。
va
浏览 0提问于2013-02-13得票数 2
回答已采纳
请考虑以下示例：
function identity<T>(arr: T[]) { return arr }
identity(["a", "b"])
在这里，泛型类型T被推断为string，这对我来说是有意义的。
但是，如果在T上添加了一个约束(如下面所示)，那么T被推断为"a" | "b"，为什么？
function identity<T extends string>(arr: T[]) { return arr }
identity(["a", "b"])
浏览 2提问于2022-09-10得票数 3
我是Haskell的新手，请原谅我问这个可能很明显的问题，但我对此感到惊讶：
len2 :: [a] -> Int
len2 xx = if xx == [] then 0 else 1 + (len2 (tail xx))
给我：
No instance for (Eq a) arising from a use of ‘==’
Possible fix:
add (Eq a) to the context of
the type signature for len2 :: [a] -> Int
In the expression: xx == []
我很惊讶，因为我
浏览 1提问于2015-10-08得票数 2
回答已采纳
3回答
我不明白为什么下面的代码不能编译：
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication1 {
public interface ITestCondition<T> {
}
public class TestConditionBase<T>: ITestCondition<T> {
}
浏览 0提问于2013-03-21得票数 1
回答已采纳
2回答
fun in_list (x : int, y : int list) =
if null y
then false
else if x=hd y then true
else in_list(x,tl y)
这就是我的代码当前的样子，如果x出现在y列表中，它只返回true，如果不是，则返回false。问题是，我希望它能够输入"a“和"a"，"b"，"c”，甚至有x是列表，y是列表。我对ML非常陌生(上周才开始了解)，我一直在寻找答案，什么都想不出来。
浏览 3提问于2014-03-30得票数 1
回答已采纳
2回答
以下是代码
class Program
{
public static bool IsGreaterThan<T>(T x, T y) where T : IComparable<T>
{
return (x.CompareTo(y) > 0);
}
static void Main(string[] args)
{
var result = IsGreaterThan(20,10);
Console.WriteLine(result);
}
}
只要看看当调用像
浏览 3提问于2011-06-21得票数 0
回答已采纳
背景
我想实现我自己的usePromise。
// if with filterKey(e.g `K=list`), fileNodes's type should be `FileNode` (i.e. T[K])
const [fileNodes, isOk] = usePromise(
() => {
return Promise.resolve({list:[]}) as Promise<{ list: FileNode[] }>;
},
{ initValue: [] },
"list",
浏览 5提问于2022-09-14得票数 1
回答已采纳
这是代码：
using System;
using System.Collections.Generic;
using System.Linq;
namespace ConsoleApplication8
{
public interface MyBaseClass { }
public interface MyClass1 : MyBaseClass { }
public interface MyClass2 : MyBaseClass { }
public interface Filter { int Id { get; set; } }
public int
浏览 0提问于2014-07-17得票数 0
回答已采纳
1回答
我是一个Haskell和Stackoverflow新手，这是我的第一个&可能是非常基本的Haskell问题。
module M where
import Data.HList
data R r a
r1 = undefined :: R a Int
r2 = undefined :: R a Double
rPair :: R r a -> R r b -> (R r a, R r b)
rPair = (,)
rp = rPair r1 r2
这是有意义的，即使r1和r2在r中是多态的，rPair也会根据类型签名对齐它们的r类型。有没有专门的术语来描述这种“对
浏览 1提问于2011-03-05得票数 4
2回答
我试图弄清楚Haskell如何确定函数的类型。我编写了一个示例代码：
compareAndIncrease a b =
if a > b then a+1:b:[]
else a:b:[]
它根据a>b的比较构造一个列表。然后我使用:t命令检查了它的类型：
compareAndIncrease :: (Ord a, Num a) => a -> a -> [a]
好的，我需要一个类型化的Ord来比较，Num用于数值计算(比如a+1)。然后取参数a和b，得到一个列表(a->a->a)。一切看起来都很好。但后来我在某个地方找到了一个复制数
浏览 4提问于2014-06-22得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
