В Харрисоне и Филде (одна из первых книг про функциональное программирование на русском) рассказывается об интересном факте. Я по памяти, поэтому могу наврать, но не думаю, что сильно ошибусь ( Read more... )

init для индексированных длиной векторов:
( X : * ; xs : Vec (succ n) X !
let !------------------------------!
! vecInit xs : Vec n X )

vecInit xs <= case xs
{ vecInit (vcons n' ns) <= case ns ( Read more... )

Запустил-таки Epigram.

(может, теперь пойму, что и как в нем не так. или так.)

(я все еще не доберусь до его использования)

А как он определяет возможность останова вычислений?

До меня никак не доходит.

Они - создатели Epigram, - выразили отличную мысль о разделении фаз проверки типов. О том, что, в принципе, конструкторы-боксы для различения значений определенного типа могут оказаться и ненужными. "Мы просто не можем передать сюда что-то не то." Еще мысль о различении фаз можно, по-моему, понимать и как "вот здесь у нас отлично проверенные ( Read more... )

( Оставь надежду, всяк сюда входящий программист )