The OpenNET Project / Index page

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



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

Оглавление

Релиз языка программирования Go 1.17, opennews (??), 17-Авг-21, (0) [смотреть все]

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


4. "Релиз языка программирования Go 1.17"  –17 +/
Сообщение от Аноним (5), 17-Авг-21, 09:18 
Единственный нормальный язык программирования.
Ответить | Правка | Наверх | Cообщить модератору

15. "Релиз языка программирования Go 1.17"  –2 +/
Сообщение от Брат Анон (ok), 17-Авг-21, 09:35 
> Единственный нормальный язык программирования.

Нет. Для меня единственный нормальный язык программирования -- это Оберон. А Го -- это испорченный Оберон. Лучше чем питон, сисярп, раст -- но не единственный и не лучший.

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

26. "Релиз языка программирования Go 1.17"  +1 +/
Сообщение от Урри (ok), 17-Авг-21, 10:09 
Это синдром утенка, с этим стоит бороться.
Ответить | Правка | Наверх | Cообщить модератору

118. "Релиз языка программирования Go 1.17"  +6 +/
Сообщение от Брат Анон (ok), 17-Авг-21, 16:43 
> Это синдром утенка, с этим стоит бороться.

Читайте внимательней. ДЛЯ МЕНЯ.

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

34. "Релиз языка программирования Go 1.17"  –1 +/
Сообщение от Рева RarogCmex Денисemail (?), 17-Авг-21, 10:57 
Хаскель жи!
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

77. "Релиз языка программирования Go 1.17"  –5 +/
Сообщение от Аноним (-), 17-Авг-21, 13:00 
А вы из секты Информатика21. Ничего это лечится, со временем все пройдет.
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

97. "Релиз языка программирования Go 1.17"  –5 +/
Сообщение от Аноним (97), 17-Авг-21, 15:33 
Не, у этих обычно не проходит. Так и носятся со своим обероном до пенсии, не сделав при этом ни одного полезного на практике проекта.
Ответить | Правка | Наверх | Cообщить модератору

120. "Релиз языка программирования Go 1.17"  +1 +/
Сообщение от Брат Анон (ok), 17-Авг-21, 16:45 
> Не, у этих обычно не проходит. Так и носятся со своим обероном
> до пенсии, не сделав при этом ни одного полезного на практике
> проекта.

Страйк за враньё. идите на сайт Информатика-21 и читайте про более чем практически-значимые результаты деятельности в сфере Оберон-технологий. В отличии от любителей похрустеть -- оберонщики не переписывают работающие драйвера и не встраивают кривые фильтры в ядро Линукса.

https://www.inr.ac.ru/~info21/oberon_innovation/

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

134. "Релиз языка программирования Go 1.17"  –1 +/
Сообщение от Аноним (134), 17-Авг-21, 17:47 
Так в том и дело, что там вся деятельность в "сфере оберон-технологий", замкнутая на саму себя. Чисто академическая деятельность, без практического применения в производстве. Я даже не о мейнстриме говорю. Можно сравнить с другим алголоподобным языком, Ada, который, не будучи мейнстримом, тем не менее широко применяется в оборонке, авионике и управлении воздушным движением. Где применяется Оберон, какие насущные задачи помогает решить?

Если есть контрпримеры - всегда готов признать свою неправоту. Но не встречал ни одного.

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

135. "Релиз языка программирования Go 1.17"  +1 +/
Сообщение от Брат Анон (ok), 17-Авг-21, 17:51 
> Так в том и дело, что там вся деятельность в "сфере оберон-технологий",
> замкнутая на саму себя. Чисто академическая деятельность, без практического применения
> в производстве. Где применяется
> Оберон, какие насущные задачи помогает решить?
> Если есть контрпримеры - всегда готов признать свою неправоту. Но не встречал
> ни одного.

Ещё раз страйк за "без практического применения".
Надо ходить по ссылкам и читать, о результатах более чем практического применения Оберона. Причём, по ссылке выше -- ИСКЛЮЧИТЕЛЬНО В РОССИИ (энергетика, производство, сельское хозяйство, атомная электростация и даже антитерор -- без подробностей по понятным причинам). Т.е. я намекаю, что существует масса применений Оберон-технологий в том числе -- и за рубежом. Начиная от боевых самолётов, заканчивая медицинскими приборами. Тут гугель вам в помощь.

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

136. "Релиз языка программирования Go 1.17"  +/
Сообщение от Аноним (134), 17-Авг-21, 17:52 
А, открылась со второго раза ссылка. Ну это хоть что-то, хотя так и не понятно, внедрено это все промышленно, или разовые экспериментальные разработки, которые не продвинулись дальше опытных образцов или единичных экспериментальных внедрений. Но признаю, что частично не прав.
Ответить | Правка | К родителю #134 | Наверх | Cообщить модератору

137. "Релиз языка программирования Go 1.17"  +1 +/
Сообщение от Брат Анон (ok), 17-Авг-21, 17:58 
> А, открылась со второго раза ссылка. Ну это хоть что-то, хотя так
> и не понятно, внедрено это все промышленно, или разовые экспериментальные разработки,
> которые не продвинулись дальше опытных образцов или единичных экспериментальных внедрений.
> Но признаю, что частично не прав.

Это всё внедрено и работает лучше, чем швейцарские часы (благо Оберон придуман в Швейцарии). Это не было бы частными инициативами, если бы решения во власти принимали специалисты, а не любители принять конверты от посетителей. Впрочем, могу сказать что потихоньку заказчики, которые рискуют ОЧЕНЬ большими деньгами, либо жизнями людей -- начинают поворачиваться в сторону Оберонов. Есть несколько организаций, которые используют Оберон в качестве единственного решения и клиенты потихоньку начинают выстраиваться в очередь.

Более того, из всех языков программирования я знаю только два языка с промышленной надёжностью: это Ада и Оберон. К обоим языкам у меня есть придирки, но потенциально у Оберона кратно больше шансов стать настоящим языком промышленного назначения. Спойлер: вот эти вот все ваши Си, С++, Раст, питон -- ни разу не языки промышленного назначения. Го занял двоякую позицию (фактически промышленным языком не является), но как наследник Оберона и имеющий мощное инструментальное окружение -- может в некоторых немногих нишах исполнять обязанности промышленного языка программирования.

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

164. "Релиз языка программирования Go 1.17"  +/
Сообщение от Аноньимъ (ok), 17-Авг-21, 23:20 
Вы забыли про Форт.
Ответить | Правка | Наверх | Cообщить модератору

182. "Релиз языка программирования Go 1.17"  +/
Сообщение от Брат Анон (ok), 18-Авг-21, 09:56 
> Вы забыли про Форт.

Форт не является языком промышленного назначения по определению.

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

204. "Релиз языка программирования Go 1.17"  –1 +/
Сообщение от Аноньимъ (ok), 18-Авг-21, 16:54 
>> Вы забыли про Форт.
> Форт не является языком промышленного назначения по определению.

По предопределение которого у вас нет?

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

209. "Релиз языка программирования Go 1.17"  –1 +/
Сообщение от Аноним (209), 18-Авг-21, 21:10 
>>  Вы забыли про Форт
> Форт не является языком...

Две какашки о чём-то спорят.
Очень забавно, следует отметить!

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

174. "Релиз языка программирования Go 1.17"  +/
Сообщение от Аноним (134), 18-Авг-21, 01:58 
Для того, чтобы об этом рассуждать, надо для начала ввести критерии языка промышленного назначения. Критерии, очевидно, будут зависеть от конкретной области деятельности. Скажем, для интернет-магазина и PHP отлично подходит.

Если же говорить об областях, в которых от бесперебойной работы ПО зависит жизнь и здоровье человека (как экстремуме), то даже в Ada с ее богатой системой типов выразительных средств недостаточно, чтобы дать 100% гарантии. В идеале, для критических алгоритмов должно требоваться доказательство их корректности, а типы должны учитывать контекст. Такой язык есть, хоть и в экспериментальном статусе (по сути, разрабатывается одним человеком) - Idris. Да, ФП а-ля Haskell, и чтобы программировать в этой парадигме, нужна определенная подготовка, но без выделения pure functions эта задача вряд ли вообще решаема.

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

183. "Релиз языка программирования Go 1.17"  +/
Сообщение от Брат Анон (ok), 18-Авг-21, 10:03 
> Для того, чтобы об этом рассуждать, надо для начала ввести критерии языка
> промышленного назначения.

Легко. В двух словах: промышленный язык программирования -- должен быть предельно прост (но не примитивен), для успешного переноса с платформы на платформу ,возможности внедрения даже на самые смешные контроллеры и максимально препятствовать совершению ошибок со стороны программиста с одной стороны, и позволять легко проверять код с другой стороны. Семантика языка должна быть жёстко зафиксирована.

> Критерии, очевидно, будут зависеть от конкретной области деятельности.
> Скажем, для интернет-магазина и PHP отлично подходит.

Нет. Куча дыр в самом языке, и ещё больше дыр во всех программах написанных на нём.

> Если же говорить об областях, в которых от бесперебойной работы ПО зависит
> жизнь и здоровье человека (как экстремуме), то даже в Ada с
> ее богатой системой типов выразительных средств недостаточно, чтобы дать 100% гарантии.

Ада по определению не может дать 100% гарантии. Так как ВНЕЗАПНО её компилятором является gcc, который никто никогда не проверял и не верифицировал даже для основных платформ. Более того, на компанию, которая делает Аду распространяются требования торговой палаты США, а значит она не имеет права продавать Аду в Россию со всеми вытекающими последствиями. Делайте выводы.

> В идеале, для критических алгоритмов должно требоваться доказательство их корректности,
> а типы должны учитывать контекст. Такой язык есть, хоть и в
> экспериментальном статусе (по сути, разрабатывается одним человеком) - Idris. Да, ФП
> а-ля Haskell, и чтобы программировать в этой парадигме, нужна определенная подготовка,
> но без выделения pure functions эта задача вряд ли вообще решаема.

Всё это не может быть использовано в качестве промышленных языков программирования по причинам смотрите выше в кратком определении.

Автомат Калашникова -- потому и автомат Калашникова, что он _предельно_ прост, что влечёт за собой надёжность и эффективность. Ни Идрис, ни Хаскель не удовлетворяют этим требованиям.


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

201. "Релиз языка программирования Go 1.17"  +/
Сообщение от Аноним (134), 18-Авг-21, 16:41 
> В двух словах: промышленный язык программирования -- должен быть предельно прост (но не примитивен), для успешного переноса с платформы на платформу ,возможности внедрения даже на самые смешные контроллеры и максимально препятствовать совершению ошибок со стороны программиста с одной стороны, и позволять легко проверять код с другой стороны. Семантика языка должна быть жёстко зафиксирована.

Это довольно специфический набор требований, у другого человека будет другое определение. Особенно специфично про внедрение на контроллеры - вы же понимаете, что большинству людей это не надо?

К вашему определению, кстати, golang подходит.

> Куча дыр в самом языке, и ещё больше дыр во всех программах написанных на нём.

В языке уже давно всё поправили, а в программах - всё зависит от конкретного программиста. Чем ниже порог входа, а у PHP он минимальный, - тем ниже среднее качество кода.

Дыры в PHP в основном в логике, он как язык нелогичен и неконсистентен. Но писать на нем можно. Начинать на PHP проект с нуля я бы не стал - при нынешнем богатстве выбора нет смысла так себя мучать. А если речь о доработке и развитии уже существуюшей кодовой базы, и код написан прямыми руками (такое нечасто, но бывает), все нормально.

> Ада по определению не может дать 100% гарантии

Как и любой другой язык, не имеющий встроенных в компилятор средств формального доказательства корректности.

> на компанию, которая делает Аду распространяются требования торговой палаты США, а значит она не имеет права продавать Аду в Россию со всеми вытекающими последствиями. Делайте выводы.

Во-первых, не в Россию, а российским компаниям, находящимся под санкциями. Возможно, для вас это важно, но для большинства людей нет.
Во-вторых, на open source это никак не распространяется, GNAT под GPL 3.

> Всё это не может быть использовано в качестве промышленных языков программирования по причинам смотрите выше в кратком определении.

В соответствии с вашим определением - да. И это нормально, каждый выбирает инструмент по своим потребностям.

В областях же, где потенциальный баг грозит катастрофой, и нужны 100% гарантии, более высокая сложность самого языка вполне оправдана.

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

119. "Релиз языка программирования Go 1.17"  +3 +/
Сообщение от Брат Анон (ok), 17-Авг-21, 16:43 
> А вы из секты Информатика21. Ничего это лечится, со временем все пройдет.

Да, у нас своя секта и не надо завидовать. Организовывайте свою.

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

36. "Релиз языка программирования Go 1.17"  –1 +/
Сообщение от Аноним (36), 17-Авг-21, 11:02 
А как же Elm?
Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

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

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




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

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