Все пошутили и я пошутил!
А если серьезно, у меня было два примера, какой из них лучше рассмотреть?
Давайте я возьму работу Build Systems à la Carte А. Мохова и др.
Первая ее часть очень хороша. Это осмысление принципов работы систем автоматизации сборки, попытка выделить в них наиболее существенные элементы.
Здесь еще нет никакого Haskell. Однако, давайте вспомним недавно прозвучавшую в чате фразу "они как от огня бегут ото всего мейнстримного". И действительно, в теоретической части наблюдаются странности в выборе систем автоматизации сборки для анализа: из популярных систем упоминается лишь make и ни о каких Gradle и проч. даже слова не говорится, как будто их не существует. Зато авторы много пишут об Excel.
Далее авторы приводят на Haskell модели систем сборки и описывают детали их реализации. Предполагается, судя по всему, что реализация на Haskell это своеобразная "математическая модель", анализ которой поможет многое узнать о прообразе. Но авторы лишь пробуют разные комбинации того, что было выявлено в теоретической части, и выводом статьи оказывается "a simple recombination leads to a design for a monadic suspending cloud build system".
А как на Ваш взгляд было бы лучше сделать?
