The OpenNET Project / Index page

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



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

Оглавление

Выпуск Lazarus 3.0, среды разработки для FreePascal , opennews (??), 22-Дек-23, (0) [смотреть все]

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


25. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +13 +/
Сообщение от Аноним (-), 22-Дек-23, 18:33 
Уж лучше структурное программирование, чем goto-лапшекод и UB дыряшки.
Паскль учил детей думать, разбирать алгоритмы, а не пихать  ̶к̶о̶с̶т̶ы̶л̶и̶ улучшения в стиле "наовнячим что попало, а пото кастанем к void*".
Это именно то, что нужно от учебного языка.

Более того для него есть даже мат обоснование, например теорема Бёма—Якопини.
Возможно поэтому Ада до сих пор используется в авиации.

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

35. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  –5 +/
Сообщение от Аноним (13), 22-Дек-23, 18:43 
>Уж лучше структурное программирование, чем goto-лапшекод и UB дыряшки.

Шо то фигня, шо это.
>Паскль учил детей думать, разбирать алгоритмы

Не учил он алгоритмам. Для обучения алгоритмам вообще ЯП не нужен. А тем более императивный.
>Это именно то, что нужно от учебного языка.

Никак нет. От учебного языка нужна прозрачная и гибкая семантика, а не мастурбация циклов.
>Возможно поэтому Ада до сих пор используется в авиации.

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

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

41. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +2 +/
Сообщение от Аноним (-), 22-Дек-23, 18:54 
> нужна прозрачная и гибкая семантика

Типа как в JS или питончике?
Чтобы что угодно можно было передавать куда угодно?))
Вот детки будут рады!

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

48. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 18:58 
Ты слово семантика не знаешь? Бывает. Типа как в хаскеле или в лиспах. Кстати, для обучения я бы racket взял, уж больно он опрятный.
Ответить | Правка | Наверх | Cообщить модератору

83. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +3 +/
Сообщение от Аноним (-), 22-Дек-23, 19:35 
Твою ###! Этот больной, хочет учить детей программированию на Хаскеле или Лиспе!
Ты понимаешь, что это может быть расценено как нанесение увечий средней (как минимум) тяжести?

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

105. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 19:58 
Хочу, но только это не моя идея. Если бы ты хоть немного интересовался Computer Science, то знал бы, что на моей стороне ведущие умы человечества в CS. А на твоей - эмоции. Всё очень просто)
>Ты понимаешь, что это может быть расценено как нанесение увечий средней (как минимум) тяжести?

А гадить в головы паскалем или сишкой - это игрушки? Нет, родной, это не так работает. Учат фундаментальным основам, а не онанизму с циклами. Ну если цель, конечно, обучить человека, а не формально отчитаться перед министерством образования.

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

148. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от _ (??), 22-Дек-23, 22:17 
>Если бы ты хоть немного интересовался Computer Science, то знал бы, что на моей стороне ведущие умы человечества в CS.

Трепло :)
Твои "ведущие умы" переделали __все__ знаменитейшие CS курсы с Scheme на пЯтончег :) Что в MIT, что в Berkely.
Даже тут лишперы умудрились все полимеры - про*** ть :)
Лишперы живут на пенсию мамы, хотя самим уже за 30-ник. Это всё что нужно знать про лишп.

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

155. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +1 +/
Сообщение от Анонин (?), 22-Дек-23, 22:28 
> что на моей стороне ведущие умы человечества в CS

Да ну? А пруфов подкинешь?
А то что-то у mit.edu в секции General Introductions to Programming используется Python во всех трех курсах.

В стендфорде начальных курсов не нашел, но в более продвинутых
cs143 Compiler - с++,
CS 168: The Modern Algorithmic Toolbox - matlab и python,
CS255: Introduction to Cryptography - python,
CS106B - Programming Abstractions - с++ и т.д
В CS107 - Programming Paradigms лисп упоминается, но к студентам требование знания именно с++.

Поэтому не мог бы ты привести примеры общих курсов, где используется хаскел и тем более лисп.
Но только не нужно специализированных, которые посвящены конкретно именно языку.

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

265. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от bentallemail (ok), 24-Дек-23, 07:54 
Так то оно так, но по SICP больше в MIT не учатся. Хаскель вообще молодой, по сравнению с, особенно с учётом того, что Паскаль это доработанный Алгол-60, где 1960 — год принятия стандарта. Есть какие-то примеры более-менее изучения Хаскеля как первого или второго после Лого (который суть диалект Лиспа) Хаскеля, желательно не в школе для математических гениев?
Ответить | Правка | К родителю #105 | Наверх | Cообщить модератору

107. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (107), 22-Дек-23, 20:00 
Хаскел вряд ли, но лисп идеален для обучения всем концепциям, которые в той или иной мере представлены в разных языках. Скобочки и нотация это минорщина. А вот паскаль действительно калечит.
Ответить | Правка | К родителю #83 | Наверх | Cообщить модератору

112. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 20:16 
Я полностью согласен, мне просто Хаскель кажется очень ортогональным и при этом есть классные методические материалы. Хоть щас бери и в учебники) Мне кажется это может сыграть в образовании.
Ответить | Правка | Наверх | Cообщить модератору

123. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +1 +/
Сообщение от iZENemail (ok), 22-Дек-23, 20:32 
Может быть имеется в виду то, что Паскаль учит [детей] "как это работает", а какой-нибудь Хаскель учит [детей] "что нужно, чтобы сработало". То есть Паскаль более конкретный язык (и среда), как и все машинно-ориентированные ЯП. А Хаскель это из области проблематики задач, не связанной или мало связанной с классическим компьютером — здесь больше абстракций.
Ответить | Правка | Наверх | Cообщить модератору

150. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 22:19 
Паскаль в состоянии обучить только паскалю (и то, на уровне банальных задач типа сортировки пузырьков). "Какой-нибудь хаскель" в состоянии обучить основам лямбда-исчисления и теории категорий (потому что без этого он не сработает). После хаскеля ты можешь изучить хоть бейсик вообще не напрягаясь. А после паскаля ни на что кроме сишки тебя скорей всего не хватит. Что мы и наблюдаем в реальности. Как-то так получается, что люди с хорошим образованием пишут на нормальных языках серьезные системы, а челики "паскаль чоткий мне нрав" - пишут перхоть за копьё. Ну либо вообще не являются программистами. Чудеса, правда?
Ответить | Правка | Наверх | Cообщить модератору

172. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (-), 22-Дек-23, 23:11 
> основам лямбда-исчисления и теории категорий

Это все еще школьная программа? Или уже университет?
Напомню, что мы говорим о языке для обучения детей.

> После хаскеля ты можешь изучить хоть бейсик вообще не напрягаясь.

Доводилось мне смотреть код функцианальщиков, которые пришли на прикладной проект объектно-ориентированного языка.
Сказать, что мои глаза кровоточили, это ничего не сказать.
Сотни абстракций над абстракциями, полное непонимание, что такое объект и как оно работает...
Такое впечатление, что им поломали мозги и понять прадигму "вот объект кошка, у нее есть параметр ʼрасцветкаʼ" они уже не в состоянии. Зато рассказывать про монады могли долго))
Ну и ЧСВ тоже зашкливало, типа 'да я! у меня академическое образование!'
(Надеюсь это мой единичный негативный опыт, и не все функцианальщики такие)

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

Хаха, серьезный наезд на челов типа Вирта, Брайта, Страуструпа (хотя лично я его не очень люблю) и Жана Ишбиа.
И что такое серьезные системы? Ядро операционки это серьезно? Софт для марсохода?
Управление станком или хим. реактором?
Что-то я не помню, чтобы там использовалась функцианальщина)


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

46. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (46), 22-Дек-23, 18:57 
Можешь примерно почувствовать, сколько американских налогоплательщиков знают о существовании языка Ада?
Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

50. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 18:59 
Думаю примерно все, кто может открыть википодию. Покушать тебе принести или по трубе убежим?
Ответить | Правка | Наверх | Cообщить модератору

152. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +1 +/
Сообщение от _ (??), 22-Дек-23, 22:22 
>Можешь примерно почувствовать, сколько американских налогоплательщиков знают о существовании языка Ада?

Да ты же не полу-порно-шоу ведёшь, остись милай! - кроме "спецов и вокруг" - никто не то что про Аду не знает, но и да хоть про JS! :)

Для них это всё какая то неведомая фриковская хрень в телефончеге :) Которая мешает инсту смотреть и не более :-D

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

60. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +1 +/
Сообщение от Аноним (60), 22-Дек-23, 19:11 
> Не учил он алгоритмам. Для обучения алгоритмам вообще ЯП не нужен.

Уфф... Вспомнил свои уроки информатики, когда из оборудования была доска и мел.
Вздрогнул как от вьетнамских флешбеков, а глаз задергался ಠ_ಥ , хорошо что так только 2 года было.
Поверь, даже если есть хотя бы ЯП, становится уже значительно лучше))

> От учебного языка нужна прозрачная и гибкая семантика, а не мастурбация циклов.

О да, а потом получаем 1 + 1 = 11
Что потом сможет написать такой неокрепший ум когда вырастет?

> Ада используется для авиации, потому что она для неё создавалась на гос деньги)

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

А вот у Ады есть наследник SPARK Pro - сабсет Ada 2012, специально спроектированный так, чтобы облегчить формальную верификацию.
Который соответствует авиа стандартам DO-33/DO-178C

И что довольно забавно adacore.com/press/adacore-joins-rust-foundation-as-silver-member

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

67. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 19:24 
>Вспомнил свои уроки информатики, когда из оборудования была доска и мел

Ну я в тетрадке помню циклы писал, тоже так себе воспоминания. Но чьи-то воспоминания - это не аргумент, а рефлексия.
>Поверь, даже если есть хотя бы ЯП, становится уже значительно лучше))

Зачем мне верить? Вера это не мой инструмент. Я занимался преподаванием IT дисциплин. Правда не школьникам (а специалистам) и не программирования, но примерно понимаю как люди учатся новой информации.
>О да, а потом получаем 1 + 1 = 11

Так, еще один непонимающий слово семантика. Если ты не программист, то зачем лезешь в спор?
>В штатах относительно просто пускают в утиль то, что делалось за деньги налогоплатильщеков.

Возможно. Я о том, что Ада создавалась _специально_ для этой цели. И проходила верификацию и сертификацию (это само по себе, кстати, может быть в разы дороже, чем собственно создание ЯП). Поэтому и используется. Если ты плетешь лапти для сходки реконструкторов, то логично, что ты в них будешь ходить, хотя ботинки лучше. Аналогия понятна?
>И что довольно забавно adacore.com/press/adacore-joins-rust-foundation-as-silver-member

Может что-то менять собрались в консерватории? Хотя мне кажется, что просто надо потратить деньги, а то в следующем году меньше дадут) Нормальная ситуация для около-госухи.

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

96. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (-), 22-Дек-23, 19:41 
> Так, еще один непонимающий слово семантика. Если ты не программист, то зачем лезешь в спор?

Ну... уже лет 20 как программист. Но преподаванием занимался давно, и для студентов.

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

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

110. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (13), 22-Дек-23, 20:14 
Ну если тебе слово семантика приходится гуглить - тады ой, непонятно чем ты 20 лет занимался)

Если просто и своими словами, то это возможность и наличие ортогональных средств формального выражения предметной области. Если ты площадь фигуры вычисляешь линейкой на глазок - это кривая семантика. А интеграл - прямая. Попробуй, например, изобразить на механизме классов Паскаля/Дельфи функторы. А в нормальных модульных языках - запросто.

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

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

154. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (-), 22-Дек-23, 22:28 
> Ну если тебе слово семантика приходится гуглить - тады ой, непонятно чем ты 20 лет занимался)

Пилил прикладные задачи, начиная от игр, заканчивая "офисным редактором"; некоторые с нуля (от первой строчки и до публикации).
Что странно, ни разу не понадобилось это определение.

> Попробуй, например, изобразить на механизме классов Паскаля/Дельфи функторы.

Ты серьезно хочешь в средней школе рассказывать про функторы?
Я уже представляю лица детей если им начать задвигать про монады)
Информатика, на минуточку, начинает учиться с 5 класса.

> А в нормальных модульных языках - запросто.
> Нормальные ЯП ортогональны

Хоть бы пример привел) Что ты нормальным считаешь.

У функциональных ЯП есть своя ниша, но например двигать битики на них не очень удобно. Или писать обработку изображений. Но это не недостаток, а просто особенность инструмента.
Какой-нибудь Идрис отлично применим для задачи, которую нужно потом еще автоматически доказать.
Но драйвер для виделокарты на нем будет написать существенно сложнее чем на с/с++/rust.

> Язычкам вроде паскаля или сишки это вообще не снилось.

А должно? Язык для обучения программированию не подразумевает, что ты еще будешь автоверификацию делать.
С другой стороны, Ада как-то умеет в формальную проверку, хотя совсем не функцианальный ЯП.
Одно из немногих формально верифицированных ядер - это seL4, верифицировали его с помощью Хаскеля, а вот написано оно таки на С и ассемблере.
Ибо что в нем, что в идрисе есть сборщик мусора - значит быстро не получится.
Более того у него есть некие проблемы с многопоточностью issues/22468

В общем для каждой задачи, свой инструмент)

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

111. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  –2 +/
Сообщение от Тот_Самый_Анонимус_ (?), 22-Дек-23, 20:16 
>От учебного языка нужна прозрачная и гибкая семантика, а не мастурбация циклов.

А так же лёгкость иабстрагирование от живого языка. Обозначение матеиатических действий словами (например логическихз функций) — бред. Обозначение операторных скобок словами — бред. Использование нескольких типов операторных скобок  (привет, репеат—унтил) — бред.

Если нужен учебный язык, то это должен быть упрощённый Си или питон с типизацией, а не паскаль.

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

116. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  –2 +/
Сообщение от Аноним (13), 22-Дек-23, 20:23 
>А так же лёгкость иабстрагирование от живого языка. Обозначение матеиатических действий словами (например логическихз функций) — бред. Обозначение операторных скобок словами — бред. Использование нескольких типов операторных скобок  (привет, репеат—унтил) — бред.

Не так. На синтаксис вообще пофиг. Это просто буквы, они не важны. Важны механизмы.
>Если нужен учебный язык, то это должен быть упрощённый Си или питон с типизацией, а не паскаль.

Нет, за С в обучении нужно мочиться преподу в шевелюру. Питон - скорее нет, чем да. В плане _обучения_ он не сильно лучше паскаля. Вообще императивные ЯП тут плохой выбор. Если уж _очень_ хочется учить императивщине (зачем?) - возьмите smalltalk.

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

171. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (-), 22-Дек-23, 23:10 
> Если уж _очень_ хочется учить императивщине (зачем?) - возьмите smalltalk.

Ну-ну. Весь мир пишет на императивщене с небольшими включением функциональщины, и оказывается она не нужна!
А мужики то и не знают!

Не мог бы ты привести пример больших проектов на том же хаскеле?
Но только что-то серьезное, вроде браузера, может ос (но не House)))?

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

201. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Тот_Самый_Анонимус_ (?), 23-Дек-23, 05:44 
>Это просто буквы, они не важны.

Важны. Важен сам подход — словами вы описываете явление или небуквенными знаками.

Я уже как-то приводил пример выражения когда нужно проверить что A > B и С. Обучающиеся часто так и пишут A > B and C, потому как пытаются логику живого языка перевести в логику ЯП.

>Нет, за С в обучении нужно мочиться преподу в шевелюру

Но это же набор букв! ((с) анон выше). Си не слишком сложнее паскаля для обучения, но я и не писал про Си. Вы упустили слово «упрощённый».

>В плане _обучения_ он не сильно лучше паскаля.

Для _обучения_ есть кумир или среда «Исполнители». Причём «Исполнители» предпочтительнее.

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

212. "Выпуск Lazarus 3.0, среды разработки для FreePascal "  +/
Сообщение от Аноним (212), 23-Дек-23, 08:32 
> Ада используется для авиации, потому что она для неё создавалась на гос деньги)

Не для авиации ADA создавалась. А для DoD US, чтобы одним надёжным языком заменить 450 язычков програмирования.

Ada was originally designed by a team led by French computer scientist Jean Ichbiah of Honeywell under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time.

SPARK (верефицируемое статически и динамически подмножиство ADA) -- сегодня самый перспективный язык для новых проектов.

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

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

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




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

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