higher-rank-types

5Ciepło

1Odpowiedz

Korzystanie z jednowartościowy szeregowych typu 2

Oto kod: {-# LANGUAGE RankNTypes, FlexibleContexts, ScopedTypeVariables #-} module Foo where import Data.Vector.Generic.Mutable as M import Data.Vector.Generic as V import Control.Monad.ST impo

haskell higher-rank-types 2014-07-14

---

5Ciepło

3Odpowiedz

Konieczność wrapperów typu egzystencjalnego

Okazuje się, że zaskakująco trudno poprawnie używać typów egzystencjalnych/rang-n, pomimo bardzo prostego pomysłu. Dlaczego owijanie typów egzystencjalnych w typy data jest konieczne? mam następujący

haskell polymorphism existential-type higher-rank-types 2012-06-03

---

6Ciepło

2Odpowiedz

Funkcje polimorficzne (ogólne) jako argumenty w C++

Opracowuję stosunkowo prosty program (właściwie kalkulator). Jednak zdecydowałem się uczynić wszystkie elementy mojego programu tak ogólne, jak to możliwe, ponieważ: To dobra praktyka. Zachowuje rzecz

c++ generics variadic-templates higher-kinded-types higher-rank-types 2014-11-24

---

9Ciepło

1Odpowiedz

Kind vs Rank in type theory

Ciężko mi zrozumieć typy Higher Kind vs Higher Rank. Rodzaj jest dość prosty (dzięki temu, że Haskell do tego pisze) i myślałem, że ranga jest jak rodzaj, gdy mówimy o typach, ale najwyraźniej nie! Pr

type-theory higher-rank-types type-kinds 2012-11-09

---

28Ciepło

2Odpowiedz

Czy są jakieś zalety korzystania z Rank2Types na rzecz RankNTypes?

O ile mi wiadomo, istnieje rozstrzygalny algorytm sprawdzania typu (tylko) dla typów rangowych-2. Czy GHC używa w jakiś sposób tego faktu i czy ma jakieś praktyczne implikacje? Czy istnieje również po

haskell ghc type-inference higher-rank-types 2013-02-22

---

7Ciepło

1Odpowiedz

newtype wokół ST powoduje błąd typu

Kiedy próbuję załadować następujący kod pod GHC 7.4.1: {-# LANGUAGE RankNTypes #-} import Control.Monad.ST newtype M s a = M { unM :: ST s a } runM :: (forall s. M s a) -> a runM (M m) = runST

haskell polymorphism higher-rank-types 2013-09-12

---

29Ciepło

1Odpowiedz

Doing szeregowych n ilościowe w Idris

mogę zrobić tylko typy szeregowych nw Idris 0.9.12 w dość niezręczny sposób: tupleId : ((a : Type) -> a -> a) -> (a, b) -> (a, b) tupleId f (a, b) = (f _ a, f _ b) muszę podkreślenia wszędzie tam,

dependent-type higher-rank-types idris 2014-04-05

---

13Ciepło

1Odpowiedz

Dlaczego `[1," a "] :: [forall a. Pokaż a => a] `jest niedozwolone?

W moim (może być niepoprawne) zrozumienia po obu listach powinny być równoważne: [1, "a"] :: [forall a. Show a => a] data V = forall a. Show a => V a [V 1, V "a"] :: [V] Jednak pierwsze nie jest

haskell polymorphism typeclass existential-type higher-rank-types 2015-10-10

---

11Ciepło

2Odpowiedz

Jak nazywa się ten funktor używający RankNTypes?

Podczas gry wokół pakietu objective zauważyłem, że następujący typ ma interesującą właściwość. > {-# LANGUAGE RankNTypes #-} > data N f r = N { unN :: forall x. f x -> (x, r) } To jest Funktor. > i

haskell functor higher-rank-types 2016-04-29

---

6Ciepło

1Odpowiedz

W jaki sposób nieinwestycyjnie zwracać `Może` obiektyw?

Typ taki jak Maybe (Lens' a b) nie działa, ponieważ Lens' jest pod maską typu Rank-2, który nie może być zawijany w konstruktorze typu bez rozszerzenia -XImpredicativeTypes (co nie jest obsługiwane w

haskell lenses higher-rank-types impredicativetypes 2017-01-07

---