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

кана

а как скрыть кайнд, чтобы не нужно было его указывать через type applications?

{n} ?

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

такое не заработало, расширение тоже никакое не выдало

14:16пожаловаться #2

Пока не сделали

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

А как мне написать

foo :: ?bar :: Int => ...
foo = ....
  ?x = g ?x

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

а сейчас такое можно написать что ли?

14:18пожаловаться #5

С имплиситами, насколько я понимаю, можно

не, такое сейчас нельзя

14:23пожаловаться #8

ты не то делаешь

14:25пожаловаться #9

let ?x = 1 in let ?x = ?x +1 in ..

14:25пожаловаться #10

ну вот у тебя просто ?x = g ?x

14:26пожаловаться #11

ты пропустил сигнатуру foo

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

В общем имплиситовые let нерекурсивные

14:26пожаловаться #13

О чём я целый твит написал, аж 2!

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

Alexander Vershilov

ты пропустил сигнатуру foo

ну они же никак не связаны

14:26пожаловаться #15

но я понял что ты имеешь в виду, там наверное вместо ?bar :: Int должно быть ?x :: Int

14:27пожаловаться #16

foo :: (?q :: Int) => Int
foo = (+1) ?q where
  ?q = (+2) ?q

14:27пожаловаться #17

вот это компиляется

14:27пожаловаться #18

А, да

14:27пожаловаться #19

ага, а give не позволяет сделать local