Cosa sono Tower [A] e IvoryTower in Scalaz?

Question

Quando ho guardato scalaz.effect.IO codice sorgente, ho notato che ha un metodo apply con la seguente firma:

sealed trait IO[A] { 
    def apply(rw: Tower[IvoryTower]): Trampoline[(Tower[IvoryTower], A)] 
} 

Tower[A] e IvoryTower sono definite come:

case class Tower[A]() 
sealed trait IvoryTower 

C'è un esempio di Tower :

object IvoryTower extends IvoryTowers 

trait IvoryTowers { 
    val ivoryTower = Tower[IvoryTower]() 
} 

Qual è lo scopo di questo e classi? Perché lo IO.apply accetta un argomento di tipo Tower[IvoryTower]?

Answer 1

È un in-joke: IvoryTower è una porta di un tipo Haskell chiamato RealWorld. (Mi piacerebbe che avesse un nome più chiaro - questo riesce ad essere al tempo stesso impenetrabile per i nuovi arrivati ​​e non in realtà divertente). Vedi per es. https://wiki.haskell.org/IO_inside.