В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1577 membersпожаловаться на группу
2021 April 07

L

Lierdakil in Haskell
λ x. y x
абстракция? если η-редукцию в стратегию вычисления включить то есть ещё что вычислить.
λx . λ y. x y x
абстракция? при полной β-редукции редуцируется до λx . x x
источник
20:31пожаловаться#1

JS

Jerzy Syrowiecki in Haskell
дело не в оперативке, а в том, что (λx.xx)(λx.xx) не редуцируется
источник
20:32пожаловаться#2

L

Lierdakil in Haskell
В чистом λ-исчислении кроме абстракций нет ничего. Поэтому собственно и кодирование Чёрча. В расширенном обычно делают различие, по крайней мере в обычных человеческих обсуждениях. Ресёрч-статьи я не читал, может в них более строгая терминология.
источник
20:33пожаловаться#3

JS

Jerzy Syrowiecki in Haskell
вот вы сами и опревергли свой тезис, что данные являются функциями
источник
20:34пожаловаться#4

L

Lierdakil in Haskell
Я не говорил что являются
источник
20:34пожаловаться#5

L

Lierdakil in Haskell
Изоморфны
источник
20:34пожаловаться#6

L

Lierdakil in Haskell
Знак равенства ставить не стоит
источник
20:34пожаловаться#7

JS

Jerzy Syrowiecki in Haskell
значениями, но не данными
источник
20:34пожаловаться#8

MK

Maxim Koltsov in Haskell
В статьях обычно есть сущность value, до которой идёт редукция
В обычной лямбде value это только абстракции
Можно расширять список value булами, числами и тп
источник
20:34пожаловаться#9

JS

Jerzy Syrowiecki in Haskell
функция — это однозначное сопоставление входа и выхода, а процедура — это набор действий. вообще ничего общего
источник
20:36пожаловаться#10

AK

Aleksey Kislitsa in Haskell
Я спросил Александра Гранина, можно ли рассматривать в ФП все как функцию... позвал старшекласника в песочницу 😇
источник
20:36пожаловаться#11

AK

Aleksey Kislitsa in Haskell
Переслано от Aleksey Kislitsa
Я тут с странным вопросом, можно ли в ФП рассматривать все как функцию?
источник
20:37пожаловаться#12

AK

Aleksey Kislitsa in Haskell
Переслано от Александр Гранин...
Да
источник
20:37пожаловаться#13

AK

Aleksey Kislitsa in Haskell
Переслано от Александр Гранин...
Есть способ выразить все ФП концепции через концепцию функции
источник
20:37пожаловаться#14

AK

Aleksey Kislitsa in Haskell
Переслано от Александр Гранин...
Собственно, это и есть Лямбда исчисление
источник
20:37пожаловаться#15

L

Lierdakil in Haskell
Конечно можно) вопрос-то не в этом...
источник
20:38пожаловаться#16

MK

Maxim Koltsov in Haskell
Нашли эксперта...
источник
20:38пожаловаться#17

IK

Ilya Kos in Haskell
Токсично
источник
20:38пожаловаться#18

JS

Jerzy Syrowiecki in Haskell
сначала говорил. а изоморфизм есть, но в этом утверждении нет смысла, потому что у нас в программах 3 представляется как 3, а не как λf.λx.f(f(fx))
источник
20:38пожаловаться#19

L

Lierdakil in Haskell
Так, нет, прошу процитировать где я говорил
источник
20:39пожаловаться#20