БЁ
Это всё не сложно по идее, всеми этими лопатаморфизмами джунов фронтендеров пугайте
Size: a a a
2021 January 09
БЁ
Я с советского матфака
ЗП
А с Окасаки уже начнется веселье
еще Берд есть
MP
тааак
Not in scope: type variable ‘a’
|
217 | g @a x
| ^
постоянно забываю какие там правила, чтобы ему сказать, что буковка х в сигнатуре и буковка х в теле функции значит одно и то же
g :: b -> Bool
g _ = False
f :: a -> Set a -> Bool
f x xs = g @a x
Not in scope: type variable ‘a’
|
217 | g @a x
| ^
постоянно забываю какие там правила, чтобы ему сказать, что буковка х в сигнатуре и буковка х в теле функции значит одно и то же
MP
или я хочу странного?
MP
вроде нет, я хочу вполне человеческой вещи
MP
TypeApplications и ScopedTypeVariables есть
YS
forall?
YS
Ну, вроде он нужен для ScopedTypeVariables
YS
Хотя кажется это не ответ на твой вопрос)
YS
Но тем не менее
AP
forall нужен, да
MP
вот!
MP
да, спасибо
MP
уже раза два спотыкался об это и никак не запомню
YS
Я просто почти всегда forall пишу
YS
Ну или достаточно часто