Все пошутили и я пошутил!

А если серьезно, у меня было два примера, какой из них лучше рассмотреть?

Давайте я возьму работу Build Systems à la Carte А. Мохова и др.

Первая ее часть очень хороша. Это осмысление принципов работы систем автоматизации сборки, попытка выделить в них наиболее существенные элементы.
Здесь еще нет никакого Haskell. Однако, давайте вспомним недавно прозвучавшую в чате фразу "они как от огня бегут ото всего мейнстримного". И действительно, в теоретической части наблюдаются странности в выборе систем автоматизации сборки для анализа: из популярных систем упоминается лишь make и ни о каких Gradle и проч. даже слова не говорится, как будто их не существует. Зато авторы много пишут об Excel.

Далее авторы приводят на Haskell модели систем сборки и описывают детали их реализации. Предполагается, судя по всему, что реализация на Haskell это своеобразная "математическая модель", анализ которой поможет многое узнать о прообразе. Но авторы лишь пробуют разные комбинации того, что было выявлено в теоретической части, и выводом статьи оказывается "a simple recombination leads to a design for a monadic suspending cloud build system".

Да, накрутки - вторая значительная проблема науки

Небольшая ремарка: в Excel вложено много труда исследователей, поэтому в рамках академической статьи не упомянуть об этом будет недальновидно — рецензентов нужно удовлетворить и индекс цитирования сам по себе не вырастет ;)

(Это я присоединяюсь к комментаторам, призывающим учитывать контекст работы)

А шо, на нем и фронт пишут?

Согласен, я тоже говорю о том, что оцениваю статью «со своей колокольни».  Если уже продолжать циничную линию, то можно просто вспомнить, что статья написана под конкретный грант :)

Я бы даже сказал, что это просто норма уже.
Это вон в 19-м веке люди сначала до 30-ти лет свою пивоварню развивали, а потом, отстроив бизнес, шли чистой математикой заниматься.
Черт с ними с грантами этими, хоть бы уж воспроизводимость привели в порядок (тут надо сказать, что PLT, как область, здесь довольно хорошо смотрится)

Были потуги вроде hasql-generic, но либой всё равно слишком мало народу пользуется, чтобы было, кому батарейки понаписать

Воспроизводимость... ой, это Вы совсем больную тему затронули :(

Причем сейчас набирает обороты профанация под видом толерантности (и инклюзивности)

Мне тоже эта тема близка! Время от времени даже занимаюсь оживлением «битлена» (бит + тлен) из исследовательских проектов