Discreet · and · discrete.

• Про лямбда исчисление
• Серебряная пуля есть
• Вред смешения парадигм
• Ссылки на обзор применения формальных методов в индустрии ПО
• Сравнение ленивых и энергичных вычислений с точки зрения модульности

• Про REPL
• Стиль кодирования на Хаскеле
• Binary Decision Diagram на Хаскеле
• Построение комбинаторов синтаксического разбора
• Моделирование аппаратуры на Хаскеле

• Исходники модели машины динамического потока данных с сортировкой токенов
• Презентация про опыт моделирования аппаратуры

• Яндекс-блоги, автор thesz

Тут в ЖЖ что-то с какими-то разрешениями насчёт копирования чего-то не то. Поэтому, чтобы сразу уточнить это чего-то насчёт каких-то разрешений копирования, вот:

Используйте всё, что вам понравится так, как это вам угодно. Ограничений вводить не буду, это усложнит мне жизнь.

Если при использовании сошлётесь на меня, буду благодарен.

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

Причины, по которым появились эти правила

Необходимость развернутых комментариев

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

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

Запрет на удаление комментариев

Надо проявлять себя во всем разнообразии.

Предпочтение постов комментариям

Комментарии утомляют сильнее.

Копирайт и всё такое

Используйте всё, что вам понравится так, как это вам угодно. Ограничений вводить не буду, это усложнит мне жизнь.

Если при использовании сошлётесь на меня, буду благодарен.

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

Я предпочитаю не волноваться по этому поводу, а волноваться по другим, по важнее.

1.Программы лучше писать на Хаскеле.

2.То, что не получается написать на Хаскеле, лучше генерировать из описания на Хаскеле.

3.И только то, что совсем-совсем невозможно уложить в предыдущие два пункта, надо писать на другом ЯП.

Сегодня формализовал в разговоре с gaperton. ;)

Умер Константин Петрович Феоктистов

(7 февраля 1926 год, Воронеж - 21 ноября 2009, Москва). Лётчик-космонавт СССР (1964), Герой Советского Союза (1964), доктор технических наук (1967), профессор (1969). Участвовал в Великой Отечественной войне 1941-1945 гг. В 1949 году окончил МВТУ им. Н. Э. Баумана. Работал в различных научно-исследовательских организациях. С 1964 года в отряде космонавтов.

К. П. Феоктистов был первым «гражданским» космонавтом и единственным в истории советской космонавтики беспартийным, совершившим космический полёт.

Входил в состав первого группового экипажа (вместе с В. Комаровым и Б. Егоровым), который 12-13 октября 1964 года совершил полёт на первом аппарате новой серии «Восход» (впервые — без скафандров).

К. П. Феоктистов был первым конструктором космических кораблей, опробовавшим своё детище «в деле».

Почётный гражданин города Калуги. Именем Феоктистова назван кратер на Луне.

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

Мои рассуждения: как сильно ограничивает переменную присваивание ей значения? Может ли присваивание влиять на ограничения по использованию переменной в предыдущем коде?

//////////
x = new MyObject()
if (условие)
    x = new SiblingOfMyObject()
... использование x...
//////////
x = new MyObject()
while (условие)
    ... использование x
    x = new SiblingOfMyObject()

Хотя при отсутствии объектов (точнее, subtyping, отношения T1 <: T2) всё более или менее в порядке. Ещё я думаю, что сообщения об ошибках такой системы вывода будут весьма загадочны. Ещё более загадочны, чем сообщения об ошибках с использованием функциональных зависимостей в Хаскеле. Из-за последних я очень долго всюду делал свою State монаду. ;)

Комбинаторы SKI могут выразить любое лямбда-выражение, есть даже правила преобразования туда и обратно. Беда заключается в том, что длина выражения в базисе SKI будет пропорциональна экспоненте от длины выражения в нотации лямбда-исчисления, O(e^N).

Пишем 2+2, получаем N букв SKI. Пишем 2+1+1, получаем 2N букв. Пишем 1+1+1+1, 4N букв.

С этим пытались бороться, добавляя комбинаторы и базис комбинаторов SKIBC-и-ещё-какой-то-я-забыл-какой даёт всего лишь квадратичное увеличение длины.

А суперкомбинаторы, вытягиваемые из самой программы, позволяют записать программу в линейное (от длины программы) количество "букв".

В принципе, SKI, SKIBC+что-то-ещё и суперкомбинаторы можно считать языками программирования с разной выразительной силой.

Надеюсь, это показывает, насколько важной может быть возможность языка. Пусть пример достаточно искусственен (и я могу плохо помнить), но зато он нагляден и бьёт по мозгам получаемыми размерами программ: O(e^N), O(N²) и O(N).

Да даже последних двух хватит, если я с первой оценкой неправ.

PS
Я же пытался писать на Эпиграме. Так вот, первое, на что я наткнулся, это на квадратичную сложность программы: для типа data Char = CA | CB ... CZ я пытался выразить равенство, а поскольку Эпиграм разворачивает сравнение с образцом в тотальное сравнение, то для eq a b я получил сперва набор всех ветвей для параметра a, а потом в каждой из них должен было написать результат сравнения со свеми результатами b. Хотя всем известно, что равенство может быть записано линейно от количества конструкторов.

Контактные телефоны 8-499-794-36-52, 8–499–613-77-51.
Основной сайт: Института питания РАМН тут www.ion.ru
А это сайт самой клиники, где это объявление подтверждается (колонка справа). http://www.dietology-ion.ru/

От gevella

0berst

Уважаемый работодатель!
Сегодня утром, просматривая почту, я обнаружил ваше письмо, уведомляющее меня о невозможности приёма меня на работу в вашу компанию. Я внимательно изучил ваш ответ и, с сожалением, должен сообщить, что в настоящее время не имею возможности принять ваш отказ. В течение последних месяцев мною было получено множество отказов в трудоустройстве, поэтому, как вы понимаете, у меня имеется широкий выбор, но удовлетворить их все я, к сожалению, не могу.
Несмотря на ваш богатый опыт и квалификацию в области отбора персонала, я вынужден констатировать, что данный отказ слабо аргументирован и противоречит моим интересам, кроме того, он никоим образом не соответствует моим планам на ближайшее будущее.
Исходя из вышеизложенного, я считаю необходимым приступить к своим обязанностям в вашей компании начиная со следующей недели...</a>

<tag0y> A UNIX saleslady, Lenore,
<tag0y> Enjoys work, but she likes the beach more.
<tag0y> She found a good way
<tag0y> To combine work and play:
<tag0y> She sells C shells by the seashore.

Очень интересно смотреть, как умные люди отстаивают своё право на небольшое уменьшение привычной им случайной сложности (accidental complexity).

На это меня натолкнули высказывания наподобия "мне CSP важно, а алгебраические типы и полиморфизм - нет" и "LINQ - для SQL, поэтому, в общем, не нужен, хотя и монада".

Я даже не знаю, что тут добавить-то. Что ни добавь, всё обидно будет.

Но основная мысль, всё же, что даже умные люди будут стремиться уменьшить уже известное зло. Если, конечно, не знакомы с местами, где этого зла нет совсем - и потоки зелёнейшие, и полиморфизм полиморфичнейший, и максимальная двунаправленность каналов, если есть желание. ;)

А они не только не знакомы, так ещё и стараются избежать знакомства любыми средствами. ;)

Как-то так.

Приобрёл ещё в понедельник, а послушал только сейчас.

Более того, нормально смог расслышать - или расслушать, - только со второго раза. Только со второго раза до меня смогла дотянуться песня "Out of dawn".

Вот здесь можно услышать, наверное. Наверное потому, что у меня нет звуковой карты на компе, что подключён к интернету. Слушал её я на моём Макинтоше, что со звуком, но без интернета. ;)

Раньше они больше играли с ритмами, чем с мелодиями, создавая такую паутину из барабанов, барабанчиков, "пыльных тапочек", цимбал и не пойми чего ещё. Здесь это тоже есть, но на "Я знаю, ты не будешь моей" у меня ухает сердце - из-за мелодии. Это действительно так и будет, "она не будет моей".

Чёткое и ясное осознание. Дающее способность действовать с любовью.

Сбивающийся ритм ксилофона не оставляет мне шанса поверить в обратное.

Я не знаю, как они смогли донести это ощущение.