deniok

03:51 pm - Трудности вывода типов высших порядков

Спрашивают:

А можно пример типов первого и высших порядков?
Для меня это звучит примерно как "выводимы типы только с линейными зависимостями", но я до этой области никак не доберусь, чтобы разобраться.

10:26 pm - Монеты и взвешивания

Вынесу-ка коммент как пост.

Во френдленте потихоньку обсуждается классическая задача про 12 монеток с одной фальшивой среди них, которую нужно найти за 3 взвешивания (и определить тяжелее она или легче настоящих). И ее обобщение на случай m монеток и n взвешиваний.

10:48 pm - В топку газоскрёб!

Для меня талибы в Афганистане перешли черту, после которой война против них превратилась в цивилизационную необходимость, когда они взорвали две статуи Будды, высеченные в скале в Бамиане.

Похоже, Газпром идет по их стопам.

05:09 pm - Как нам посечь композицию: point-free на стероидах

На RSDN nikov последнее время пишет в point-free стиле на стероидах, используя конструкции имеющие "довольно ясный интуитивный смысл (c)". Типа

fpower = (appEndo.).(mconcat.).(.Endo).replicate

10:20 pm - Открыл сезон

Одно из самых пронзительных ощущений - идти на парусной яхте при хорошем ветре с командой разгильдяев и грозным капитаном. В воскресенье сезон был открыт и ветер не подкачал.

На яхте на дамбу морского канала

09:00 pm - По направлению к COQ'у

Simon Peyton Jones, Chung-Chieh Shan и Oleg Kiselyov обещают статью "Fun with type functions", а пока выложили слайды. После впечатляющих примеров на Хаскелле с использованием индексированных семейств типов и функций над типами, радует замечание на последнем слайде:

10:03 pm - Удивительный факт

Этот пост будет интересен любителям математики
(с) avva

Сегодня обсуждали некоторый факт из теории вероятностей. Для меня удивительный, возможно, из-за того, что у меня не матмеховское, а физфаковское образование :)

Вот есть у нас несколько значений xi (i=1,2,...,n) (для простоты равновероятных, хотя это не важно) и мы хотим определить каким-то образом среднее x. Ну задаем стандартную меру отклонения (x-x_i)^2, суммируем по всем i, и ищем минимум по x. Выходит метод наименьших квадратов; оптимальный x равен сумме всех xi деленной на n. Получается, что x - обычное матожидание, это само по себе довольно интересно (как метод его введения), хотя и ясно интуитивно.

А если в качестве меры отклонения взять не квадрат, а модуль |x-x_i| и искать минимум суммы модулей? Какой тогда выйдет оптимум? Результат оказался для меня удивительным, я никогда не увязывал получившуюся величину (какую кстати?) с оптимизацией по такой мере.

( Read more... )

09:47 am - Знаете ли вы, что...

В GHCi можно задавать многострочные let-определения функций, пользуясь скобочками :{ для входа в моду такого определения и :} - для завершения этой моды

Prelude> :{
Prelude| let { g op n [] = n
Prelude|     ; g op n (h:t) = h `op` g op n t
Prelude|     }
Prelude| :}
Prelude> g (*) 1 [1..4]
24

10:51 pm - Прекрасное

Я лежу под столом, читая "A Brief, Incomplete, and Mostly Wrong History of Programming Languages"

1970 - Niklaus Wirth creates Pascal, a procedural language. Critics immediately denounce Pascal because it uses "x := x + y" syntax instead of the more familiar C-like "x = x + y". This criticism happens in spite of the fact that C has not yet been invented.

1972 - Dennis Ritchie invents a powerful gun that shoots both forward and backward simultaneously. Not satisfied with the number of deaths and permanent maimings from that invention he invents C and Unix.

...

1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"

12:58 am - PR

У нас в SoftJoys последнее время происходят встречи петербургской группы alt.net. 4я встреча состоится в четверг, 16го Апреля в 19:00.
Встречи группы проходят по адресу Биржевая Линия дом 14, офис 409 (4й этаж)

Тема: Функциональное программирование (на языке F#).

Я пойду, если кто-то из френдов заинтересуется - welcome. Единственное, нужно зарегистрироваться: http://spbalt.net/Home/Meetings/4


Карта

04:34 pm - Отличное

И вот я подумала, что в школах как-то совершенно мало внимания уделяется процессу научных открытий. Рассказывают, конечно, что один ученый посмотрел в микроскоп и сформулировал клеточную теорию, а этот посмотрел на галапагосских вьюрков и сформулировал эволюционную теорию. Но как вообще они до этого дошли, как они сообразили, как мыслили? И вот в результате, не смотря на то, что школьная программа вполне академическая, там рассказывают правильные вещи, однако это все предлагается принять фактически на веру. У школьника нет критериев оценки достоверности и он решает: принят ли мне на веру креационизм или дарвинизм? Тут уж действительно как Бог даст. Иначе я не могу объяснить расцвет мракобесия в обществе.

Не успела я обрадоваться своему личному "открытию", как меня попробовали отрезвить. Понимаешь, progenes, - сказали мне. Эпистемология подразумевает скептицизм, а скептицизм не может быть основой эффективной общественной идеологии. Поэтому образовательная стратегия - это скорее вопрос борьбы идеологий, установления различных систем верования. Более того, идеология, которая не включает в себя средства выражения религийных чувств, заведомо обречена на провал. Для масс необходима эффективная догматика.

08:43 pm - Ярмарка тщеславия

я щитаю что топ 3 RSDN этой весной хорош как никогда :)

Женю antilamer'а с его монадами конечно не догнать, но я зато ловко вырулил на типоклассопедии :)

10:52 am - Лямбда-куб, статья в русской Википедии

Каждый должен посадить дерево, построить дом, воспитать ребенка и написать статью в Википедии.

Критикуйте, если что не так, а ещё лучше правьте прямо там.

11:30 am - Coq. статья в русской Википедии

не могу не пропиарить
http://beroal.livejournal.com/11759.html

09:46 pm - Просматривая варианты ЕГЭ

Из ЕГЭ по информатике:

Запишите значение переменной b после выполнения фрагмента алгоритма:


Ну понятно, что a=a*2 это iterate (*2), b=b+a это foldr (+), но вот что делать с порядком "инициализация-проверка-удвоение-шаг свертки" не очень понятно, отсюда некрасивый лишний map (*2).

Prelude> foldr (+) 1 $ map (*2) $ takeWhile (/= 256) $ iterate (*2) 1
511

01:41 am

Я сдал ЕГЭ по русскому языку! Моя оценка 4! Ответил правильно на 29 из 30. Сдай ЕГЭ онлайн! Росбалт

Я сдал ЕГЭ по математике! Моя оценка 5! Ответил правильно на 10 из 10. Сдай ЕГЭ онлайн! Росбалт

01:46 pm - Ненормализуемая вертушка

Придумал задачку по лямбда исчислению.

Общеизвестен лямбда-терм, не имеющий нормальной формы

(\x.xx)(\x.xx)

lomeo

06:39 pm - постновогоднее

А вот кому Билли, в качестве рассольчика? Налетай!



UPD:

Вот ещё душевное

01:43 pm - Все существующие учебники логики невежественны, безграмотны и бестолковы

Я на Озоне подписан на рассылку новинок по математике. Сегодня с утра приходит

Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Обучение классической логике не только бесполезно, но и преступно, поскольку уничтожается всякое мышление. Все существующие учебники логики невежественны, безграмотны и бестолковы. Предлагаемое издание полезно школьникам и академикам, инженерам и ученым, "физикам" и "лирикам".

Что с этим делать? Санитары, ау!

10:04 pm - Haskell. New Logo.

Отслеживать визуальную составляющую процесса можно здесь. А то в кафе слов много.