к
foo = coerce (+ (3 :: Int)) (Foo 15)Он не может вывести тип
coerce (+ (3 :: Int)Size: a a a
2021 January 06
к
И в случае
Он не может вывести тип
Он не может вывести тип
потому что результат может быть как Foo, так и Int
ЖК
не из чего это выводить. coerce потенциально к вообще любым типам применим
То есть что, при использовании coerce нужно везде пихать применения типов или типовые аннотации, чтобы объяснять GHC что и куда?
MK
да
JS
То есть что, при использовании coerce нужно везде пихать применения типов или типовые аннотации, чтобы объяснять GHC что и куда?
почти всегда. числовые литералы полиморфны, а вот такой Foo или X можно использовать без аннотации
JS
ну и не везде
ЖК
Понял, спасибо 👀
JS
в этом примере, например, аннотации на результате coerce нет, зафиксирован только тип большего выражения, внутри которого используется coerce
AS
А можно как-то убедится в том, что бесконечный список будет вычисляться всего один раз?
KV
А можно как-то убедится в том, что бесконечный список будет вычисляться всего один раз?
В смысле, чтобы все вычисленные значения мемоизировались?
AS
Да. Я нашел в интернете инфу, что для именованных сущностей это происходит по умолчанию, но не очень понимаю само правило
KV
Если определить на топлевеле с конкретным типом, то должно мемоизироваться
AS
Спасибо! А есть какая-нибудь бесполезная директива чтобы это настраивать?
KV
Не уверен
С
Если определить на топлевеле с конкретным типом, то должно мемоизироваться
а если тип полиморфный то не будет ?