church-encoding

26Ciepło

3Odpowiedz

listy Kościół w Haskell

miałem do realizacji funkcji Haskell mapa pracować z listami kościelnych, które są zdefiniowane w następujący sposób: type Churchlist t u = (t->u->u)->u->u W rachunku lambda, listy są kodowane w nas

haskell lambda-calculus church-encoding 2012-03-17

---

8Ciepło

2Odpowiedz

Dlaczego listy różnic nie są instancjami składanymi?

Typ dlist package zawiera typ danych o numerze DList, który ma wiele instancji, ale nie ma wartości Foldable lub . Sądzę, że są to dwie najbardziej typowe klasy "listowe". Czy istnieje przyczyna powod

haskell church-encoding difference-lists 2013-03-23

---

5Ciepło

1Odpowiedz

Katamorfizmy dla list zakodowanych w kościele

Chcę móc używać cata z pakietu dla list w kodowaniu Kościoła. type ListC a = forall b. (a -> b -> b) -> b -> b Dla wygody stosowałem typ drugiego rzędu, ale mnie to nie obchodzi. Jeśli uważasz, że j

haskell recursion church-encoding catamorphism recursion-schemes 2015-07-16

---

5Ciepło

3Odpowiedz

Jak wdrożyć liczb binarnych w Haskell

Widziałem następujące konstruktora danych dla cyframi kościelnych data Nat = Zero | Succ Nat deriving Show Ale to numery unarne. W jaki sposób zaimplementujemy konstruktor danych dla liczb binarnych

haskell constructor binary church-encoding 2013-08-21

---

12Ciepło

1Odpowiedz

Zamknięcia i uniwersalne kwantyfikacja

Próbowałem dowiedzieć się, jak wdrożyć kodowane przez Kościół typy danych w Scali. Wygląda na to, że wymaga on typów rang-n, ponieważ potrzebna byłaby pierwsza funkcja klasy const typu forAll a. a ->

scala functional-programming closures church-encoding quantifiers 2010-04-08

---