имеют практических применений, это всего лишь монадные обёртки, позволяющие сделать неявной автореферентность. Вот только зачем это делать?
в последней главе beginning haskell как раз про тардис
Примеры посмотрю, спасибо
Обсуждают сегодня