Functional Programming Overload
Functional programming mentioned Homotopy Type Theory Category-Howard correspondence type variable b would escape its scope Monad λ (λ λ) (λ 2) geLogtZyg0 Control.Monad.Tardis GHC-8.6.5 (buildPhase) [1/1/619 built] building ghc-8.6.5 (buildPhase) Functional programming symbols and equations
An anime-style girl is surrounded by dense functional-programming formulas, Haskell code, category-theory diagrams, and mathematical notation. The joke is that merely mentioning functional programming triggers an overwhelming flood of intimidating technical concepts and jargon. It works as a reaction to overcomplicated programming discussions or enthusiast-level Haskell content.
anime girl / аниме-девушкаblue mathematical symbols / синие математические символыprogramming code / программный кодmathematical equations / математические уравненияlambda symbols / лямбда-символыtype theory book / книга по теории типовcategory theory text / текст по теории категорийblue bird diagram / схема синей птицыpink diagram / розовая схемаcomputer terminal text / текст компьютерного терминалаblack shirt / чёрная рубашкаorange lambda logo / оранжевый логотип лямбдыwhite star / белая звездаarrows / стрелкиformula sheet / лист с формуламиHaskell-related notation / обозначения, связанные с Haskellcolourful collage / красочный коллаж
#functional programming#функциональное программирование#haskell#хаскель#lambda calculus#лямбда-исчисление#type theory#теория типов#category theory#теория категорий#programming#программирование#code#код#math#математика#jargon#жаргон#overload#перегруз#anime#аниме#reaction#реакция#comic#комикс#meme#мем
- @dev_meme / 5653 2023-11-11
- @gentoomemes / 7292 2023-11-12
- Type
- image
- Size
- 800×800 · 198.6 KiB
- Mood
- absurd, overwhelming
- Language
- en
- Added
