The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Выпуск дистрибутива Альт Рабочая станция К 9.1, opennews (??), 16-Мрт-21, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


223. "Выпуск дистрибутива Альт Рабочая станция К 9.1"  +/
Сообщение от Аноним (162), 18-Мрт-21, 04:12 
Прочитал статью по ссылке, интересно,

А можете ещё раз но другими словами выразить свою мысль насчёт этого, а то я краями не догнал.

И да, это Турчин часом не родственник тому Турчину из Альта который приложил руку к выпуску дистрибутива из новости?

Ответить | Правка | Наверх | Cообщить модератору

235. "Об алгоритмах и формализациях."  +1 +/
Сообщение от n00by (ok), 18-Мрт-21, 12:05 
На всякий случай разобью на части и начну с азов, что бы можно было пропустить.

Есть такая штука -- алгоритм. Все знают, что это такое, но рассказать почему-то стесняются.

Однажды Алан Тьюринг предложил: представьте себе бесконечную ленту, разбитую на ячейки. В каждой ячейке записана некая буква. По ленте движется головка, читает их и понимает, куда дальше двигаться. Вот эта штука способна исполнить любой алгоритм. Если язык программирования (ЯП) ей эквивалентен, его называют тьюринг-полным. Если программа на ЯП представляет набор команд типа "открой файл", "найди пятый символ", "удали", такая программа считается императивной. Писать её просто, но она соответствует той бесконечной ленте, а потому целиком укладывается только в головах тьюрингов. Нет способа строго доказать, что произвольная программа не содержит ошибок. В результате случается то, о чём так любит писать тутошний Фрактал.

Алонзо Чёрч посмотрел на это дело и говорит: тысячи лет люди умеют доказывать теорему Пифагора. Если записать алгоритм математическими функциями, мы сможем доказать её корректность. И придумал лямбда-исчисление, из которого выросли функциональные языки (ФЯ). Беда в том, что его понимают от силы 1000 человек на Шарике и ещё 1000000 умеют важно надувать щёки по этому поводу. В результате программы на ФЯ почти не содержат ошибок, поскольку их почти нет.

Андрей Андреевич Марков (младший) изучил опыт коллег и заметил, что если требуется заменить "а" на "б", достаточно представить себе абстрактный исполнитель, который исполнит "а" -> "б". Последовательность подобных замен может представить любой алгоритм. Это называется нормальный алгоритм Маркова (НАМ), но распространения, как нас учит тезис Чёрча-Тьюринга, не получило. Правда, в некоторых языках встречаются конструкции:

match 4 with
    4 -> 5
  | 5 -> 6;;

Ответить | Правка | Наверх | Cообщить модератору

236. "Что создал Турчин и почему в СССР его не приняли."  +1 +/
Сообщение от n00by (ok), 18-Мрт-21, 12:05 
Валентин Фёдорович Турчин решал казалось бы оторванную от реальности научную задачу: создавал транслятор, который упрощает создание трансляторов. Вместо общепринятой формы Бэкуса-Наура взял нормальные алгорифмы Маркова и реализовал для них исполнитель. Так получился язык РЕФАЛ. Оказалось, что на нём можно помимо "описания грамматик" писать и другое ПО. (Это критерий некоторого успеха. Точно так же Керниган и Риччи не отливали серебряную пулю, всего лишь создавали кроссплатформенный ассемблер для сборки ОС. Потом выяснилось, что на языке Си можно написать много всего другого).

Итак, в то время в СССР появился доктор наук, создавший на основе идей другого доктора что-то своё, и были академики, которые сидели под портретами Ломоносова и думу о счастье народа думали. Внимание, вопрос: что делать тем учёным мужам? Можно поддержать начинание: инструмент позволял создавать новые языки и трансляторы, вдруг какой-то и выстрелит. Но это означает, что некоторые гуру признают верховенство над собой идей какого-то выскочки. Потому принялись двигать тему "международного сотрудничества", тем более что кукурузничество являлось политикой партии. Самого Турчина, что бы он не заподозрил неладного, отвлекали от основной работы участием в правозащитной деятельности.

Ответить | Правка | К родителю #223 | Наверх | Cообщить модератору

240. "Выпуск дистрибутива Альт Рабочая станция К 9.1"  +/
Сообщение от Michael Shigorinemail (ok), 18-Мрт-21, 14:07 
> И да, это Турчин часом не родственник тому Турчину из Альта который
> приложил руку к выпуску дистрибутива из новости?

Не знаю, но несколько лет назад в ИПС РАН в Переславле-Залесском, где обычно проходит наша зимняя образовательная конференция, Турчин точно работал -- уж не знаю, тот ли ещё или младшее поколение...

Ответить | Правка | К родителю #223 | Наверх | Cообщить модератору

249. "Выпуск дистрибутива Альт Рабочая станция К 9.1"  +1 +/
Сообщение от n00by (ok), 18-Мрт-21, 14:44 
Тот приезжал в Переславль-Залесский в 2000м на семинар посвяшённый изданию его книги http://www.refal.net/earlier.html и ушёл из жизни в 2010м. Про сына пишут "работает ... на факультете математики Университета Коннектикута" https://ru.wikipedia.org/wiki/%D0%A2%D1%...,_%D0%9F%D1%91%D1%82%D1%80_%D0%92%D0%B0%D0%BB%D0%B5%D0%BD%D1%82%D0%B8%D0%BD%D0%BE%D0%B2%D0%B8%D1%87
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру