1
2013/02/03 22:33:29
Вот есть, типа, такая типа штука, называется типа "зависимые типы". Когда сам тип содержит в себе значение. И два таких типа будут (типа) совместимы, если эти значения равны. А поскольку значения будут известны только в рантайме, приходится давать доказательство того, что значения таки равны. А вот во всяких джавах с сиплюсплюсами равенств как минимум два.
0 посетителей, 30 комментариев, 0 ссылок, за 24 часа