Телеграмм чат группы haskellru страница 15938

https://ru.wikipedia.org/wiki/Лямбда-исчисление

Wikipedia

Лямбда-исчисление

Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.

19:57пожаловаться #1

вы процитировали правильно, но выводы сделали нелогичные

19:57пожаловаться #2

Я поэтому специально оговорил про потенциально бесконечный объём данных

19:57пожаловаться #3

Что такое в Хаскеле а = 3?

Потому что почуял id

данные можно вводить и выводить. или с точки зрения теории они могут быть аргументом и результатом целой программы

19:58пожаловаться #6

нет такого данного

19:58пожаловаться #7

уравнение, связывающее переменную и данное

19:59пожаловаться #8

почему? это не влияет на модель ФП

20:00пожаловаться #9

На модель не влияет. Но возражения что множество значений всех возможных типов бесконечно хотел пресечь на корню

20:01пожаловаться #10

Давайте определимся в терминах

20:01пожаловаться #11

В хаскеле это какая сущность?

20:01пожаловаться #12

Данные -- это любые значения, не кодирующие вычисления (data). А не что-то что на вход получено, как в задаче "дано"

20:02пожаловаться #13

Grigory Petrov in Haskell

ленивая

20:02пожаловаться #14

Посему это возражение не принимается без обоснования

20:02пожаловаться #15

Из функции вы можете вернуть функцию, можете передать функцию как аргумент.
То есть тоже можно вводить и выводить

20:02пожаловаться #16

Я имел ввиду имя, тип или функция или что еще?

20:03пожаловаться #17

уравнение — элемент синтаксиса
3 — литерал, который в данном случае скорее всего превратится в ленивое значение, как-бы-функцию от типа

20:03пожаловаться #18

Grigory Petrov in Haskell

я же говорил

20:04пожаловаться #19

А в чем разница между функцией и данными тогда?