TypeScript Functional Programming Brain Expansion

typeclass Functor[F[_]] @typeclass trait Functor[F[_]] { trait Mappable extends StarToStar SemiGroup extends TypeClass { def add(that: This) } extension MonadFlatten[T[_] : Monad] for T[T[A]] nsform[F[_], A](x: F[A], f: A implicit impl1: Monad.Impl[F], impl2: Traversable.Impl[F] per[Functor] := impl2.Sup { ... (x: Functor[A]).map(f)

Мем показывает последовательное «расширение мозга» на фоне шести всё более фантастических изображений: от простого typeclass Functor до сложного кода с Monad, Traversable и implicit-реализациями. Шутка высмеивает эскалацию сложности в функциональном программировании и Scala/TypeScript-подобной типовой системе: чем более продвинутой становится абстракция, тем более космическим выглядит мозг программиста. Такой мем отправляют разработчикам как реакцию на чрезмерно сложный, но впечатляющий код. EN: The meme shows a successive “brain expansion” against six increasingly fantastical images, from a simple typeclass Functor to complex code involving Monad, Traversable, and implicit implementations. The joke mocks the escalation of complexity in functional programming and Scala/TypeScript-like type systems: the more advanced the abstraction becomes, the more cosmic the programmer’s brain looks. People send it to developers as a reaction to code that is overly complicated yet impressive.

• @profunctor_io / 749 2018-04-03