gds
22.03.2012 09:01umodni644B2E82
к моему посту #osofnz — Олег Киселёв пишет в caml-list:
"Somehow typed tagless interpreters (embeddings of a typed language) and length-parameterized lists with the append function are the most popular examples of GADTs. Neither of them seem to be particularly good or compelling examples. One can write typed ... more →
gds
19.03.2012 12:54umodniE206960D
днём температура поднялась до +23, пиздец просто. В рубашке ходить, штоле. Уже включаю кондиционер дома. Весна, блеять.
Но у нас такая весна всегда: то +10 подержится недельку, потом +15, а потом уже +25 и выше, и хорошо, если +30 не будет достигнуто за месяц.
Вот такая хуёвая весна.
gds
16.03.2012 03:36umodniE206960D
ааа, убейте меня, иначе я всё забрызгаю тут1111
@default631">http://flint.cs.yale.edu/cs428/coq/doc/R...
СУТЬ:
У вас есть индуктивный тип данных для представления вашего игрушечного AST, специфичного для вашей предметной области.
У вас есть функция, преобразующая _ваши_ значения из AST в ... more →
gds
29.02.2012 05:33umodniBA906A23
посоны! Какими базовыми характеристиками должен обладать ноутбук, чтобы можно было работать (в основном кодить) и чтобы туда встал линупс? (ну, там, видеокарту/звуковуху/вебкамеру определил, не выёбывался, а если шушпенд будет, то вообще шикарно.)
Или хотя бы подскажите, какие у вас ноуты, если на них встал и ... more →
2 comments
Subscribe
Add to blacklist
