4da
09.02.2012 08:59 darkstar
Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cu...
Теперь система типов может таскать размер с массивом, помимо его типа.
Интерес, конечно, скорее теоретический, нежели практический.
add comment
recommend
bookmark
subscribe