Статическая и динамическая типизация

программирование со статической типизацией программирование с динамической типизацией пусть тип T параметризован типом N, where N: N => a -> b' -> a' для поля Я большое степени лямбда мозга уравнение над классом альфа и имеет решение для t малое при T(t) принадлежит Я большое пойхали

Слева кот пытается разобраться в сложном уравнении с параметризованными типами и лямбда-исчислением — так показано программирование со статической типизацией. Справа животное убегает по траве с подписью «пойхали», что передаёт шутку о стремлении немедленно сбежать от сложной типизации и формальных проверок. Мем отправляют как реакцию на слишком сложный код или обсуждение статической типизации. EN: On the left, a cat is trying to understand a complicated equation involving parameterized types and lambda calculus, representing programming with static typing. On the right, an animal runs away across the grass with the caption “let’s go,” joking about the urge to immediately escape from complex typing and formal checks. The meme is used as a reaction to overly complicated code or discussions of static typing.

• @profunctor_io / 4431 2020-04-16
• @ithueti / 4146 2021-05-17