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

Size: a a a

Haskell

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

2021 March 28

кана in Haskell

ни разу не было проблем с тайпклассами без проксей

источник

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

кана in Haskell

class X a where x :: Int

instance X Int where x = 1
instance X String where x = 2

f = x @Int + x @String

хм, это как?

Порядок переменных явно задать нельзя. Поэтому с typeapplications получается "либо всё либо ничего" часто. Я наполовину сплю, поэтому пример не возьмусь писать, но недавно плясал с бубном. Естественно переменных типов должно быть больше 1.

источник

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

Ortofax in Haskell

id v = v имеет тип forall a.a -> a;, а это типоаргумент, т.е. id 1 это ещё и, грубо говоря, id @Int 1. во всяких там агдах id : {a:Type} (v:a) -> a - у функции явно два аргумента, но первый (a) неявный и подставляется компилятором, а второй (v) - явный

источник

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

кана in Haskell

Lierdakil

у тайпаппов нет проблемы "или все или ничего", потому что есть улитки @_

источник

04:48пожаловаться #5

кана in Haskell

но соглашусь что в некоторых случаях прокидывать 3 улитки это не оч удобно, обычно я это фикшу просто еще одной функцией с нужным мне порядком

источник

04:49пожаловаться #6

Lierdakil in Haskell