1
Quais são algumas das intuições que suportam chamar o construtor Maybe em Haskell de "Just"?
A intuição de um tipo opcional como Maybe Inté que ou não existe Int (assim, Nothingexiste) ou que existe algum Int; há algo lá. Faz sentido para mim que chamamos o construtor de tipos para o caso "negativo" Nothing, pois significa exatamente isso - que não existe Intlá. Mas por …