Предыдущие записи блогера :
Архив записей в блогах:
Почти первое, с чем я столкнулась в ЖЖ - это троллинг либо реально не адекватное, топорное хамство. Сначала я не знала, как с этим справляться. Слала нахуй, но потом зачем-то еще отвечала. Я понимала, что цель таких людей - вывести меня на эмоции. Самими тупыми оскорблениями вывести ме ...
Уииииии! Уииииии! Я сделала её, сделала! Вот, получи, мерзкий, злобный флеш! А если правильные шмотки подобрать, будет чем-то отдалённо похоже на кое-кого. ngised и vamp1r0 , я вас люблю! ...
3 sferi4eskii_kon 44 5 li_sen_ka 40 7 domino_20 21 9 chukcha_v_chume 16 11 kaatula 13 13 marina_less 13 15 notka_j 8 17 doc_felix 7 19 tokad1981 7 21 olga_neklesa 6 23 inna1903gr 5 25 pioner71 * bogdan_63 4 28 scarlettpretty 4 30 proehalimimo ...
Если имеется: &forall b (∀ a (P (a) &rArr Q (b)) ⇒ Q (b)) Поскольку &forall a P (a) &rArr Q (b) ≡ ∃ a (P (a) ⇒ Q (b)), то ∀ b ∃ a ( (P (a) &rArr Q (b)) &rArr Q (b)), и поскольку (A ⇒ B) ⇒ B ≡ A, то ∃ a P (a) Так вот - что меня удивляет, что экзистенциальные типы в Haskell действительно так выражаются, через ...