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

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

Maxim Koltsov

хм, а я могу прямо этот форалл в метче написать?

пока что вроде нет

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

но такой пропосал был

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

https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0126-type-applications-in-patterns.rst

GitHub

ghc-proposals/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell - ghc-proposals/ghc-proposals

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

точно!

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

вот теперь я понял зачем он нужен

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

правда я понял что мне этот TMaybe всё равно не поможет(

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

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

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

A64m AL256m qn<co... in Haskell

эта фича мож даже успеет в 8.12 но я бы особо не рассчитывал

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

когда-нибудь завтипы все исправят

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

но это очень не точно

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

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

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

что за жизнь

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

Maxim Koltsov

data TMaybe where
  TNothing :: TMaybe
  TJust :: forall a. Proxy a -> TMaybe

а как это матчить с помощью прокси?

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

кана

а как это матчить с помощью прокси?

case foo of TJust (_ :: Proxy a) -> ...

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

тут как раз ничего сложного

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

понял, не знал что можно писать аннотации в паттернах

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

это ScopedTypedVariables включает

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

а, знал, let x :: y = b же писал

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

жаль нельзя вот так тип матчить и коершины генерировать
let x :: a = (2 :: Int) in x