Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

2021 January 25

TT

Taika Tytto in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
🦑
источник

TT

Taika Tytto in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
на самом деле Ущац это на Рглоре заклинание, его внедрили как мем чтобы Сильные Мира Сего смогли проникнуть в женские сортиры
источник

TT

Taika Tytto in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
кошмар...
источник

s

sherzod in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
А кажется догнал. Структуру строим конструкторами
источник

ZM

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
https://t.me/golubchik/1334

можно и без твиттора прочесть, долой соц сети
Telegram
Шаги по стеклу. Кино и Кроссовер подкаст
Cоветский мем в кино

Молодой еврейский юноша Михаил Лазаревич Ушац в 40–х годах XX века поступил в Московский архитектурный институт.

Впоследствии он стал советским карикатуристом и работал в журнале "Крокодил". Но в первый год обучения в МАрхИ он запомнился сокурсникам одной привычкой: Миша подписывал свои личные (и не только) вещи.

Однажды на кафедре рисунка, где студенты должны были рисовать с натуры позирующую модель, шла подготовка к занятию и дежурные расставляли мольберты. Хорошие места для мольбертов всегда стремятся занять те, кто приходят в класс первыми, а опоздавшим достаются самые неудачные ракурсы. Случайно проходивший по коридору Ушац заметил, что мольберты уже выставлены, зашел в класс, выбрал самый удачный и написал на нем свою фамилию.

Староста курса, пришедший на следующий день первым, увидел эту надпись, все понял, но не стал ее стирать. Вместо этого он подписал все остальные мольберты: "Ушац… Ушац… Ушац…". Студенты шутку старосты заценили. И понеслось…

На форзацах книг в студенческой…
источник

s

sherzod in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
По сути баунды это наборы конструкторов в ТФ
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
+
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
sherzod
По сути баунды это наборы конструкторов в ТФ
Нет. Баунды это алгебры - которые соответствуют конструкторам ГАДТа
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Есть дженерик бём-берардуччи енкодинг для ГАДТов
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
sherzod
По сути баунды это наборы конструкторов в ТФ
Есть структурка. Если ее в ББ представить, то получится какая-то алгебра, которую можно разрезать на много частей, каждую из которых записать отдельным трейтом. Это благодаря тому, что объединение трейтов это тоже трейт с совокупным набором дефов
источник

s

sherzod in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Да наборы сигнатур конструкторов, поправлюсь
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
а ГАДТы возникают для енкодинга типизированных ДСЛей
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Дедовским кондовым способом
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
С аллокациями
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
кондомный способ дедовский с использованием кишок
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Кроме Киселева я вот етот папир могу посоветовать

https://libres.uncg.edu/ir/asu/f/Johann_Patricia_2008_Foundations_For_Structured_Programming_with_gadts.pdf
источник

s

sherzod in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
λoλcat
а ГАДТы возникают для енкодинга типизированных ДСЛей
Вот это хороший поинт для понимания, спасибо
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
λoλcat
а ГАДТы возникают для енкодинга типизированных ДСЛей
В этом плане тф так же ограничтвает набор операций как и набор конструкторов ГАДТа.
источник

s

sherzod in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Хоть вроде как казалось очевидный, но то что нужно было отметить явно
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Просто тф кодяру можно написать на трех баундах, а подставить туда мегаструктурку типа зио
источник