Type-Driven Development Bookshelf

Text on the meme

Types and Programming Languages Type-Driven Development with Idris Edwin Brady Haskell: The Craft of Functional Programming Programming in Haskell The Haskell School of Expression The Elements of ML Programming Algorithms: A Functional Programming Approach The Haskell Road to Logic, Maths and Programming

What it means

A bookshelf is packed with highly specialized books about functional programming, Haskell, Idris, type theory, and programming languages. The joke is that an unusually niche and intimidating programming collection is presented as a supposed sign of having no sex life, making the image a self-deprecating reaction to extreme programmer stereotypes. EN: A bookshelf is packed with highly specialized books about functional programming, Haskell, Idris, type theory, and programming languages. The joke is that an unusually niche and intimidating programming collection is presented as a supposed sign of having no sex life, making the image a self-deprecating reaction to extreme programmer stereotypes.

Objects

bookshelf / книжная полка programming books / книги по программированию book cover / обложка книги wooden shelf / деревянная полка colored book spines / разноцветные корешки книг hardcover book / книга в твёрдой обложке woman illustration on book cover / иллюстрация женщины на обложке книги type theory book / книга по теории типов Haskell book / книга по Haskell Idris book / книга по Idris functional programming / функциональное программирование English text / английский текст