为什么Haskell的“泛型”类类型家族“Rep a”被注释为类型构造函数，而不是类型？
Haskell的"泛型"类类型家族"Rep a"被注释为类型构造函数，而不是类型，是因为它是一种用于构造类型的函数。在Haskell中，类型构造函数是一种特殊的函数，它接受一个或多个类型作为参数，并返回一个新的类型作为结果。
"泛型"类类型家族"Rep a"是一种用于生成与类型a相关的类型的类型构造函数。它可以根据类型a的不同生成不同的类型。这种灵活性使得Haskell的类型系统非常强大，可以支持泛型编程和抽象数据类型的定义。
"泛型"类类型家族"Rep a"的应用场景非常广泛。它可以用于定义通用的数据结构和算法，使得代码更加模块化和可复用。它还可以用于实现类型安全的序列化和反序列化，以及在编译时进行类型检查和推断。
在腾讯云的产品中，与Haskell的"泛型"类类型家族"Rep a"相关的产品是腾讯云函数计算（SCF）。腾讯云函数计算是一种事件驱动的无服务器计算服务，可以根据事件触发自动运行代码。它支持多种编程语言，包括Haskell，可以使用Haskell的"泛型"类类型家族"Rep a"构造函数来定义函数的输入和输出类型。您可以通过以下链接了解更多关于腾讯云函数计算的信息：
腾讯云函数计算产品介绍：https://cloud.tencent.com/product/scf
相关·内容
1回答
Haskell中的真同构
、、、
下列断言是正确的：
由Haskell类型系统验证的用户可编程访问的唯一真正的同构( Haskell编译器是/可以知道的)是：
- the **set** of values of a Haskell datatype
- the set of values of types those required by its constructors
即使是泛型编程也不能生成“真”同构，其组合在运行时以标识形式产生(例如 -和Ocaml中的 )。
Haskell本身是唯一产生的同构，Coercible，但是这些同构仅限于同构。
所谓“实同构，用户可编程访问，由Has
浏览 8提问于2022-02-18得票数 0
7回答
考虑面向对象的语言：。
大多数来自面向对象编程背景的人都熟悉各种语言中的通用和直观的接口，这些接口捕捉了Java的和接口的本质。Collection指的是不一定具有自然排序/索引的对象集合。List是一个具有自然排序/索引的集合。这些接口抽象了Java中的许多库数据结构，它们在其他语言中的等效接口也是如此，需要对这些接口有深入的了解才能有效地与大多数库数据结构一起工作。
向Haskell的过渡：
Haskell有一个类型类系统，它对类型的作用类似于对象上的接口。当类型涉及功能时，Haskell似乎有一个关于函子、应用程序、Monad等的。他们显然想要。然而，当您查看许多Haskell的容器(、
浏览 0提问于2014-08-07得票数 59
回答已采纳
.NET泛型术语有点含糊不清。更糟糕的是，它似乎在不同的来源中被含糊和不同地使用。基本上不清楚的是这四个术语之间的关系(关于“类型”)：
打开
关着的不营业的
解束缚
建好
我知道List<T>是开放的，List<int>是封闭的。但是，与开放/封闭类型相比，什么才是真正的“构造”和“未绑定”？
浏览 1提问于2011-02-02得票数 15
回答已采纳
在数学中，在函数空间中增加两个函数可以看作是一种运算。结果是另一个函数。
我可以将函数建模为抽象类，并为其实现所有相关的操作符。该类的对象可以用基本函数(例如常数)赋值，而运算符可以用来构造更复杂的函数。可以对这些对象进行评估或区分。
对于这样一个抽象类，什么才是合适的名字呢？显然，函数在数学意义上是一个完全恰当的术语，但在编程中却是模棱两可的。
我隐约记得有人称它为函子，但研究这个词会导致一些不同的东西。
浏览 0提问于2022-06-26得票数 5
回答已采纳
在像Scala和Haskell这样的函数式编程语言中，有一种Either类型经常用来表示一个成功的结果或一个失败/错误对象。如果包含失败，则称为“左”，当包含成功的结果时，则称为“右”。
为什么“不成功”是“左”，“成功”是“右”？为什么首先要使用这些方向？
浏览 2提问于2014-06-09得票数 1
示例：
class Base<T>{}
class Child<T> : Base<T>{}
typeof( Base<> ).IsGenericTypeDefinition; // == true ie. parameterless
typeof( Child<> ).BaseType.IsGenericTypeDefinition; // == false wtf???
// Eventually
typeof( Base<> ) != typeof( Child<> ).BaseType;
由于此
浏览 0提问于2018-08-05得票数 6
1回答
我正在尝试构建一个自动知道如何创建默认值的Default类。所以我读了，我的问题归结为:为什么这个打字员：
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DefaultSignatures #-}
import GHC.Generics
-- From https://wiki.haskell.org/GHC.Generics (sort of)
class GSerialize f where
gput :: f a -> [Int]
class Serialize a
浏览 3提问于2016-09-21得票数 1
回答已采纳
我有一个使用实体框架核心O/RM的ASP.NET Core应用程序。我正在应用程序中实现通用存储库模式。有两个实体，Employee和Department。有一个上下文类EmployeeDepartmentDetails，有一个由GenericRepository实现的接口IGenericRepository。GenericRepository具有EmployeeDepartmentDetails、.My、Controller、EmployeeController和IGenericRepository的依赖注入。
IGenericRepository.cs -
public interface
浏览 0提问于2020-03-31得票数 2
回答已采纳
在使用unsafe或fixed关键字时，可以在C#中定义指向非托管类型的指针，如byte* int*等。还可以定义指向仅包含非托管类型的任何结构的指针，例如：
namespace a
{
struct MyStruct
{
int value1;
int value2;
}
class b<T>
{
unsafe void SomeMethod()
{
MyStruct* ptr;
}
}
}
但是，如果struct是在泛型类定义中定义的，我将得到错误CS0208: Ca
浏览 4提问于2016-09-03得票数 2
4回答
为什么我不能打电话给SomeGenericMethod<SomeGenericType<>>
class NotGeneric { }
class Generic<T> { }
class Program
{
static void Main(string[] args)
{
PrintType(typeof(NotGeneric));
PrintType(typeof(Generic<>));
PrintType<NotGeneric>();
Pri
浏览 10提问于2016-04-01得票数 14
回答已采纳
2回答
在C#中，可以使用以下方法来别名类：
using Str = System.String;
对于依赖于泛型的类，这是否可能，我尝试过类似的方法，但它似乎没有编译。
using IE<T> = System.Collections.Generic.IEnumerable<T>;
和
using IE = System.Collections.Generic.IEnumerable;
这是否可能在C#中使用泛型？如果是这样的话，我错过了什么？
浏览 2提问于2014-02-17得票数 6
回答已采纳
来自C# 5.0规范
4.4构造类型
泛型类型声明本身表示--一个未绑定的泛型类型，通过应用类型参数，它被用作形成许多不同类型的“蓝图”。类型参数是紧跟在泛型类型名称后面的尖括号(<和>)中写入的。未绑定的泛型类型只能在类型表达式中使用(§7.6.11)。包含至少一个类型参数的类型称为(构造的类型)。构造的类型可以在语言中的大多数地方使用，在语言中可以出现类型名称。未绑定的泛型类型只能在类型表达式中使用(§7.6.11)。
构造的类型也可以作为简单名称(§7.6.2)或访问成员(§7.6.4)在表达式中使用。
“构造类型”的概念与“有界泛型”的概念是一样的吗？
4.4.3
浏览 3提问于2017-04-26得票数 3
我是Haskell的新手，目前正在经历真实世界的Haskell。书中说类型构造函数只在类型签名中使用，而值构造函数在实际代码中使用。它还给出了一个声明的示例，以说明两者的名称彼此独立。如果在实际代码中只使用一个构造函数，那么为什么首先需要两个构造函数呢？既然我们不会在实际代码中使用类型构造函数，那么类型构造函数有什么作用呢？
浏览 5提问于2012-04-20得票数 15
回答已采纳
2回答
public sealed class Reference<T>
{
private static ulong maxID = 0;
private ulong id = maxID++;
public ulong LongID => this.id;
public Reference() { }
public bool Equals(T? other)
=> other?.Reference.id == this.id;
public bool Equals(Reference<T>? oth
浏览 3提问于2022-05-02得票数 1
回答已采纳
1回答
我正在研究C#中的泛型类型，我发现了这篇关于泛型类的MSDN文章。几乎所有事情都没问题，但我对闭构造类型概念表示怀疑。
因此，我决定编写一些测试代码来探索这个概念：
using System;
using System.Collections;
namespace Articulos.Cap03
{
internal class ClaseBase <T> { }
internal class SubclaseGenerica<T> : ClaseBase <long> { }
internal class HerenciaCer
浏览 3提问于2014-05-22得票数 0
2回答
上下文
我有一个InteractionWindowPresenter类负责创建Windows。其中一些可能是模态的，为了通知应用程序的其他部分，我希望保留一个计数器，说明打开的模态窗口的数量。
因此，我在类中添加了一个_modalsCount变量，每次打开或关闭模态窗口时都会更新：
public class InteractionWindowPresenter<TWindow, TNotification>
where TWindow : System.Windows.Window
where TNotification : Prism.Interactivity.
浏览 8提问于2015-12-23得票数 1
回答已采纳
让我们暂时假设C++不是一种函数式编程语言。如果您想要使用LLVM为后端编写编译器，并且希望使用函数式编程语言及其到LLVM的绑定来完成您的工作，据我所知，您有两个选择: Objective Caml和Haskell。如果还有其他的，那么我也想知道这些。
我不是在征求主观的意见，所以请不要给这个打上subjective标签。我想对此做出自己的决定，但我不确定我是否知道所有的权衡。所以，StackOverflow来拯救你了。权衡是什么？
浏览 2提问于2009-11-21得票数 33
回答已采纳
我试着比较Haskell的类型类和C‘S接口，假设有一个Functor。
哈斯克尔：
class Functor f where
fmap :: (a -> b) -> f a -> f b
如何在C#中实现此类型类作为接口？
我试过的是：
interface Functor<A, B>
{
F<B> fmap(Func<A, B> f, F<A> x);
}
这是无效的实现，实际上我使用了应该由F返回的泛型fmap类型。它应该如何定义，在哪里？
用Functor实现C#是不可能的吗?为什么？还是有别的办法？
浏览 0提问于2013-11-25得票数 15
回答已采纳
我想为我的数据提取构造函数的值，它是产品类型data X = Xa A | Xb B | Xcd C D | Xefg E F G....的总和，其中A、B、C…是data A = A {a :: xyz , b :: abc..}类型的，我想要一个函数，它接受X类型的值，然后给我"Xa"，"Xb“..基于类型。我知道我可以用例，但是有没有更好的方法呢？Haskell为此提供了toConstr函数，
浏览 17提问于2021-07-20得票数 0
2回答
我想要计算某一类数据类型的“正态性”。即具有单个构造器和一些字段的数据类型。例如，data T a = T Int () String a。然后，“数量”将是字段的数量。对于T a，这将是4。我设想了一个带有如下签名的函数：
forall a . C a => Int
以获得适当的C选择。我知道如果对某个类型的a使用Generic a，我会得到from :: a -> Rep a x，但请注意，这将需要a的具体值，我对静态计算它很感兴趣。这是不是有可能呢？我也考虑过Typeable，但我并不是很了解它。
浏览 56提问于2019-05-29得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
