Я и мой ёбаный кот на фоне ковра.
Войти
!bnw
Сегодня
Клубы
fp
shen
programming
math
Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cutid1
Теперь система типов может таскать размер с массивом, помимо его типа. Интерес, конечно, скорее теоретический, нежели практический.
#RU7DB1
/
@ninesigns
/
4700 дней назад
BnW для ведрофона
BnW на Реформале
Викивач
Котятки
Цоперайт © 2010-2016
@stiletto
.