metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2015-01-27 03:28 pm

Вывод надтипов для второго класса

Задача, которой ребенок проел мне мозги (картинка с AST):


В школе от них требуют писать размерность, т.е. не 10+15=25, а 10 стульев + 15 стульев = 25 стульев (найти бы того кто это придумал и вынять душу, чтобы объяснить зачем это).

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

Причем спрашиваю у ребенка - вас учили, как правильно такое составлять, она начинает вопить "я ничего не помню, мы решали такое только всем классом".
И еще параллельно в дверь протестанты с библией ломятся, хорошо что не до них было.

[identity profile] pukkallo.livejournal.com 2015-01-27 01:56 pm (UTC)(link)
Жесть :) "кандидат наук - и тот, над задачей плачет"

[identity profile] swizard.livejournal.com 2015-01-27 02:02 pm (UTC)(link)
И вот так всегда у вас с этим хаскелем. Если где-то не совпадают типы, нормальный здоровый человек без отклонений пользуется reinterpet_cast!

[personal profile] alll 2015-01-27 02:03 pm (UTC)(link)
А, ну это см. мой последний тезис. Краткое неформальное введение понятия "множество" методом "фейсом об тейбл". :)

[identity profile] swizard.livejournal.com 2015-01-27 02:04 pm (UTC)(link)
> а без неё люди пишут всякий пиздец

Людей совершенно не смущает делить рост на вес при расчёте индекса массы тела.

[identity profile] swizard.livejournal.com 2015-01-27 02:08 pm (UTC)(link)
> Мне ничего, кроме вывода надтипа груши, яблока и вишни и суммирования количеств не приходит в голову

Подозреваю, что корректный ответ будет: "19 яблок, 11 груш и 15 вишен". Остальные решения не дают lossless ответа.

[identity profile] metaclass.livejournal.com 2015-01-27 02:09 pm (UTC)(link)
Ох ебаный же кошмар:)

[identity profile] cross-join.livejournal.com 2015-01-27 02:25 pm (UTC)(link)
SELECT *
FROM
(
  SELECT "название", "количество"
  FROM (SELECT CAST('яблоко' AS varchar(20)) AS "название", 19 AS "количество") AS "яблоки"
  UNION ALL
  SELECT "название", "количество"
  FROM (SELECT CAST('груша' AS varchar(20)) AS "название", 11 AS "количество") AS "груши"
) "грушеяблоки"
UNION ALL
SELECT "название", "количество"
FROM (SELECT CAST('вишня' AS varchar(20)) AS "название", 15 AS "количество") AS "вишни"

[identity profile] sil-e-nt.livejournal.com 2015-01-27 02:38 pm (UTC)(link)
ептыть, размерность "килограммы еды". Слева 19 кг яблок, справа 11 кг груш". Сколько килограммов еды придется тащить в сумме?

:)

[identity profile] slonopotamus.livejournal.com 2015-01-27 02:47 pm (UTC)(link)
Гыгыгы)

[identity profile] dr-cha0s.livejournal.com 2015-01-27 02:55 pm (UTC)(link)
Эукариоты, чо уж там...

[identity profile] l-yara.livejournal.com 2015-01-27 03:12 pm (UTC)(link)
как раз это - нормально, вон, когда скорость считаем - делим километры на часы и справляемся.

Главное, значение этого индекса потом не складывать с какой-нить влажностью воздуха в помещении

[identity profile] swizard.livejournal.com 2015-01-27 03:16 pm (UTC)(link)
Логично, я там неправильный пример привёл, конечно, про индекс массы тела. Имелась в виду (погуглил щас) формулу "идеальный вес должен равняться рост минус 100".

[identity profile] anonim-legion.livejournal.com 2015-01-27 04:25 pm (UTC)(link)
>требуют писать размерность

Из свежих артефактов в коде C#:

double rez = tank.CalculatedLevelOnShiftEnd.Value - tank.FactFuelVolumeOnShiftEnd.Value;

Что это? Здесь мы должны найти разницу между фактическим и расччетным показателем, но из-за опечатки из миллиметров вычитаются литры, получается полтора землекопа. А разгадка одна...

У меня есть желание переписать это на F#, там вроде бы есть единицы измерения, привязанные к примитивным типам. Чтобы моя дорогая контора уж точно никого не нашла на поддержку проекта.

[identity profile] anonim-legion.livejournal.com 2015-01-27 04:26 pm (UTC)(link)
Tuples!

[identity profile] besm6.livejournal.com 2015-01-27 04:26 pm (UTC)(link)
Кстати, к вопросу о размерностях. Не надо путать размерность и единицу измерения, у них разная размерность :)

Метры и километры имеют одну размерность (длина), но разные единицы измерения. Так что указание размерности от ошибки на три порядка не спасает.

[identity profile] metaclass.livejournal.com 2015-01-27 04:30 pm (UTC)(link)
Да, в F# такое есть :)

[identity profile] thesz.livejournal.com 2015-01-27 04:32 pm (UTC)(link)
Я сейчас гораздо здоровей, чем когда я использовал reinterpret_cast!

(то есть, я использовал (type) преобразования, ибо на плюсах писал мало и только по необходимости)

[identity profile] aamonster.livejournal.com 2015-01-27 04:33 pm (UTC)(link)
Да, разумеется - пишутся именно единицы измерения - они содержат и необходимую информацию о размерности. Спасибо за поправку.

[identity profile] berezovsky.livejournal.com 2015-01-27 05:05 pm (UTC)(link)
Неужели учите детей по соросовским учебникам для искривления психики.

[identity profile] metaclass.livejournal.com 2015-01-27 05:26 pm (UTC)(link)
Судя по содержимому учебника - да.
Оно бессвязное совершенно, без текстовых объяснений, тупо вперемежку задачи из разных разделов.

[identity profile] berezovsky.livejournal.com 2015-01-27 05:38 pm (UTC)(link)
У Сороса как у представителя Драконовых задача воплощения - деструктивная: поиск уязвимостей в сверхкрупных системах и разрушение их до основания.
Очень много ресурсов вбухано на подготовку учебников, внедрения стандартов и переделывания системы образования для одебиливания людей в том числе на постсоветском пространстве.
Edited 2015-01-27 17:39 (UTC)

[identity profile] kong-en-ge.livejournal.com 2015-01-27 06:45 pm (UTC)(link)
два программиста на похапэ поделить на запрос в семи программистах на крестах -- скокак будет ребе?

[identity profile] francis-drake.livejournal.com 2015-01-27 08:00 pm (UTC)(link)
А Вы железо стали тягать до или после перехода на хаскель? Может быть, дело в этом?

[identity profile] thesz.livejournal.com 2015-01-27 08:50 pm (UTC)(link)
Во время перехода. ;)

[identity profile] 161785435.livejournal.com 2015-01-28 04:47 am (UTC)(link)
А где, в таком случае, регулятор кислотности E734, загуститель E531, ароматизатор, идентичный натуральному и консерванты?

Page 2 of 3