немного математики, логики и программирования

[avva]

1. Эта запись о работе со степенными рядами в Хаскеле напомнила мне, почему я влюбился в этот язык, когда изучал его два года назад (увы, с тех пор с ним не работал). Это неверноятно прекрасно - когда можешь определить функции вот так, и оно просто будет работать:

integral fs = 0 : (int1 fs 1) where
    int1 (g:gs) n = g/n : (int1 gs (n+1))

expx = 1 + (integral expx)

sinx = integral cosx
cosx = 1 - (integral sinx)

2. Знаете ли вы, что можно составить сархивированный файл, который разворачивается сам в себя? Ссылка на файл selfgz.gz в этом старом сообщении не работает, но его можно скачать отсюда.

3. Вот эта запись в n-category cafe, и особенно статья, которую она упоминает - очень и очень интересны, но бедный мой мозг, кажется, с ними сейчас не справляется. Сносит крышу.

Comments

[roma.livejournal.com]

про 3: С большой натяжкой можно сказать, что именно это мы это и пытаемся тут понимать (вместо логики "производная алгебраическая геометрия", про которую тоже, наверняка,
в блогах пишут или скоро напишут). Только где там у них в статье содержание? На первый взгляд -- известные общие мутные идеи + куски из учебников?

[avva.livejournal.com]

Да это и должна быть обзорная статья, как я понимаю.

[roma.livejournal.com]

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

[avva.livejournal.com]

Я понимаю. Нет, я не знаю - для меня вообще сами эти параллели и аналогии внове, так что я профан совершенный в этом.