Functional programming mentioned

Персонаж аниме в восторге от упоминания функционального программирования, окружённый формулами, кодом Haskell и математическими теориями
Персонаж аниме в восторге от упоминания функционального программирования, окружённый формулами, кодом Haskell и математическими теориями

Яркий перегруженный коллаж с персонажем из аниме, который выглядит восторженно и почти теряет сознание от упоминания функционального программирования. Вокруг него разбросаны формулы, фрагменты кода и отсылки к Haskell, лямбда-исчислению, монадам, теории типов и алгебре. На изображении можно увидеть названия «Homotopy Type Theory», «Curry-Howard Correspondence», «Algebra-Driven Design», «Control.Monad.Tardis» и другие технические термины. Мем высмеивает чрезмерный восторг программистов-функциональщиков при виде сложных математических концепций и красивого кода.

Functional programming mentioned. Homotopy Type Theory. Univalent Foundations of Mathematics. Curry-Howard Correspondence. Algebra-Driven Design. Type variable 'b' would escape its scope. Monad. Control.Monad.Tardis. [1/1/619 built] building ghc-8.6.5 (buildPhase)