Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
在 Idris 中,我可以证明自由定理吗? `forall t 类型的唯一(全部)函数。 t -> t` 是 `id`?
对于足够多态的类型 参数性可以唯一地确定函数本身 参见瓦德勒的定理免费 http www cs sfu ca CourseCentral 831 burton Notes July14 free pdf了解详情 例如 唯一具有类型的总函数f
idris
parametricpolymorphism
freetheorem
带 $ 的 Haskell 偏函数应用
我是 Haskell 的新手 正在查看一个使用函数应用程序的简单示例 这看起来很简单 它需要一个函数并将其应用于一个值 所以这是有道理的 gt 3 2 5 这也是有道理的 gt 3 2 5 这是有道理的 因为第一个参数是函数 第二个参数是值
为什么说C++不支持参数多态?
根据维基百科页面参数多态性 https en wikipedia org wiki Parametric polymorphism 类型多态性的一些实现表面上与参数多态性相似 同时也引入了特殊方面 C 模板专门化就是一个例子 问题 为什么说
c
parametricpolymorphism
为什么这个实现无效?
假设我有以下类型签名 someFunction Eq a Eq b gt a gt b 随着实施 someFunction x 2 Int 不要看得太远 这只是一个例子 我对签名的理解是 someFunction接受一个作为实例的参数Eqt
Haskell
types
compilererrors
typeclass
parametricpolymorphism
Haskell 中是否有自动记忆全局多态值的方法?
多态 常量 例如5 Num a gt a 并不是真正的常量 而是字典参数的函数 因此 如果您定义 primes Num n gt n primes Bad example of course there s no good reason h
Haskell
memoization
parametricpolymorphism
OCaml 中的多态性 - 特别、参数、包含/子类型
我在理解不同类型的多态性时遇到问题 特别是关于 OCaml 的多态性 我知道多态性允许 OCaml 中表示为 a 的多种类型 但我不明白不同类型的多态性是什么 如果有人能用相对低级的语言给我解释那就太棒了 临时 参数 包含 子类型 这是一个
polymorphism
ocaml
parametricpolymorphism
adhocpolymorphism
Haskell 中的抽象数据类型与参数多态性
我试图掌握这两个概念之间的关系 首先考虑一个例子抽象数据类型 data Tree a Nil Node left Tree a value a right Tree a 根据哈斯克尔维基 这种类型是抽象的 因为它未定义其结构的某些方面 由数
Haskell
types
abstract
parametricpolymorphism
在折叠树的 Typed Racket 中投射到任意类型
我正在尝试为某些类型生成一个类型化的球拍程序A 需要一个Tree 以及两个函数As to an A 另一个类型的参数A 并返回一个类型的值A 我不太熟悉 All 语法 但我尝试使用它 不幸的是 我的代码在构建时产生以下错误消息 Type C
Tree
racket
fold
parametricpolymorphism
typedracket
fn 类型的 ml 函数:'a -> 'b
功能 fn a gt b 现在 有没有可以定义并具有这种类型的函数 标准机器学习中该函数签名有两种可能的实现 一种使用异常 另一种使用递归 val raises a gt b fn a gt raise Fail some error In
functionalprogramming
SML
ML
parametricpolymorphism
如果我已经为 U 实现了 From
,Rust 是否会为 Vec
实现 From
> ?
我有一个结构NotificationOption和另一个结构NotificationOption2以及一个实现From
generics
vector
Rust
traits
parametricpolymorphism
输入毫无意义的签名
Consider a gt a gt a gt Bool 这个签名有什么有意义的定义吗 也就是说 定义不是简单地忽略论证 x gt a gt Bool 看来这样的签名还有很多 可以立即排除 Carsten K nig 在评论中建议使用自由定
Haskell
types
signature
parametricpolymorphism
typesignature
在 Haskell 中,“更高级的类型”真的是类型吗?或者它们仅仅表示*具体*类型的集合而仅此而已?
参数多态函数 考虑以下函数 f a gt Int f x 1 Int 我们可以说 这种类型f is a gt Int 然后f因此是 多态 类型 以下哪项是最准确的思考方式f 事实上有一个single f类型的a gt Int 然而 它可以用
Haskell
types
higherkindedtypes
parametricpolymorphism
泛型函数类型中的通用量化
正在阅读paper http lucacardelli name Papers OnUnderstanding A4 pdf关于编程语言中的类型和多态性 我想知道是否可以用 Scala 表达类型成员上类似的通用量化 论文中的示例 type
scala
types
typetheory
parametricpolymorphism
Scala:理解参数多态性
有什么区别 def drop1 A l List A l tail and def drop1 l List Int l tail 假设用法看起来像 drop1 List 1 2 3 何时应该使用其中之一 为什么 虽然我可以理解第二个例子
scala
types
parametricpolymorphism
为什么除非使用临时变量,否则我不能推入 dyn Trait 的 Vec ?
这是我的代码 use std rc Rc Weak use std cell RefCell trait Trait fn push
Rust
polymorphism
traits
parametricpolymorphism
traitobjects
如何在 Perl 6 中使类参数化?
通常在 Perl 6 中 只允许角色是参数化的 在这里 我们将尝试创建类 kind 从这里开始称为元对象 通常不允许是参数化的 参数化的 如果您尝试以简单的方式使类参数化 则会发生这种情况 bastille perl6 e class Fo
metaprogramming
raku
parametricpolymorphism