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

Size: a a a

Haskell Start

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

2021 October 15

Aleksei (astynax) Pi... in Haskell Start

Это просто такое название для "один из лучших в" — "best in class"

источник

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

∀

∀λ∃π(א) in Haskell Start

при всей субъективности (заявленной и очевидной) документа, тут best in class подразумевается именно как лучший, для этих задач:
“Best in class: the best experience in any language”

источник

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

Иван in Haskell Start

Я бы посмотрел такой доклад.

источник

16:50пожаловаться #3

Aleksei (astynax) Pi... in Haskell Start

Ок, можете считать это моей уточняющей трактовкой :)

источник

16:55пожаловаться #4

Иван in Haskell Start

Параметрический полиморфизм это тоже из типов в значения?
Из типов в типы это вроде речь про тайпфэмили, а вот из значения в типы это про что?

источник

17:13пожаловаться #5

parket in Haskell Start

Про завтипы.

источник

17:29пожаловаться #6

Jerzy Syrowiecki in Haskell Start

параметрический полиморфизм — это тип или значение, в которое можно прозрачно подставить любой тип, то есть реализация от этого параметра фактически не зависит

источник

17:31пожаловаться #7

∀

∀λ∃π(א) in Haskell Start

Принято. И согласен с трактовкой)
Извините за придирку

Немного удивлен, что финансовый сектор даже не упоминается

источник

17:35пожаловаться #8

Jerzy Syrowiecki in Haskell Start

может, потому что в финансовом секторе задачи такие же, как в других секторах

источник

17:37пожаловаться #9

parket in Haskell Start

Параметрический полиморфизм (parametric polymorphism), ..., позволяет придать участку кода «обобщенный» тип, используя переменные вместо настоящих типов, а затем конкретизировать, замещая эти переменные типами. Параметрические определения однородны: все экземпляры данного фрагмента кода ведут себя одинаково.

Дополню ответ цитатой из TAPL :)

источник

17:37пожаловаться #10

Иван in Haskell Start

Согласен, но ведь результат будет разного типа в зависимости от типа параметра. Ну либо я не очень понял что конкретно подразумевалось под "из типов в значения"

источник

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

Иван in Haskell Start

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

источник

18:02пожаловаться #12

Jerzy Syrowiecki in Haskell Start

да, полиморфизм — это возможность строить на основе типов значения и типы.

но параметрический полиморфизм — это особый случай, когда строить особенно легко (и можно весь код написать заранее)

источник

18:03пожаловаться #13

Aleksei (astynax) Pi... in Haskell Start

Typeclasses работают как функции из типов в значения. Сам по себе параметрический полиморфизм тут ни при чём

источник

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

[

[BRM]White Rabbit in Haskell Start

https://hackage.haskell.org/package/base-4.15.0.0/docs/GHC-TypeLits.html#:~:text=natSing-,natVal,-%3A%3A%20forall%20n%20proxy

источник

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

[