Size: a a a

2020 May 05

к

кана in Haskell
без аннотации тип фунуцию не использовать
источник

AV

Alexander Vershilov in Haskell
а == откуда?
источник

к

кана in Haskell
Data.Type.Equality из base
источник

к

кана in Haskell
кана
такой вариант видел
вообще это не оч работает, возможно там было что-то другое, но завязано на ==
источник

AV

Alexander Vershilov in Haskell
mkProxy2 :: forall t a. ((t == a) ~ True) => a -> Proxy2 t a
mkProxy2 _ = Proxy2
источник

AV

Alexander Vershilov in Haskell
Работает
источник

AV

Alexander Vershilov in Haskell
== срабытвает как открытое семейство вместо Ambiguous
источник

AV

Alexander Vershilov in Haskell
Круто, теперь можно чуть-ли не generic в hasql тащить
источник

AV

Alexander Vershilov in Haskell
Надо ещё придумать, что с nullable и nonNullable делать
источник

AA

A64m AL256m qn<co... in Haskell
че, выходит simdострадания в гсок не прошли?
источник

A

Antonio in Haskell
зато Badges for Hackage будут!
источник

NI

Nick Ivanych in Haskell
А оптимизации про Eff прошли?
источник

AA

A64m AL256m qn<co... in Haskell
не помню такого гсок пропозала
источник

AV

Alexander Vershilov in Haskell
Лекси же сама их просто пилит и через пропозалы протаскивает
источник

AV

Alexander Vershilov in Haskell
Это ж не GSoC проект?
источник

AA

A64m AL256m qn<co... in Haskell
они уже вроде имплементированы даже
источник

NI

Nick Ivanych in Haskell
A64m AL256m qn I0
они уже вроде имплементированы даже
Они имплементированы, но непонятно, в каком ghc они появятся.
источник

AA

A64m AL256m qn<co... in Haskell
непонятно, пропозал не рассматривался комитетчиками-то еще
источник

DI

Dmitry Ivanov in Haskell
badges два раза будут, что ли?
источник

NI

Nick Ivanych in Haskell
Понятно, спасибо.
источник