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

20:23пожаловаться #1

нет, там нет функций, там есть абстракции, то есть код, и не любая абстракция выражает функцию

20:23пожаловаться #2

Lierdakil in Haskell

но его можно расширить настоящими данными

20:23пожаловаться #3

Lierdakil in Haskell

собственно первое что с ним делают обычно...

20:23пожаловаться #4

так, ну-ка подробнее. что за "настоящие данные"? давайте определение

20:24пожаловаться #5

Во всяком случае GHCI разницы не видит

*Main Lib Paths_lhHello0001> f = 3
*Main Lib Paths_lhHello0001> :t f
f :: Num p => p
*Main Lib Paths_lhHello0001> :t 3
3 :: Num p => p

20:24пожаловаться #6

а у меня разница огромная

> :t 3
3 :: forall {p}. Num p => p

> :t f
<interactive>:1:1: error: Variable not in scope: f

20:25пожаловаться #7

Вообще то изначально там про оперативную память и не думали, когда лямбдили исчисление, только о тетрадке

20:25пожаловаться #8

да, но это не связано

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

У вас 3 предопределенная функция, а f нет

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

Lierdakil in Haskell

В модели расширенного λ-исчисления любой терм не являющийся λ-абстракцией, применением или свободной переменной можно назвать данными в противовес "коду".

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

Связано, так как все переменные и вообще императивщина появились исключительно по причине ограниченных вычислительных ресурсов

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

кана in Haskell

хм, это цитата? Емнип абстракции тоже относятся к данным, в противовес коду