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

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

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

Kir in Haskell

Ну, так-то справедливо

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

можно вот такое еще навернуть, как у хендлеров эксепшенов, хоть наверняка кто-то такое сделал уже

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

Как-то так можно?
case ... of
a :: Int -> ...
b :: String -> ...
_ -> ...

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

нет, это же матчинг по типам, нельзя матчить по типам

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

😭

18:21пожаловаться #6

иначе у
id :: forall a. a -> a
было бы бесконечно много значений

18:21пожаловаться #7

Что?

18:22пожаловаться #8

ну если бы можно было бы матчить по типам, то можно было бы написать

id :: forall a. a -> a
id x =
case x of
_ :: Int -> x + 1
_ -> x

18:22пожаловаться #9

А не тонны мерзоты. Странно что в текущем состоянии экзистеншалы юзлесс

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

😒

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

хм, да почему же, в них нет фичей которых не хватает

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

добавить Typeable не проблема, потому что он и так для всех типов выводится

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

констрейнт на Typeable в конструкторе лишь означет что его инстанс нужно положить в конструктор заранее, а не то что типу нужно его сдерайвить

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

А могли бы сразу добавить матчинг. Иначе нужно городить хйню

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

НЕЛЬЗЯ добавлять матчинг

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

Почему

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

да я выше причину написал же

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

Переслано от кана

ну если бы можно было бы матчить по типам, то можно было бы написать

id :: forall a. a -> a
id x =
case x of
_ :: Int -> x + 1
_ -> x

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

И что