4da 09.02.2012 08:59 darkstar

Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cu...

Теперь система типов может таскать размер с массивом, помимо его типа.
Интерес, конечно, скорее теоретический, нежели практический.

Do you really want to delete ?