You are viewing ru_lambda

Лямбда - функциональное программирование [entries|archive|friends|userinfo]
Лямбда - функциональное программирование

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Мы первые в функциональном программировании [Jul. 20th, 2014|09:40 pm]

66george
Краткое описание функционального языка ГАРФ, придуманного, как утверждают, в 60-е годы боговдохновенным Ильёй Ханаановичем Шмаиным
https://www.mediafire.com/?h303jm3czojl17x
Подарено В.Б.Борщёвым. Не знаю, можно ли что-нибудь понять по этому тексту, вот мы и проверим.
Биография Ильи Ханаановича
http://people.umass.edu/borschev/Russian/memuar/friends/Shmain.pdf
Борщёв также говорит, что некоторые тексты Шмаина были опубликованы в трудах ВИНИТИ "Научно-техническая информация" серия 2, кто хочет, может там поискать
http://www2.viniti.ru/index.php?option=com_content&task=category§ionid=4&id=77&Itemid=64
На языке ГАРФ я писал диплом в 85-м году, закончив так называемый Московский математический техникум, но сейчас убей не помню, что я там писал.

P.S. Нашёл одну из статей Шмаина по ГАРФу
http://lamb.viniti.ru/sid2/sid2free?sid2=J0611671727
Там дана ссылка на предыдущую статью, её надо искать в трудах ВИНИТИ "Научно-техническая информация", серия 2, 1994, номер 3.
link7 comments|post comment

(no subject) [Jun. 27th, 2014|10:46 pm]

66george
Между прочим, разбираясь во всяких безумных методах вычислять лямбда-термы, не нашёл ни одного квантового алгоритма. Можно стать в этой области пионером, придумав какой-нибудь "быстрый квантовый алгоритм вычислять лямбда-термы".
link4 comments|post comment

(no subject) [Jun. 5th, 2014|04:03 pm]

66george
Скачали 420 раз:) История вопроса такая: есть несколько "очевидных" утверждений, которые никто никогда не доказывает. Например "де Брёйновские термы соответствуют обычным с точностью до альфа-конверсии". Я спросил у знатоков, доказал ли это кто-нибудь. А как же, сказали мне, доказал один индус (Натарайян Шанкар), но он такой крутой, что писал доказательство сразу для пруфчекера. Вообрази, что ты пруфчекер и разбирайся (там страниц 50). Затем дали ещё два-три доказательства разной степени безумия. Я понял, что я ничем не хуже и написал своё. Из той же серии утверждение "декартово замкнутые категории соответствуют типовому лямбда-исчислению". Всё, что связано с альфа-конверсией, это самое трудное в лямбда-исчислении.
Реакция авторитетов: Heuvers сказал "Мы всё это знаем! Читайте Делию Кеснер!" (есть такая дура, пишет обзоры по явной подстановке). Lescanne сказал, что он не понял. Я попытался объяснить, но не смог (возможно, причина в английском языке). Рэнди Поллак сказал "Спасибо, но причём тут я?" Abadi сказал, что уже 20 лет не занимается явной подстановкой. Несколько человек, конечно, просто не ответили. Granstrom попросил вставить его в список литературы. Altenkirch сказал "This looks very interesting" и попросил вставить его в список литературы. Беклемишев, Крупский, Плиско поняли всё, но им я рассказывал лично.
link7 comments|post comment

(no subject) [Jun. 4th, 2014|05:05 am]

66george
Новый гениальный метод вычислять лямбда-термы, превосходящий все остальные как мамонт превосходит всех животных

https://www.mediafire.com/?o99x6gb94o3djl9
linkpost comment

(no subject) [May. 31st, 2014|01:15 am]

66george
Умер Григорий Ефроимович Минц, который нам известен как переводчик книги Барендрегдта "Лямбда-исчисление"
http://www.cs.nyu.edu/pipermail/fom/2014-May/017988.html
http://www.ucalgary.ca/rzach/blog/2014/05/grigori-mints-1939-2014.html
Я его живьём видел два раза, когда он приезжал в Москву и приходил в МГУ. В первый приезд я его поблагодарил за перевод книги Барендрегдта, на что он рассказал поучительную историю. На мехмате МГУ есть известный фрик Александр Сергеевич Кузичев, он был учеником Колмогорова, Колмогоров посоветовал ему заняться лямбда-исчислением и Александр Сергеевич на этой почве спятил. С тех пор он опровергает теорему Гёделя и называет это "колмогоровскими основаниями математики". Когда Минц взялся переводить книгу Барендрегдта, начальство засомневалось -- можно ли доверить еврею перевод ценной книги? Кузичев, со свойственной фрикам энергией, пошёл к начальству и убедил, книга была переведена, он там указан научным редактором. За это, сказал Минц, я ему благодарен.

В тот же или следующий приезд слышал, как Минц и Беклемишев обсуждали интриги. Сошлись на том, что за теорию множеств дают слишком много всяких премий, но спихнуть её пока не удастся, потому что за ней стоит мощная мафия:) Ещё говорил, что Воеводский ему рассказывал про какое-то "гомотопическое лямбда-исчисление", но он (Минц) быстро перестал понимать, потому что не знает гомотопий. Я так понимаю, сейчас теоретико-типовая мафия пытается спихнуть теоретико-множественную, опираясь на авторитет Воеводского, точно по заветам Минца:) Ну вот, такие дела.
link2 comments|post comment

Книга «Квантовые вычисления и функциональное программирование» [Jan. 29th, 2014|03:49 pm]

_darkus_
Мои дорогие друзья!

Многие из вас знают меня много лет. Некоторые отчаянно и яростно поддерживают мои начинания. Некоторые смотрят на мою деятельность с подозрением. Есть и такие, кто настроен скептически и даже откровенно враждебно. Но я всё равно всех вас люблю, поскольку только так может относиться авто к своим читателям.

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

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

Сегодня я открыл проект краудфандинга на Бумстартере. Я искренне считаю, что современное книгоиздание зашло в тупик, и авторы сегодня могут сами издавать свои книги. Множество положительных примеров этому есть. И я готов к этому. Мне не нужны издательства, мне не нужны посредники и торговые представители. Я готов самостоятельно издать книгу, а если кому-то в современный век информационных технологий бумажный экземпляр, выпустить для таких людей и бумажные книги. И это будет круто, я обещаю.

Я прошу всех неравнодушных людей, любителей функционального программирования, адептов науки и технологий, а также просто симпатизантов поддержать моё начинание и включиться в проект. Перечислите небольшое количество денег на реализацию книги, и вас ждёт вознаграждение. Я постараюсь осчастливить всех спонсоров в зависимости от степени их участия. Вся система проработана и изложена на странице проекта. И сейчас я прошу нескольких вещей:

1. Поддержки не словом, а делом — найдите возможность перечислить на благое дело хотя бы минимум. Вместе, всем миром мы сделаем благое дело.

2. Поддержки и словом — опубликуйте у себя в блоге ссылку на мой проект с просьбой своим друзьям о поддержке.

И ещё раз ссылка: «Квантовые вычисления и функциональное программирование».
linkpost comment

haskell + vim : хочу переходить по тегам на исходники библиотек [Jan. 8th, 2014|12:45 am]

yorool_gui
Налаживаю себе IDE для хаскеля на базе vim-а и возник такой вопрос. Я использую vim2hs. Переход по тегам (^]), переход в модуль (gf) работает замечательно - но только для моих исходников. А я хочу так же переходить в исходники библиотек, которые ставились через cabal install.
Одно решение я нашел, но кривоватое:

в шелле:
cd ~/tmp
cabal unpack нужный_модуль
vim -- только для создания тегов, можно из него сразу выходить

в vim-е (в котором работаю)
cd ~/tmp/нужный_модуль
после этого ^] или gf для символов из этого модуля работают

Это конечно закат солнца вручную. Может есть более приличный способ?
link3 comments|post comment

fprog.ru/planet [Nov. 16th, 2013|09:07 pm]
dima_starosud
Друзья, скажите, пожалуйста, что случилось с fprog.ru/planet?
Перестали отображаться посты.
Или есть альтернатива (другой линк, RSS)?

Спасибо.

UPDATE: Я не имел ввиду, что вообще ничего нет, но последний пост:
08 ноября 2013
ru_deptypes
Как матчит Агда?

UPDATE 2: Работает :)
link4 comments|post comment

MskHUG Fall 2013 - напоминание. [Oct. 29th, 2013|01:28 pm]

thesz
[Tags|]

http://tech.yandex.ru/events/yagosti/mskhug-fall-2013/

Вот.

Сегодня последний день регистрации, завтра в 18:30 регистрация и в 19:00 начало.

Милости прошу.
linkpost comment

Перевод "Чисто функциональные структуры данных" Криса Окасаки [Oct. 22nd, 2013|08:29 am]

alexott
[Tags|]

Юра Бронников (перевод SICP & TAPL) продолжает свою работу - он сделал перевод известной книги "Purely Functional Data Structures", но ему нужна помощь в доработке перевода. Если кто может помочь, присоединяйтесь к проекту!
link39 comments|post comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]