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

data A a where
X :: Int -> A Int

f :: A a -> a
f (X x) = x

тут x имеет тип Int, но вернуть нужно 'a', явная ошибка типов. Это тайпчекается только из-за того, что хаскель делает неявную коерсию из Int в 'a', которая в корке уже вполне явная

источник

00:09пожаловаться #4

Alexey Fedotov in Haskell

я бы сказал, что так судить нельзя по очень простой причине. В жс разные поддерживаемые им типы ведут себя по разному, на уровне синтаксиса. При этом они так хорошо забоксены, что успешно притворяются другими типами, опять же, на уровне языка.

источник

00:09пожаловаться #5

Ilya Kos in Haskell

В случае "2" + 2 меняется не просто тип, но и значение

источник

00:10пожаловаться #6

Alexey Fedotov in Haskell

Т.е. он не в ту или другую сторону, а вообще где-то в другом пространстве обитает

источник

00:10пожаловаться #7

кана in Haskell

а, понял, да, разница есть

источник

00:10пожаловаться #8

Kir in Haskell

Так, стоп, а какова семантика <|>-то?

(<|>) :: Prism s t a b -> Prism s t' a' b' -> Prism s (Either t t') (Either a a') (Either b b')

источник

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

кана in Haskell

но смысл тот же, компилятор/интерпретатор где-то достраивает неявное преобразование

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

источник

00:11пожаловаться #10

Jerzy Syrowiecki in Haskell

нет, тип же не меняется

источник

00:12пожаловаться #11

Kir in Haskell

Так в расте сделана поддержка юникода. Оно качает стандарт, в каком-то виде, парсит и генерит код

источник

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

кана in Haskell

тут наверное только траверсалы можно, призмы тут лишние