Haskell dobrou o desempenho fraco com (++)

Existe alguma garantia sobre a ordem de avaliação dentro de uma correspondência de padrão?

Os seguintes (&&) :: Bool -> Bool -> Bool False && _ = False True && False = False True && True = Truepossui a propriedade de curto-circuito desejadaFalse && undefined ≡ False. A primeira cláusula, que não é rigorosa no argumento correto, é ...

Qual é a relação entre tipos sem caixa e rigidez?

Tipos sem caixa, comoInt#e funções estritas, comof (!x) = ..., são algo diferente, mas vejo semelhança conceitual - eles proíbem thunks / preguiça de alguma forma. Se Haskell fosse uma linguagem estrita como Ocaml, todas as funções seriam ...

Avaliação e vazamentos de espaço em Haskell