Als «haskell» getaggte Fragen

Ist die E / A-Monade technisch falsch?

Im haskell-Wiki gibt es das folgende Beispiel für die bedingte Verwendung der IO-Monade (siehe hier) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Beachten Sie, dass in diesem Beispiel die Definition von so verstanden IO …

12 programming-languages functional-programming haskell

Curry Howard Korrespondenz mit Predicate Logic?

Also versuche ich, mich um Curry-Howard zu kümmern. (Ich habe es mehrmals versucht, es ist einfach nicht gelierend / scheint zu abstrakt). Um etwas Konkretes anzugehen, arbeite ich an einigen Haskell-Tutorials, die von Wikipedia verlinkt sind, insbesondere von Tim Newsham . Es gibt auch eine nützliche Diskussion, wenn Newsham das …

7 type-theory curry-howard haskell

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.