Здравствуйте, netch80, Вы писали:
N>http://vimeo.com/album/2244179/video/58698723
N>я вот в глубокой задумчивости, как это оценивать
Пока никак, если не понимаешь.. Тем более, это не ближайшая перспектива..
Здравствуйте, netch80, Вы писали: N>http://vimeo.com/album/2244179/video/58698723 N>я вот в глубокой задумчивости, как это оценивать
больше относится к квантовым компам. ну ниче, нормальная тема. разве что практического применения пока нет.
на первый взгляд — псевдонаучный бред за фасадом из терминов надерганных из разных областей — теория множеств, математическая логика и т.п.
1. Не понял тезиса о "нечисловой" природе алгебраических программ, что, очевидно противопоставляет идею алгебраического программирования традиционным видам, несмотря на то, что на том же слайде фигурирует фраза о вычислениях.
2. Конечная группа — элементарно моделируется на существующей архитектуре (класс вычетов по модулю).
3. Тезис о наступлении великого технологического "щастья" и исчезновении "гигатонн говнокода" — это вообще песня.
Тут я просто не понял в чем новизна идеи?
Цитаты — "думать они (программисты) могут лишь в терминах последовательных процессов и битов" — чувак вообще слышал о декларативном программировании? Ну или хотя бы о многопоточности? Ну о DSL-то уж точно не слышал.
"рейтингопоклонничество" и остальной бред по поводу "избыточного промежуточного числового элемента" — без комментариев.
про "идеальные объекты" и "функции над функциями" — давно есть в haskell и в ряде других функциональных языков
про "любой элемент является функцией" — лямбда исчисление черча, схожая модель реализована в разных вариациях лиспа и не только лиспа.
Здравствуйте, A13x, Вы писали:
A>на первый взгляд — псевдонаучный бред за фасадом из терминов надерганных из разных областей — теория множеств, математическая логика и т.п.
A>про "идеальные объекты" и "функции над функциями" — давно есть в haskell и в ряде других функциональных языков A>про "любой элемент является функцией" — лямбда исчисление черча, схожая модель реализована в разных вариациях лиспа и не только лиспа. A>чувак вообще слышал о декларативном программировании?
Здравствуйте, Qbit86, Вы писали:
Q>Здравствуйте, A13x, Вы писали:
A>>на первый взгляд — псевдонаучный бред за фасадом из терминов надерганных из разных областей — теория множеств, математическая логика и т.п.
A>>про "идеальные объекты" и "функции над функциями" — давно есть в haskell и в ряде других функциональных языков A>>про "любой элемент является функцией" — лямбда исчисление черча, схожая модель реализована в разных вариациях лиспа и не только лиспа. A>>чувак вообще слышал о декларативном программировании?
Q>«Чувак» был научным редактором книжки Митчелла «Основания языков программирования
», так что про лямбды он в курсе. (См. впрочем по ссылке комментарий внизу.)
Ну ОК, в курсе, ну тогда почему он позиционирует эту свою идею как принципиально оторванную или вообще не моделируемую на существующей архитектуре? Из показанного матаппарата я не увидел ничего, что нельзя было бы моделировать на существующей программно-аппаратной базе.
Здравствуйте, Курилка, Вы писали:
К>Здравствуйте, A13x, Вы писали:
К>...
К>Касательно Чёрча и остальных функциональных языков — Непейвода редактор вот этой книжки
(хотя по словам осиливших вклад его в перевод не особо положителен)
Я чуть ниже уже ответил. Может быть я был излишне горяч в своих оценках, но приведенная аргументация была как минимум неубедительна. Не прослеживается логики в утверждениях о категорической неприменимости существующих подходов в программировании и в том, что эту идею невозможно понять нам, убогим программистам. Ну или так, невозможно понять — потому что нечего понимать.
Такое ощущение, что пропагандируется какая-то алхимия — кусочек отсюда, кусочек оттуда и бац — философский камень.
Остается процитировать — "в том, что он сказал было много верного и нового, только все верное было не ново, а все новое — неверно".
Здравствуйте, A13x, Вы писали:
A>Тут я просто не понял в чем новизна идеи?
Ну вот, похоже Вы представляете собой реальную иллюстрацию основного тезиса Непейводы
На самом деле он там говорит не об абстрактной группе, а о группе функций, группе функций над функциями и т.д. ("башни вычислений"). Видимо, примерно то же, что у Воеводского с его теорией гомотопических типов. Из требования наличия обратного элемента у элемента группы (т.е. функции) вытекает требование об "обратимости" вычисления, т.е. наличия оператора UNDO. Насколько я понимаю, цель всей этой теории состоит не в создании нового языка программирования над существующими аппаратными реализациями, а в создании аппаратных реализаций, подходящих под решение данной задачи. Различного рода кристаллы моделируют функции-элементы группы алгоритма для вычисления данной задачи. В соответствии с алгоритмом их соединяют вместе и получается эффективная аппаратная реализация, которая выделяет в порядки меньше тепла и на порядки эффективна. Насколько я понимаю, такие схемы не нужно создавать каждый раз для каждой конкретной задачи, достаточно иметь в запасе реализации наиболее популярных элементов и возможность управлять их соединениями в соответствие с текущей задачей. Если задача описана правильно с математической точки зрения, то для ее реализации найдется соответствующая аппаратная модель.
Чтобы такие вещи проектировать, очевидно, необходимы соответствующие специалисты. Таких специалистов нет т.к. сейчас учат в терминах теории вычислений 30-х годов прошлого века. Непейвода говорит, мол, надо учить по новому. Переучить нельзя т.к. старая парадигма вбито на уровне условных рефлексов. Ну и там насчет этого развернулась дискуссия.
С моей точки зрения, формального обоснования всех перечисленных идей в презентации нет. Математики там много и математики сложной, но разговор про полноту вычислений был каким-то беспредметным. Может быть, манера изложения вытекала из состава аудитории. Судя по вопросам, всех заинтересовала идея "переучивания", а содержательная часть теории даже не обсуждалась. Интересно было бы послушать о содержании теории.
Здравствуйте, mefrill, Вы писали:
M>Здравствуйте, A13x, Вы писали:
A>>Тут я просто не понял в чем новизна идеи?
M>Ну вот, похоже Вы представляете собой реальную иллюстрацию основного тезиса Непейводы
Безусловно, долго выслушивать такое было трудно.
Впрочем для меня неудивительно, что он не встретил понимания.
M>На самом деле он там говорит не об абстрактной группе, а о группе функций, группе функций над функциями и т.д. ("башни вычислений").
но в чем тут фундаментальная новизна?
Композиция функций, функции высших порядков и лямбда исчисление — это разве революционно новые вещи?
Декларативное описание функций в haskell, насколько я вижу, собственно является "надмножеством" предлагаемой башни вычислений.
И почему представление описываемой группы принципиально не моделируется на существующей архитектуре? Зачем ждать железо, чтобы создавать такие программы?
Впрочем, вполне может статься что я не понял какой-то глубокой мысли, буду рад если кто-то разъяснит.
M>Чтобы такие вещи проектировать, очевидно, необходимы соответствующие специалисты. Таких специалистов нет т.к. сейчас учат в терминах теории вычислений 30-х годов прошлого века. Непейвода говорит, мол, надо учить по новому. Переучить нельзя т.к. старая парадигма вбито на уровне условных рефлексов. Ну и там насчет этого развернулась дискуссия.
"Старая" парадигма кроет предложенную новую как бык овцу, насколько я вижу.
И это не считая вопроса об экономической целесообразности такого подхода.
M>С моей точки зрения, формального обоснования всех перечисленных идей в презентации нет. Математики там много и математики сложной, но разговор про полноту вычислений был каким-то беспредметным. Может быть, манера изложения вытекала из состава аудитории. Судя по вопросам, всех заинтересовала идея "переучивания", а содержательная часть теории даже не обсуждалась. Интересно было бы послушать о содержании теории.
Здравствуйте, mefrill, Вы писали:
M>Здравствуйте, A13x, Вы писали:
A>>Тут я просто не понял в чем новизна идеи?
M>Ну вот, похоже Вы представляете собой реальную иллюстрацию основного тезиса Непейводы
M>На самом деле он там говорит не об абстрактной группе, а о группе функций, группе функций над функциями и т.д. ("башни вычислений").
Насколько я понял там вообще зверь-групойд, есть одна групповая операция, есть операция перехода между группами (необратимая, т.е. без обратного элемента). Другое дело, не особо понятно как это связано с энергоэффективностью, поскольку остатки моего физического образования вопят, что принцип ландауэра по определению справедлив только для запоминаемых (долгоживущих) состояний. Например, в оптических компьютерах все делается на традиционных элементах без групп. Обратимость возникает из свойст КМ. Но самая идея достаточно клевая.
M>С моей точки зрения, формального обоснования всех перечисленных идей в презентации нет. Математики там много и математики сложной, но разговор про полноту вычислений был каким-то беспредметным. Может быть, манера изложения вытекала из состава аудитории. Судя по вопросам, всех заинтересовала идея "переучивания", а содержательная часть теории даже не обсуждалась. Интересно было бы послушать о содержании теории.
Это характеристика Непейводы, ему всегда лень объяснять свои гениальные (с "" или без "") идеи, за счет чего слушать его очень трудно.
Здравствуйте, Курилка, Вы писали:
К>Здравствуйте, A13x, Вы писали:
К>...
К>Касательно Чёрча и остальных функциональных языков — Непейвода редактор вот этой книжки
