Книги по лямбда исчислению ?

0

0

Что можно почитать по основам функционального программирования - лямбда исчислению ? Какое-нибудь доступное введение.

Ссылка

← valgrind

← 1 2 3 →

Ответ на: комментарий от jtootf 15.01.10 13:20:10 MSK

Ммм, а можешь сделать доброе дело и отсканить? (другой анонимус)

anonymous
(15.01.10 16:51:10 MSK)

Ответ на: комментарий от anonymous 15.01.10 16:38:11 MSK

надо было предупреждать

надо было спрашивать

jtootf ★★★★★
(15.01.10 16:51:27 MSK)

Ссылка

Ответ на: комментарий от anonymous 15.01.10 16:51:10 MSK

можешь сделать доброе дело и отсканить?

напиши мне в почту, другой анонимус, и тогда я скорее всего не забуду

jtootf ★★★★★
(15.01.10 17:00:14 MSK)

Ответ на: комментарий от jtootf 15.01.10 13:01:49 MSK

>а что там у тебя есть? ворованная кнопка пуск?

А у тебя, видать, больше ничего нет, кроме халявной кнопки?

Galois Connections and Applications

Гальюн: соединение и приложение?

anonymous
(15.01.10 17:26:11 MSK)

Ответ на: комментарий от jtootf 15.01.10 17:00:14 MSK

>и тогда я скорее всего не забуду

может и тут тогда выложишь для других анонимусов?

anonymous
(15.01.10 17:52:54 MSK)

Ответ на: комментарий от anonymous 15.01.10 17:26:11 MSK

Кажется, у тебя что-то с глазами. Ты промазал по кнопке ответить и ответил не на то сообщение.

anonymous
(15.01.10 17:57:25 MSK)

Ссылка

Ответ на: комментарий от anonymous 15.01.10 17:52:54 MSK

может и тут тогда выложишь для других анонимусов?

ок

jtootf ★★★★★
(15.01.10 18:02:48 MSK)

Ответ на: комментарий от jtootf 15.01.10 18:02:48 MSK

jtootf++

anonymous
(15.01.10 18:05:42 MSK)

Ссылка

Ответ на: комментарий от jtootf 15.01.10 17:00:14 MSK

Я бы тоже не отказался почитать.

Svoloch ★★★
(15.01.10 19:21:49 MSK)

Ссылка

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

dimon555 ★★★★★
(16.01.10 02:47:37 MSK)

Ссылка

Ответ на: комментарий от jtootf 15.01.10 18:02:48 MSK

>ок

и?

anonymous
(18.01.10 11:41:33 MSK)

Ответ на: комментарий от anonymous 18.01.10 11:41:33 MSK

и?

когда будет не лень, тогда и сделаю

анонимусы такие анонимусы, эх

jtootf ★★★★★
(18.01.10 14:22:24 MSK)

Ответ на: комментарий от jtootf 18.01.10 14:22:24 MSK

Лор, такой лор.

anonymous
(18.01.10 20:03:13 MSK)

Ссылка

Ответ на: комментарий от jtootf 18.01.10 14:22:24 MSK

>когда будет не лень, тогда и сделаю

сам же согласился сделать, за язык никто не тянул.

анонимусы такие анонимусы, эх

jtootf такой jtootf.

anonymous
(18.01.10 21:21:03 MSK)

Ответ на: комментарий от anonymous 18.01.10 21:21:03 MSK

сам же согласился сделать, за язык никто не тянул.

и? сказал - сделаю

jtootf ★★★★★
(18.01.10 23:34:23 MSK)

> по основам функционального программирования

SICP

лямбда исчислению

Труды Алонзо Чёрча.

melkor217 ★★★★★
(18.01.10 23:36:32 MSK)

Ссылка

Ответ на: комментарий от jtootf 18.01.10 23:34:23 MSK

>и? сказал - сделаю
До или после того, как Солнце потухнет?

anonymous
(19.01.10 01:01:29 MSK)

Ответ на: комментарий от anonymous 19.01.10 01:01:29 MSK

До или после того, как Солнце потухнет?

ты куда-то спешишь? :)

jtootf ★★★★★
(19.01.10 01:04:47 MSK)

Ссылка

Ответ на: комментарий от anonymous 19.01.10 01:01:29 MSK

Ну ты, онанимус, в конец о***л. Сделают тебе - скажи «спасибо». Не сделают - ну ты понел. И хватит бампать тред.

LamerOk ★★★★★
(19.01.10 15:42:49 MSK)

Ссылка

Ответ на: комментарий от anonymous 18.01.10 21:21:03 MSK

http://www.rapidshare.ru/1359814
Дамп гуглбука. ~50 страниц не хватает, но пока jtootf занят, можно начать читать.

Svoloch ★★★
(01.02.10 13:02:04 MSK)

Ссылка

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.

← 1 2 3 →

← valgrind