Телеграмм чат группы purescript

Size: a a a

PureScript — русскоговорящее сообщество

2018 November 29

eahqzsr in PureScript — русскоговорящее сообщество

тут же в куске типа изолированный forall
потому что у линзы forall p. Strong p => ...
распиши линзу и увидишь, что p живет не в области всего типа

Это понятно. Непонятно как тип выводит компилятор, если не задать сигнатуру явно

источник

14:36пожаловаться

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

p живёт не в области всего типа, но так утечки p то нет?

источник

14:51пожаловаться

parket in PureScript — русскоговорящее сообщество

Вот, совсем рафинад;

bar :: ( forall p. Functor p => p Int ) -> Int
bar x = 10

baz :: ( forall p. Functor p => p Int ) -> Int
baz = bar

источник

15:10пожаловаться

parket in PureScript — русскоговорящее сообщество

Причем, если констрейнт убрать - чекается.

источник

15:11пожаловаться

eahqzsr in PureScript — русскоговорящее сообщество

Тайпклассы необходимое условие?

источник

15:13пожаловаться

parket in PureScript — русскоговорящее сообщество

Да.

источник

15:13пожаловаться

parket in PureScript — русскоговорящее сообщество

Ну, в смысле чтоб упало 😂

источник

15:13пожаловаться

parket in PureScript — русскоговорящее сообщество

http://try.purescript.org/?gist=c7b91ac4f2699d2428940a91d8b65620

источник

15:16пожаловаться

eahqzsr in PureScript — русскоговорящее сообщество

Зарепортить бы надо

источник

15:17пожаловаться

parket in PureScript — русскоговорящее сообщество

Все согласны, что это неадекват?

источник

15:18пожаловаться

parket in PureScript — русскоговорящее сообщество

Или мы что-то упустили?

источник

15:18пожаловаться

parket in PureScript — русскоговорящее сообщество

источник

15:23пожаловаться

parket in PureScript — русскоговорящее сообщество

Ghci чекнул

источник

15:23пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

https://stackoverflow.com/questions/43817554/purescript-error-cant-match-equivalent-types

Stack Overflow

Purescript error - can't match equivalent types?

Error found:
in module Test
at /Users/arahael/dev/test/test.purs line 14, column 37 - line 14, column 59

Could not match constrained type

(Spreadable a0) => Array a0 -> Int

with ty...

источник

15:28пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

еще раз) эта экспансия и пока это вариант решения

источник

15:28пожаловаться

parket in PureScript — русскоговорящее сообщество

Но это багло, так?

источник

15:29пожаловаться

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество

для меня это не проблема, написать явные аргументы
попривыкали блин сокращать

источник

15:30пожаловаться

parket in PureScript — русскоговорящее сообщество

Дело принципа.

источник

15:30пожаловаться

parket in PureScript — русскоговорящее сообщество

The compiler needs some help in some situations involving rank N types. This help can come in the form of eta expanding functions (which causes the type checker to check the function correctness in a slightly different way) or adding more type annotations. I suspect you might need to do the latter in this case.

which causes the type checker to check the function correctness in a slightly different way - Где это, блин, описано. А то отстрелить ноги - нехер делать.

К ghc попривыкали. :)

источник

15:33пожаловаться

parket in PureScript — русскоговорящее сообщество

Зигохистоморфный Препроморфизм

Busted! 🤣

источник

15:33пожаловаться