Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
On Mon, Sep 30, 2019 at 08:09:07PM +0300, Victor Wagner wrote: > Stanislav Maslovski пишет: > > On Sun, Sep 29, 2019 at 08:23:47PM +0300, Dmitry Alexandrov wrote: > > > Victor Wagner wrote: > > > > Единственный мне известный логичный язык - это Tcl > > > > > > «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет > > > пологичнее Тикля. > > > > Если упор на "логичность", то тогда уж, скорее, PROLOG и его > > производные. > > > "Логический" и "Логичный" это разные вещи. Что не мешает Прологу быть вполне логичным языком (а только помогает). > Наиболее распространенный язык с логической парадигмой это make. Он декларативный, да. Но к полноценным логическим языкам я бы его не стал относить... > И вот уж где логичностью и не пахнет. Дык, исторически он развивался вовсе не с упором на логику. -- Stanislav
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
On Tue, Oct 01, 2019 at 10:48:59AM +0300, Victor Wagner wrote: > On Sun, 29 Sep 2019 20:23:47 +0300 > Dmitry Alexandrov <321...@gmail.com> wrote: > > > > Единственный мне известный логичный язык - это Tcl > > > > «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет > > пологичнее Тикля. > > Пока Схема - вещь в себе, пригодная только для препоадавания курса SICP > в МИТ, она может еще и логична (хотя МИТ отказался от нее в пользу > Питона, видимо слишком логична для обучения реальному программированию) Да ну? А чё, слова одного из авторов курса ещё не перевели? В тему, почему студентов щас учат именно так? Есличо, я могу погуг^Wпоискать... И, насколько я знаю, там не совсем прям питон :-) (но это вторично). > Но как только на ней решать задачи из реального мира, например > приделывают ее к Гимпу, так вся логичность и кончается. И выясняется > что здесь читать, здесь не читать, здесь рыбу заворачивали. Вот это - > встроенный тип SIOD, его garbage-collector собирает, а вот это - > гимповский объект, его будь добр освобождать сам. Оёйб, а мы уже сами языки от расширений для C-кода не отличаем? Пойду перечитывать дискуссию Tcl-vs-Guile... > Примерно то же самое произошло с автолиспом. Если и была в том лиспе, > который за основу взят, какая-то логичность, то при приделывании к САПР > вся сплыла. Ага-ага, щаз запишу в свою книжечку... (=> все лиспы при столкновении с реальностью (в виде тиклей? или си?) проигрывают реальности...) Кого-то напоминает... > Ну и вообще сравните объем R5RS с объемом man Tcl. Может лучше с Lua? Вообще, по указанному параметру (количеству и качеству документации), brainf*ck тогда самый оптимальный язык? Или есть уже другие критерии? Например, дистрибутив Guix имеет кучу утилит, написанных на Scheme (включая менеджер пакетов, о котором можно отдельно долго говорить, сравнивая с apt), там своя система инициализации и нету systemd (тоже, на том же языке спецпрограммы для нужных целей). Having said all this, а что есть подобное на Tcl? -- Vladimir (λ)επτόν EDA — https://github.com/lepton-eda
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
On Sun, 29 Sep 2019 20:23:47 +0300 Dmitry Alexandrov <321...@gmail.com> wrote: > > Единственный мне известный логичный язык - это Tcl > > «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет > пологичнее Тикля. Пока Схема - вещь в себе, пригодная только для препоадавания курса SICP в МИТ, она может еще и логична (хотя МИТ отказался от нее в пользу Питона, видимо слишком логична для обучения реальному программированию) Но как только на ней решать задачи из реального мира, например приделывают ее к Гимпу, так вся логичность и кончается. И выясняется что здесь читать, здесь не читать, здесь рыбу заворачивали. Вот это - встроенный тип SIOD, его garbage-collector собирает, а вот это - гимповский объект, его будь добр освобождать сам. Примерно то же самое произошло с автолиспом. Если и была в том лиспе, который за основу взят, какая-то логичность, то при приделывании к САПР вся сплыла. Ну и вообще сравните объем R5RS с объемом man Tcl. -- pgpTuKiNONM8y.pgp Description: OpenPGP digital signature
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
On 29 September 2019 7:23:47 pm GMT+02:00, Dmitry Alexandrov <321...@gmail.com> wrote: >> Единственный мне известный логичный язык - это Tcl > >«Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет >пологичнее Тикля. Схема еще имеет приличные шансы быть логичнее тикля, но, сдается мне, они одинаково логичны. А вот прочие лиспы, в которых невозможно в тексте программы отличить специальную форму (ленивое вычисление параметров) от функции (жадное) отчетливо менее логичны. -- Best regards, Artem.
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
В Mon, 30 Sep 2019 15:54:59 +0100 Stanislav Maslovski пишет: > On Sun, Sep 29, 2019 at 08:23:47PM +0300, Dmitry Alexandrov wrote: > > Victor Wagner wrote: > > > В Sun, 29 Sep 2019 12:16:57 +0300 Eugene Berdnikov > > > пишет: > > >> Короче, Bourne shell это тяжкий груз наследственности. > > > > > > Любая система, получившаяся сколько-нибудь широкое распространие > > > - это тяжкий груз наследственности. > > > > > Единственный мне известный логичный язык - это Tcl > > > > «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет > > пологичнее Тикля. > > Если упор на "логичность", то тогда уж, скорее, PROLOG и его > производные. > "Логический" и "Логичный" это разные вещи. Наиболее распространенный язык с логической парадигмой это make. И вот уж где логичностью и не пахнет.
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
On Sun, Sep 29, 2019 at 08:23:47PM +0300, Dmitry Alexandrov wrote: > Victor Wagner wrote: > > В Sun, 29 Sep 2019 12:16:57 +0300 Eugene Berdnikov пишет: > >> Короче, Bourne shell это тяжкий груз наследственности. > > > > Любая система, получившаяся сколько-нибудь широкое распространие - это > > тяжкий груз наследственности. > > > Единственный мне известный логичный язык - это Tcl > > «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет пологичнее > Тикля. Если упор на "логичность", то тогда уж, скорее, PROLOG и его производные. -- Stanislav
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
On Sun, Sep 29, 2019 at 08:23:47PM +0300, Dmitry Alexandrov wrote: > Victor Wagner wrote: > > В Sun, 29 Sep 2019 12:16:57 +0300 Eugene Berdnikov пишет: > >> Короче, Bourne shell это тяжкий груз наследственности. > > > > Любая система, получившаяся сколько-нибудь широкое распространие - это > > тяжкий груз наследственности. > > > Единственный мне известный логичный язык - это Tcl > > «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет пологичнее > Тикля. "Что мне нравится в Тикле, так это Тикей" :-) (Вспоминая дискуссию, начатую RMS...) После знакомства с обоими Tcl/Tk и Scheme, я выбрал второй вариант (Tk мне очень понравился, всё же). Но, ёклмн, почему-то люди очень пугаются, когда скобка ставится не перед первым параметром, а перед названием функции, и нет запятых и точек с запятой... "Просто кош(мар);[1] какое-то..." [1] (Кош (ка) Мар (уська)) -- Vladimir (λ)επτόν EDA — https://github.com/lepton-eda
Re: «Единственный мне известный логичный язык - это Tcl» (was: Firefox неправильно восстанавливает запомненную при выходе позицию)
Victor Wagner wrote: > В Sun, 29 Sep 2019 12:16:57 +0300 Eugene Berdnikov пишет: >> Короче, Bourne shell это тяжкий груз наследственности. > > Любая система, получившаяся сколько-нибудь широкое распространие - это тяжкий > груз наследственности. > Единственный мне известный логичный язык - это Tcl «Схема» предельно логична. Да и вообще, пожалуй, любой Лисп будет пологичнее Тикля. signature.asc Description: PGP signature