MK
Блин, где превью
Size: a a a
2020 July 06
AA
я вижу
MK
согласен с ним
Ю икс и правда дерьмовый (привет, Влад), но все-таки я бы не сказал про "rarely an issue"
r
Привет. Подскажите чтиво, въехать в \ исчисления с нуля. Читал главу из Новый разум короля, посмотрел 1 из 6 лекций Москвина. Тяжеловато. Спасибо.
r
Или нужно досмотреть Москвина до конца?
r
Вопросы:
0. Основная красота (привлекательность) \исчисл. это оперирование только теми выражениями, которые можно вычислить, правильно понимаю? (Что то отдаленно схожее с инвариантностью?)
1. Что такое терм?( математический объект) грубо говоря, это всё то, что может быть частью выражения?
2. Определение и выражение. В чем разница для математика?
3. Мат.абстрагирование с точки зрения Чёрча. Для нас это суть процесс объявления(конструирования) типов? Или что то ещё(фундаментально) важное?
0. Основная красота (привлекательность) \исчисл. это оперирование только теми выражениями, которые можно вычислить, правильно понимаю? (Что то отдаленно схожее с инвариантностью?)
1. Что такое терм?( математический объект) грубо говоря, это всё то, что может быть частью выражения?
2. Определение и выражение. В чем разница для математика?
3. Мат.абстрагирование с точки зрения Чёрча. Для нас это суть процесс объявления(конструирования) типов? Или что то ещё(фундаментально) важное?
VK
r
Привет. Подскажите чтиво, въехать в \ исчисления с нуля. Читал главу из Новый разум короля, посмотрел 1 из 6 лекций Москвина. Тяжеловато. Спасибо.
А что там въезжать? Вам, похоже, нужно приобрести навык вообще работать с формализмами, а не именно \-калькулюс.
Попробуйте что-нибудь пописать, собственный код на haskell сам по себе многие вещи сделает понятными.
Попробуйте что-нибудь пописать, собственный код на haskell сам по себе многие вещи сделает понятными.
r
А что там въезжать? Вам, похоже, нужно приобрести навык вообще работать с формализмами, а не именно \-калькулюс.
Попробуйте что-нибудь пописать, собственный код на haskell сам по себе многие вещи сделает понятными.
Попробуйте что-нибудь пописать, собственный код на haskell сам по себе многие вещи сделает понятными.
Пробую. Stepik, Exercism. На степике не понял Москвина про частичное применение ф. Вот и начал копать
NI
r
Пробую. Stepik, Exercism. На степике не понял Москвина про частичное применение ф. Вот и начал копать
Например, при каких-то параметрах, функция может "зациклиться".
r
Например, при каких-то параметрах, функция может "зациклиться".
Например выход при пустом списке, это понимаю. Москвин применяет ф на два аргумента лишь к одному. Почему - не понимаю.
И да, понимаю, что ф может быть и ф и аргументом и данными
И да, понимаю, что ф может быть и ф и аргументом и данными
NI
r
Например выход при пустом списке, это понимаю. Москвин применяет ф на два аргумента лишь к одному. Почему - не понимаю.
И да, понимаю, что ф может быть и ф и аргументом и данными
И да, понимаю, что ф может быть и ф и аргументом и данными
Я думаю, что тут это оффтопик.
Всё же, это совсем-совсем основы.
Есть канал хаскеля для новичков, только забыл, как называется.
Всё же, это совсем-совсем основы.
Есть канал хаскеля для новичков, только забыл, как называется.
r
Хорошо, извините. В любом случае спасибо!
LO
https://twitter.com/phadej/status/1280124072375058434
Солидарен с автором
Солидарен с автором
DI
C, 1972, одна книга
DI
по крайней мере, все упоминают одну
DI
если бы была книга "Как писать на Си и не упороться", было бы полезно
A
Dmitry Ivanov
если бы была книга "Как писать на Си и не упороться", было бы полезно
Не знаю контекста, но 21st Century C похожа на то что ты описал. Еще есть Expert C которая обьясняет разного рода упарывания и как их избежать.
DI
21st Century C
> Use Autotools, C’s de facto cross-platform package manager
> Use Autotools, C’s de facto cross-platform package manager
LO
Dmitry Ivanov
21st Century C
> Use Autotools, C’s de facto cross-platform package manager
> Use Autotools, C’s de facto cross-platform package manager
А какие ещё варианты? не симейк же