短絡評価の有無で停止するか否かが変わる例

Main.purs

module Main where

import Prelude
import Data.HeytingAlgebra
import Effect (Effect)
import Effect.Console (log)

foo :: forall a. HeytingAlgebra a => Unit -> a
foo x = foo x

bar :: Unit -> Boolean
bar _ = tt || foo unit

baz :: forall a. HeytingAlgebra a => Unit -> a
baz _ = tt || foo unit

main :: Effect Unit
main = do
  log (show (bar unit :: Boolean))
  log (show (baz unit :: Boolean))