Навелосипедил зависимые типы в Shen и написал в "бложек":
http://4da.livejournal.com/10464.html#cutid1
Теперь система типов может таскать размер с массивом, помимо его типа.
Интерес, конечно, скорее теоретический, нежели практический.
Understanding the bin, sbin, usr/bin , usr/sbin split
...
/You know how Ken Thompson and Dennis Ritchie created Unix on a PDP-7 in 1969?
Well around 1971 they upgraded to a PDP-11 with a pair of RK05 disk packs (1.5
megabytes each) for storage.
When the operating system grew too big to fit on the first RK05 disk pack (their
root filesystem) they let it leak into the second one, which is where all the
user home directories lived (which is why the mount was called /usr). They
replicated all the OS directories under there (/bin, /sbin, /lib, /tmp...) and
wrote files to those new directories because their original disk was out of
space. When they got a third disk, they mounted it on /home and relocated all
the user directories to there so the OS could consume all the space on both
disks and grow to THREE WHOLE MEGABYTES (ooooh!)./
...
http://lists.busybox.net/pipermail/busyb.....74114.html
Почему какой-то старый хер, наступив мне нагу своим говнодавом, посмотрел на меня как ни в чем не бывало и не извинился? Типа раз старый - тебе все можно?
Если в гугле в поиск набрать fffffffffff, а потом нажимая enter и добавляю по одной f будешь получать разные сайты в выдаче именно с нужным количеством f в слове (чаще на тытрубе).