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

Size: a a a

Haskell

1586 membersпожаловаться на группу

2021 May 29

Yan Shkurinskiy in Haskell

Хоткей чтобы смотреть типы в lsp для idea под курсором?

источник

09:23пожаловаться #1

Yan Shkurinskiy in Haskell

Специально уточнил

источник

09:23пожаловаться #2

Lierdakil in Haskell

Я навскидку не помню какой там вопрос (в смысле по какой теме), но если речь про ранг полиморфизма, то ясно что не rank-n, нет ведь никаких forall "внутри" типа аргумента.

источник

09:34пожаловаться #3

Jerzy Syrowiecki in Haskell

если можно упростить до формы

"forall" переменные "." простой_тип_использующий_только_эти_переменные

, то это полиморфный тип 1 ранга

источник

10:47пожаловаться #4

Jerzy Syrowiecki in Haskell

пользуйтесь машинным переводчиком

Благодарю.

На самом деле как-то странно делить на основной чат и блах, если там сидят одни и те же челокеки.

источник

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

Jerzy Syrowiecki in Haskell

здесь мы не мешаем познавать Хаскель, а там мешаем

источник

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

кана in Haskell

хех, зацензурили все сообщения о цензуре, как иронично

источник

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

[

[BRM]White Rabbit in Haskell

Вопрос. Есть ли разница в производительности между
map (g . f)
и
map g . map f
?
По идее разница минимальная - там разве что расходы на вызов функций нужнв

источник

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

Kirill Valyavin in Haskell

Скорее всего компилятор перепишет второе в первое

источник

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

[

[BRM]White Rabbit in Haskell

Хм, а компилятор может использовать законы тайпклассов для оптимизации?

источник

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

Dreamerinnoise in Haskell