Школьники, которых с 1-го класса учили программированию на Haskell, оказались неспособны объяснить свою мысль без теории категорий

14.06.2025, 9:33, Разное
  Подписаться на Telegram-канал
  Подписаться в Google News
  Поддержать в Patreon

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

По словам членов приемной комиссии факультета теоретической физики МГУ, абитуриенты, прошедшие «хаскелевскую» подготовку, даже при объяснении самых простых вещей, таких как причины выбора будущей профессии, начинали строить сложные абстракции, оперируя понятиями функторов, монад и лямбда-исчислений.

Один из абитуриентов, пытаясь объяснить, почему он хочет изучать физику, заявил, что его «влечёт к исследованию эндоморфизмов пространственно-временного континуума с сохранением структуры, выраженных в терминах стрелок и объектов категорий». Другой абитуриент, при ответе на вопрос о любимой книге, вместо названия произведения начал описывать «категориальный изоморфизм между структурой текста и его семантическим представлением». Дошло до того, что просьба назвать свое имя вызывала построение монадической цепочки вычислений.

«Вроде бы дети умные, образованные, но говорить с ними невозможно. Они не могут просто сказать: Я хочу стать врачом, потому что хочу помогать людям» Нет, им нужно обязательно построить категориальную модель человеческого организма и доказать теорему о его гомеоморфизме здоровому состоянию, – рассказала профессор МГУ Вера Курцер. – Мы пытались их переучить, заставить говорить простым языком, но они, кажется, разучились это делать. Теперь они общаются друг с другом исключительно на языке Haskell, генерируя бесконечные последовательности лямбда-выражений. Боюсь, что вместо вуза им придётся поступить в цирк, чтобы найти себе хоть какое-то место в мире».

Ненадежный источник: ИА “Панорама”




Смотреть комментарииКомментариев нет


Добавить комментарий

Имя обязательно

Нажимая на кнопку "Отправить", я соглашаюсь c политикой обработки персональных данных. Комментарий c активными интернет-ссылками (http / www) автоматически помечается как spam

ЧИТАЙТЕ ТАКЖЕ

16.06 / В Иране осудили Сталина за «руководящую и направляющую роль» в создании государства Израиль

16.06 / Саломе Зурабишвили обвинила Михаила Саакашвили в подготовке государственного переворота

15.06 / Маск объявил, что передал в Иран две тысячи терминалов Starlink

15.06 / «5-я статья авансом»: в НАТО заявили о готовности немедленно защитить Израиль от неспровоцированной агрессии Ирана

15.06 / Фонд Сороса выдвинул Нетаньяху на Нобелевскую премию мира

15.06 / Учёные не в силах объяснить, почему гранёный стакан Ельцина по ночам сам наполняется водкой

15.06 / Марсоход Perseverance сделал снимок, на котором отчётливо виден герб России

15.06 / Мнение: Немецкая армия предпочитает коренных немцев

14.06 / Германия объявила о немедленной передаче Израилю сотен ракет TAURUS

14.06 / Грета Тунберг организовала в Стокгольме акцию «Вперёд, Иран!»

Политика конфиденциальности - GDPR

Карта сайта →

По вопросам информационного сотрудничества, размещения рекламы и публикации объявлений пишите на адрес: rybinskonline@gmail.com

Поддержать проект:

PayPal - rybinskonline@gmail.com; Payeer: P1124519143; WebMoney – T323003638440, X100503068090, Z399334682366

18+ © 2002-2025 РЫБИНСКonLine: Все, что Вы хотели знать...

Яндекс.Метрика