Size: a a a

2021 April 07

AK

Aleksey Kislitsa in Haskell
Можете привести цитату подтверждающую?
источник

JS

Jerzy Syrowiecki in Haskell
с точки зрения ФП функцией является только функция, всё остальное не функция. данные не функция
источник

L

Lierdakil in Haskell
Окай. Кодирование Чёрча не функции?
источник

L

Lierdakil in Haskell
(так себе пример, но показывает что категоричность несколько неуместна)
источник

JS

Jerzy Syrowiecki in Haskell
что именно? это вы выдвигаете странный тезис, вы и приводите доказательства
источник

AK

Aleksey Kislitsa in Haskell
Остальное что? Про кодирование Черча вопрос кстати удачный
источник

JS

Jerzy Syrowiecki in Haskell
кадирование Чёрча преобразует данные в функцию
источник

AK

Aleksey Kislitsa in Haskell
Выражает данные через функцию
источник

JS

Jerzy Syrowiecki in Haskell
остальное — это данные
источник

JS

Jerzy Syrowiecki in Haskell
да. но при этом данные остаются данными
источник

L

Lierdakil in Haskell
Я вот привожу обоснование что данные чистым функциям изморфны. И не вижу внятных аргументов против.
источник

L

Lierdakil in Haskell
На доказательство конечно не тянет но мне лень
источник

JS

Jerzy Syrowiecki in Haskell
данным можно сопоставить функцию, а функцию не всегда можно даже сопоставить с данными
источник

L

Lierdakil in Haskell
Если игнорировать bottom и сайд-эффекты -- то всегда
источник

AK

Aleksey Kislitsa in Haskell
Это не странный тезис.
Я не гуру, потому процитировал википедию, считаете что имеете более доверенный источни, то приведите
источник

L

Lierdakil in Haskell
Или приведите контрпример
источник

L

Lierdakil in Haskell
Допускаем потенциально бесконечный объём данных в рамках модели
источник

AK

Aleksey Kislitsa in Haskell
Чем в ФП отличаются данные от функции тогда?
источник

JS

Jerzy Syrowiecki in Haskell
вы начали с идентичности, теперь отступили до изморфности. но даже это неправда. возьмите функцию \x -> x. какому данному она изоморфна?
источник

L

Lierdakil in Haskell
Множеству всех допустимых значений в рамках системы типов вестимо
источник