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 awird...

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...