Казино Sol точно стоит выбрать всем любителям азарта 
Возвращать придется 
Цирк-шапито 
Что нам делать с чехами? 
Котновости 
В Японии вспомнили Хиросиму, обвинили Россию в ядерной угрозе, но «забыли», кто 
Болотце 
И в гостях хорошо и дома не плохо ))) 
Россия вошла в топ-10 стран по количеству супружеских измен
27.01.2010 —
"И назову ее лямбда..." - 2
Что меня удивляет:
ru_declarative — 23.02.2010
Если имеется: &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 действительно так выражаются, через универсальный полиморфизм:
type Ex = forall b . (forall a . Show a ⇒ a → b) → b pack :: Show v ⇒ v → Ex pack v = λ fn → fn v one = pack 1 str = pack "Str" main = do one print; str print
И это и правда работает:
msk@kouzdra-nest:~/TEST$ ghc -fglasgow-exts exist.hs -o exist && ./exists 1 "Str"
Сохранено
|
|
</> |
Что меня удивляет:
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
25.01.2010 —
"И назову ее лямбда..."
Архив записей в блогах:
Сегодня я счастлива. Мы первые! Все наши спортсмены большие молодцы! Всем, кто готовил эту Олимпиаду, большое спасибо! А помните, сколько грязи и желчи выкидывали люди, не верящие в Россию? Мол, здания обваливаются, денег наворовали. Теперь пришло время посмеяться над этими людьми, над ...
я очень хочу ошибаться во всем этом, ок, это еще одна инфа, в продолжении той, о чем я периодически говорю тут он говорит, что это не комета, это не может быть кометой хорошо, это еще одно свежее видео Еленин= Нибиру? приводите свои дела с ...
ros_sea_ru пишетБез "сталинских репрессий" ни одна "программа" у нас не приведет к результату.Олег Шеин как всегда прекрасен:..... "С момента строительства дома, 35 лет, на Ботвина 10б не протекала крыша. Пока мэрия не включила дом в программу ...
1.Корейский кейпсайз STELLAR DAISY исчез в Южной Атлантике после подачи сигнала бедствия в 2320 Сеульское время 31 марта, сообщил МИД Южной Кореи 1 апреля. Владелец и оператор гигантского балкера, компания Polaris Shipping, сообщила, что сигнал бедствия был получен по мобильному ...
И в зной и в стужу эта малышка знает свое дело и работает не смотря ни на какие погодные условия. В порноиндустрии до пенсии не так далеко, вот и нужно трудится не упуская зря время, чтобы старость была в радость. Так вот, 28-летняя Феникс до того как окунулась в мир порно ...
