Verse это такой ListT m a на стероидах.
В нём отсутствует важная вещь под названием "свёртка." Переменная всегда привязана к какому-то значению из какой-то последовательности, однако вычислить свёртку по этой последовательности невозможно или, как минимум, весьма затруднительно.
В Verse есть примитив for e1 do e2, он берёт выражение e1 и
(
Read more... )