- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
鉴于 ixmap
的签名和 contramap
的签名之间的相似性,我想了解 Array i e
是否是逆变第一类型论证中的仿函数,或者至少从范畴论的角度来看,这两个事物是如何相互关联的。
在 Chapter 12 from Real World Haskell 的末尾, 函数 ixmap
被使用。
基于其签名
ixmap :: (Ix i, Ix j) => (i, i) -> (i -> j) -> Array j e -> Array i e
我忍不住注意到,一旦我们将它部分应用于第一个参数,例如我们传递给它 (1::Int, 1::Int)
为了简单起见,它的签名变成了
ixmap (1 :: Int,1 :: Int) :: Ix j => (Int -> j) -> Array j e -> Array Int e
与contramap
的签名有些相似:
contramap :: (a' -> a) -> f a -> f a'
甚至更多关于 Op
的特化:
contramap :: (a' -> a0) -> Op a a0 -> Op a a'
毕竟,我认为类型 Array j e
可以被认为是将类型 j
的子集映射到类型 e< 的函数类型
,一种带有“受限”j
的 j -> a
。所以,就像 b -> a
是 a
中的 Functor
并且定义了 Op a b
使其成为 a b
中的逆变仿函数,我想我可以类似地定义:
newtype Array' e i = Array' { arr :: Array i e }
并为它写一个Contravariant
实例:
instance Contravariant (Array' e) where
contramap f a = undefined -- ???
令我不安的是,我不能真正将部分应用的 ixmap
用于 contramap
,因为 (1) 我所做的部分应用了它? (2) 这样做会阻止 i
类型(例如,在我的示例中为 Int
)。
而且我什至想不出一种方法让 contrampa
从其他两个参数 f 中重新检索类型为
和 (i,i)
的所需对象::(i -> j)a::Array j e
,因为我没有从 j
到 i
的函数>.
最佳答案
Array
是一个 profunctor从索引重映射函数的类别到正常的 Hask 类别(无约束的 Haskell 类型,Haskell 函数作为态射)。
有一个相当普遍的 class for profunctors Hask → Hask , 但它无法表达 Ix
约束。这很容易在 constrained-categories 中表示†虽然框架:
class (<a href="http://hackage.haskell.org/package/constrained-categories-0.4.1.0/docs/Control-Category-Constrained.html#t:Category" rel="noreferrer noopener nofollow">Category</a> r, Category t) => Profunctor p r t where
dimap :: (<a href="http://hackage.haskell.org/package/constrained-categories-0.4.1.0/docs/Control-Category-Constrained.html#t:Object" rel="noreferrer noopener nofollow">Object</a> r a, Object r b, Object t c, Object t d)
=> r a b -> t c d -> p b c -> p a d
现在,要将其与 Array
一起实际使用,我们需要将允许索引的范围提升到类型级别。 IE。而不是使用 Int
作为索引类型——这有点不安全,因为它允许在范围之外进行索引……我们显然不能在类别理论设置中使用它! – 我们只使用一种包含允许范围的类型。与其实际将其写入 Array
,不如让我使用 Vector
(它不会提供不同的索引类型完全没有)作为低级表示:
{-# LANGUAGE DataKinds, TypeFamilies, AllowAmbiguousTypes, TypeApplications, ScopedTypeVariables, UnicodeSyntax #-}
import GHC.TypeLits (Nat, natVal)
import Data.Vector (Vector)
import qualified Data.Vector as V
newtype Range (lb :: Nat) (ub :: Nat)
= Range { getIndexInRange :: Int -- from 0 to ub-lb-1
}
newtype SafeArray i a = SafeArray {
getFlattenedArray :: Vector a -- length must equal `rangeLength @i`
}
class ToLinearIndex r where
rangeLength :: Int
toLinearIndex :: r -> Int
instance ∀ lb ub . ToLinearIndex (Range lb ub) where
rangeLength = fromInteger $ natVal @rb [] - natVal @lb []
toLinearIndex = getIndexInRange
instance ∀ rx ry . (ToLinearIndex rx, ToLinearIndex ry)
=> ToLinearIndex (rx, ry) where
rangeLength = rangeLength @rx * rangeLength @ry
toLinearIndex (ix, iy)
= toLinearIndex ix + rangeLength @rx * toLinearIndex iy
(!) :: ToLinearIndex i => SafeArray i a -> i -> a
SafeArray v ! i = V.unsafeIndex v $ toLinearIndex i
newtype IxMapFn r s = IxMapFn {
getIxMapFn :: Int -> Int -- input and output must be <rangeLength
-- of `r` and `s`, respectively
}
instance Category IxMapFn where
type Object IxMapFn i = ToLinearIndex i
id = IxMapFn id
IxMapFn f . IxMapFn g = IxMapFn $ f . g
saDiMap :: ∀ r s a b . (ToLinearIndex r, ToLinearIndex s)
=> IxMapFn s r -> (a -> b) -> SafeArray r a -> SafeArray s b
saDiMap (IxMapFn f) g (SafeArray v)
= SafeArray . V.generate (rangeLength @s)
$ g . V.unsafeIndex v . f
instance Profunctor SafeArray IxMapFn (->) where
dimap = saDimMap
constrained-categories
,主要是因为我认为 profunctor 在 Haskell 中有点被滥用了:通常当人们使用 endo-profunctors 时,他们实际想要表达的只是一个类别/Arrow
.
关于haskell - ixmap、数组和逆变仿函数之间的关系是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/66950340/
我需要修复 getLineNumberFor 方法,以便如果 lastName 的第一个字符位于 A 和 M 之间,则返回 1;如果它位于 N 和 Z 之间,则返回 2。 在我看来听起来很简单,但我不
您好,感谢您的帮助!我有这个: 0 我必须在每次点击后增加“pinli
Javascript 中是否有一种方法可以在不使用 if 语句的情况下通过 switch case 结构将一个整数与另一个整数进行比较? 例如。 switch(integer) { case
我有一列是“日期”类型的。如何在自定义选项中使用“之间”选项? 最佳答案 请注意,您有2个盒子。 between(在SQL中)包含所有内容,因此将框1设置为:DATE >= startdate,将框2
我有一个表,其中包含年、月和一些数字列 Year Month Total 2011 10 100 2011 11 150 2011 12 100 20
这个问题已经有答案了: Extract a substring between double quotes with regular expression in Java (2 个回答) how to
我有一个带有类别的边栏。正如你在这里看到的:http://kees.een-site-bouwen.nl/ url 中类别的 ID。带有 uri 段(3)当您单击其中一个类别时,例如网页设计。显示了一
这个问题在这里已经有了答案: My regex is matching too much. How do I make it stop? [duplicate] (5 个答案) 关闭 4 年前。 我
我很不会写正则表达式。 我正在尝试获取括号“()”之间的值。像下面这样的东西...... $a = "POLYGON((1 1,2 2,3 3,1 1))"; preg_match_all("/\((
我必须添加一个叠加层 (ImageView),以便它稍微移动到包含布局的左边界的左侧。 执行此操作的最佳方法是什么? 尝试了一些简单的方法,比如将 ImageView 放在布局中并使用负边距 andr
Rx 中是否有一些扩展方法来完成下面的场景? 我有一个开始泵送的值(绿色圆圈)和其他停止泵送的值(簧片圆圈),蓝色圆圈应该是预期值,我不希望这个命令被取消并重新创建(即“TakeUntil”和“Ski
我有一个看起来像这样的数据框(Dataframe X): id number found 1 5225 NA 2 2222 NA 3 3121 NA 我有另一个看起来
所以,我正在尝试制作正则表达式,它将解析存储在对象中的所有全局函数声明,例如,像这样 const a = () => {} 我做了这样的事情: /(?:const|let|var)\s*([A-z0-
我正在尝试从 Intellivision 重新创建 Astro-Smash,我想让桶保持在两个 Angular 之间。我只是想不出在哪里以及如何让这个东西停留在两者之间。 我已经以各种方式交换了函数,
到处检查但找不到答案。 我有这个页面,我使用 INNER JOIN 将两个表连接在一起,获取它们的值并显示它们。我有这个表格,用来获取变量(例如开始日期、结束日期和卡号),这些变量将作为从表中调用值的
我陷入了两个不同的问题/错误之间,无法想出一个合适的解决方案。任何帮助将不胜感激 上下文、FFI 和调用大量 C 函数,并将 C 类型包装在 rust 结构中。 第一个问题是ICE: this pat
我在 MySQL 中有一个用户列表,在订阅时,时间戳是使用 CURRENT_TIMESTAMP 在数据库中设置的。 现在我想从此表中选择订阅日期介于第 X 天和第 Y 天之间的表我尝试了几个查询,但不
我的输入是开始日期和结束日期。我想检查它是在 12 月 1 日到 3 月 31 日之间。(年份可以更改,并且只有在此期间内或之外的日期)。 到目前为止,我还没有找到任何关于 Joda-time 的解决
我正在努力了解线程与 CPU 使用率的关系。有很多关于线程与多处理的讨论(一个很好的概述是 this answer )所以我决定通过在运行 Windows 10、Python 3.4 的 8 CPU
我正在尝试编写 PHP 代码来循环遍历数组以创建 HTML 表格。我一直在尝试做类似的事情: fetchAll(PDO::FETCH_ASSOC); ?>
我是一名优秀的程序员,十分优秀!