You are viewing ru_lambda

Tired of ads? Upgrade to paid account and never see ads again!
Лямбда - функциональное программирование [entries|archive|friends|userinfo]
Лямбда - функциональное программирование

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

Учебник, версия 8 [Mar. 29th, 2015|05:43 am]
Лямбда - функциональное программирование

66george
http://category-theory.livejournal.com/28255.html?mode=reply#add_comment
linkpost comment

Щедров в Москве [Dec. 15th, 2014|12:24 am]
Лямбда - функциональное программирование

66george
"Дорогие участники семинаров. Пересылаю информацию о предстоящих лекциях Андрэ Щедрова и Макса Кановича на факультете компьютерных наук ВШЭ.

From A. Scedrov:

Max and I are teaching a course at the new HSE location near the metro station Aeroport. Please see the schedule of the lectures at
http://aspirantura.hse.ru/cs/syllabus/collaborative
Basically I will be starting my part of the course (1-4) next week, December 16 and Max will be starting his part (5) the following week, December 21. If you or your colleagues have any students interested in this material, please let them know about the course."

Не знаю, пускают ли туда и какой нужен пропуск, спрашивайте Шеня (a_shen)
link2 comments|post comment

ФП для чайников [Nov. 26th, 2014|04:17 pm]
Лямбда - функциональное программирование
huzhepidarasa
Всем привет,

мне нужно провести ознакомительную лекцию по ФП для обычных (ТМ) программистов. На час-полтора примерно. В основном о том, зачем и почему оно надо. Дедлайн через месяц, то есть уже пора задумываться. Придумывать план лекции с нуля мне не очень хочется, опыта в этом деле у меня нет. То есть приблизительное понимание есть, но очень приблизительное.

Посоветуйте, пожалуйста, какой-нибудь проверенный материал, на основе которого можно быстро и безболезненно построить пуленепробиваемую лекцию. Может, кто-нибудь уже делал такое?
link35 comments|post comment

Как сделать ЭТО без FlexibleContexts ? [Oct. 11th, 2014|09:34 pm]
Лямбда - функциональное программирование
dmzlj
[Tags|, ]

{-# Language TypeFamilies, FlexibleContexts #-}

module Main where

import qualified Data.List as L

class (Num (Elem c)) => DataSet c  where
    type Elem c :: *
    data TObservation c :: *
    observations :: c -> [TObservation c]
    measurements :: TObservation c -> [Elem c]

instance DataSet () where
  type Elem () = Float
  data TObservation () = TObservationUnit [Float]
  observations () = replicate 10 (TObservationUnit [0,0,0,0])
  measurements (TObservationUnit xs) = xs 

kMeans :: DataSet c => c -> [TObservation c]
kMeans s = undefined
  where
    wtf1 = L.foldl wtf2 0 (observations s)
    wtf2 acc xs = acc + L.sum (measurements xs)

main = do
  putStrLn "jopa"



Если убрать FlexibleContexts в частности на Num (Elem c) - то собираться перестанет,
выведение типов отсыхает.

Как это делать без FlexibleContexts или как это вообще делать правильно?
link10 comments|post comment

Вакансия Lisp разработчик (г. Королев) [Oct. 6th, 2014|11:22 pm]
Лямбда - функциональное программирование

nalgid
[Tags|, ]

http://www.sql.ru/forum/1060345-1/razrabotchik-podderzhka-delphi-firebird-lisp-korolyov-mytishhi-90-110-tyr-chistymi-premii

вопросы все писать туда, вакансия от моего товарища, я не компетентен.
linkpost comment

Мы первые в функциональном программировании [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

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