BP
Ебать. Может мне уроки сделать
Size: a a a
2021 January 29
IP
Переслано от Архадар Уваров
Я пытаюсь осмыслить для себя конструкцию view:View. Чтобы понять и потом запомнить.
Это куда он постит?
IP
Я схожу за попкорном, а ты напиши
BP
Это куда он постит?
Старт
IP
Старт
А, пропустил
IP
Ебать. Может мне уроки сделать
Нет, тут может проблема
I
Ебать. Может мне уроки сделать
А можно из start ливнуть
IP
Ебать. Может мне уроки сделать
BP
А можно из start ливнуть
М - мотивация ?
IP
Но я не знаю, а оценить видеоуроки можно только эмпирически, поэтому делай @SchFuntik
AG
За логарифмическую шкалу без подписей банить надо.
IP
За логарифмическую шкалу без подписей банить надо.
Почему сразу логарифмическая?
IP
Там гамма-функция
BP
Почему сразу логарифмическая?
+++
IP
Я посмотрел кусочками пред. версию той лекции. В общем-то, там ничего сильно сложного, кроме обзора пи-исчисления под конец нет
IP
Ну а до этого там просто введение в лямбда-исчисление, абстракция, каррирование, паттерн-матчинг и изоморфизм Карри - Ховарда
IP
Ну и пи-исчисление, оно не сложно само по себе, просто оно реально как-то в отрыве от реального мира собрано
IP
То есть, понятно, что его, как лямбду можно расширять (типы приклеить, язык сделать и т.п.), но никто этого не сделал
IP
Во всяком случае, я не знаю о таком. /summon @angmarr
