equational-reasoning

14Hitze

3Antwort

Ist es möglich, Kirchencodierungen zu verwenden, ohne die Gleichartigkeit zu brechen?

Geist dieses Programm: {-# LANGUAGE RankNTypes #-} import Prelude hiding (sum) type List h = forall t . (h -> t -> t) -> t -> t sum_ :: (Num a) => List a -> a sum_ = \ list -> list (+) 0 toLi

list haskell church-encoding equational-reasoning 2015-08-11

---

45Hitze

1Antwort

Wenn return a = return b dann tut a = b?

Können Sie das beweisen, wenn return a = return b dann a=b? Wenn ich = benutze, meine ich in den Gesetzen und Beweisen Sinn, nicht die Eq Klassenrichtung. Jede Monade, die ich kenne scheint dies zu er

haskell monads semantics equality equational-reasoning 2016-01-25

---

7Hitze

3Antwort

Verwende ich fundierte Gleichargumentation über eine Definition von Filter in Bezug auf foldr?

gut, das ist die Definition des Funktionsfilter mit foldr: myFilter p xs = foldr step [] xs where step x ys | p x = x : ys | otherwise = ys so zum Beispiel lassen Sie uns sagen, ich h

haskell filter fold equational-reasoning 2010-02-02

---

6Hitze

2Antwort

Haskell - Wie man Kartensumme (Karte (x :) xss) in Karte (x +) umwandelt (Kartensumme xss)

Lesen "Mit Haskell funktionell denken" Ich stieß auf einen Teil einer Programmberechnung, die map sum (map (x:) xss) umgeschrieben werden musste als map (x+) (map sum xss) Intuitiv weiß ich, dass es S

haskell equational-reasoning 2014-11-20

---

1Hitze

1Antwort

Wie man diesen Haskell-Code unter Verwendung von Gleichargumentation beweisen kann

Ich fand diese Übung über Gleichargumentation und Beweise in Haskell. Der folgende Code ist gegeben: type Stack = [Int] type Code = [Op] data Op = PUSH Int | ADD deriving (Show) -- -- Stack machi

haskell recursion proof equational-reasoning 2016-05-31

---