Size: a a a

2020 December 14

к

кана in Haskell
:t покажет тот же тип
ide покажет тот же тип
источник

MK

Maxim Koltsov in Haskell
В ревью пр тебе кто тип покажет?
источник

к

кана in Haskell
эх, да, никто
источник

к

кана in Haskell
ну тогда жду когда к каждому data/type/type family начнут писать type с сигнатурой
источник

MK

Maxim Koltsov in Haskell
Не помешает
источник

MK

Maxim Koltsov in Haskell
Хотя меня и инлайн синтаксис устраивает
источник

K

Kir in Haskell
кана
ну тогда жду когда к каждому data/type/type family начнут писать type с сигнатурой
источник

MK

Maxim Koltsov in Haskell
data Foo (a :: Bar)
источник

к

кана in Haskell
фича-то есть, но нужно чтобы все ее использовали для всех топлевел определений типов
источник

ЗП

Зигохистоморфный Пре... in Haskell
можно считать это валидным и законным?
ca <|> cb = Cont $ \f -> run ca f <|> run cb f
источник

к

кана in Haskell
Maxim Koltsov
data Foo (a :: Bar)
ого, прямо как

foo (a :: Int)
источник

MK

Maxim Koltsov in Haskell
кана
ого, прямо как

foo (a :: Int)
Ну другого способа-то не было
источник

MK

Maxim Koltsov in Haskell
Теперь есть - буду писать так
источник

MK

Maxim Koltsov in Haskell
Когда релиз с этим до меня дойдёт
источник

MK

Maxim Koltsov in Haskell
Это кстати в 8.10 попало?
источник

к

кана in Haskell
хм, это вроде оч давно уже есть
источник

MK

Maxim Koltsov in Haskell
По ссылке коммит 2019 года
источник

к

кана in Haskell
а, ты про type signature
источник

MK

Maxim Koltsov in Haskell
Да
источник

к

кана in Haskell
да, в 8.10 есть однозначно, думаю и в 8.8 есть
источник