category-theory

6Ciepło

1Odpowiedz

Typeclass dla (co wydaje się być) kontrawariantny funktor realizacji funkcji inwersji

Powiedzmy mam następujące import Control.Category (Category, (.), id) data Invertible a b = Invertible (a -> b) (b -> a) instance Category Invertible where id = Invertible Prelude.id Prelude.

9Ciepło

3Odpowiedz

Jaki jest ogólny przypadek funkcji promującej QuickCheck?

co jest ogólnym terminem dla funktora o strukturze przypominającej promote funkcji QuickCheck'S, czyli funkcji postaci: promote :: (a -> f b) -> f (a -> b) (to odwrotność flip $ fmap (flip ($)) :: f

14Ciepło

1Odpowiedz

Dowody poziomu otwartego typu w Haskell/Idris

W Idris/Haskell można udowodnić właściwości danych poprzez opisywanie typów i używanie konstruktorów GADT, takich jak Vect, jednak wymaga to zakodowania właściwości w typie (np. musi być oddzielnym ty

11Ciepło

1Odpowiedz

Co to są "rodzaje słownictwa" i ile istnieje?

różnych językach programowania, z jaką się spotkałem podobnego composite types różnymi nazwami: Optional/Maybe Any Variant/Sum Record/Product Ludzie często używają terminu rodzaj słownictwa , Jeszcze

5Ciepło

3Odpowiedz

Funktory w Javie

Próbuję zdefiniować klasy w Javie, które są podobne do funktorów Haskella. Niniejszym, funktorem jest zdefiniowany jako: /** * Programming languages allow only (just simply enough) endofunctor, that

8Ciepło

3Odpowiedz

Pokazywanie, że `nowy typ T a = T (a -> Int)` jest konstruktorem typów, który nie jest funktorem

Twierdzono, że newtype T a = T (a -> Int) jest konstruktorem typu, który nie jest funktorem (ale jest przeciwwariantowym funktorem). Jak to? Albo co to jest contravariant functor (skąd zakładam, że bę

19Ciepło

1Odpowiedz

W jaki sposób podnoszenie (w kontekście programowania funkcjonalnego) odnosi się do teorii kategorii?

Patrząc na dokumentację Haskell, podnoszenie wydaje się zasadniczo uogólnieniem fmap, pozwalając na mapowanie funkcji z więcej niż jednym argumentem. Artykuł na temat podnoszenia daje jednak odmienny

7Ciepło

1Odpowiedz

Czy jest to znaczące uogólnienie "skanów" dla arbitralnych ADT?

Zastanawiam się, w jaki sposób można uogólnić scanl na arbitralne ADT. Podejście Prelude ma traktować wszystko jako listę (tj. Foldable) i zastosować scanl w płaskim widoku struktury. Zamiast tego, my

8Ciepło

1Odpowiedz

Są domyślnie typem algebry danych haskell?

Próbuję objąć moją głowę algebrami F, a this article wykonuje całkiem niezłą robotę. Rozumiem pojęcie teorii dualnej w kategorii, ale trudno mi zrozumieć, w jaki sposób F-coalgebras (dual-algebr F) od

11Ciepło

3Odpowiedz

Czy istnieje jakaś intuicja do zrozumienia łączenia dwóch funkcji w Monadzie?

join jest zdefiniowany wraz z bind w celu spłaszczenia połączonej struktury danych w jedną strukturę. Od typ widoku systemowym, (+) 7 :: Num a => a -> a można uznać jako Functor, (+) :: Num a => a ->