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

на бесконечную глубину

03:16пожаловаться #1

ну ладно, создать, получается, можно, это будет ссылка на незавершающееся вычисление

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

так, ок, чем это будет отличаться от

struct X { X *x };
X *x = new X { x = x };

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

псевдосинтаксис, но смысл думаю понятен

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

тем, что с x здесь можно что-то сделать

03:19пожаловаться #5

можно даже лучше: newtype X = X X - эта штука изоморфна data X и имеет лишь одно значение, если это можно так назвать - undefined

03:22пожаловаться #6

не ну это не то же самое

03:22пожаловаться #7

data X даже с ! не анбокснутый

03:22пожаловаться #8

там хранится ссылка на X внутри

03:22пожаловаться #9

это так

03:22пожаловаться #10

внутри X, определённого через data, живут два разных undefined

03:23пожаловаться #11

но они, получается, изоморфны?

03:23пожаловаться #12

приглашаются знатоки ТК и теории типов

03:24пожаловаться #13

Ortofax

тем, что с x здесь можно что-то сделать

не понимаю этого сообщения

03:24пожаловаться #14

в примере с struct валидное строгое бесконечное значение, которое не уйдет в бесконечную рекурсию

почему это не то же самое, что и data X = X !X

03:24пожаловаться #15

struct X { X *x }; X *x = new X { x = x };
эта штука эквивалентна
data X = X X
если допустимо X *x = null

03:25пожаловаться #16

для неё можно построить значение за конечное время

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

точнее можно построить whnf за конечное время, если я правильно понимаю

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

стрим целиком нельзя построить за конечное время, однако whnf можно

03:29пожаловаться #19

Ortofax

struct X { X *x }; X *x = new X { x = x };
эта штука эквивалентна
data X = X X
если допустимо X *x = null

ну смотри, тут значение строгое (предположим что у нас нет null)?