Size: a a a

2020 June 23

к

кана in Haskell
это отлично, на хаскеле тоже нужно стремиться к уменьшению аннотаций
источник

MK

Maxim Koltsov in Haskell
Ой всё
источник

AV

Alexander Vershilov in Haskell
да скулайт симпл норм выглядит для задачи
источник

MK

Maxim Koltsov in Haskell
Свидетели Дамаса и Милнера
источник

A

Andrey in Haskell
Alexander Vershilov
да скулайт симпл норм выглядит для задачи
хoрoшo..
источник

AA

A64m AL256m qn<co... in Haskell
кана
ну писать на нем мб и неудобно без тайпклассов, но язык все равно удобный!
вот да, отсутствие тайпклассов убивает все удобство Ж(((
источник

YP

Yuriy Pitomets in Haskell
кана
рекорды
рекорды, строчный полиморфизм, модули, сигнатуры, как следствие тайп-фемили и гадт как совершенно естественная часть языка, открытые и расширяемые перечисления, в чем-то местами более удобный паттерн-матчинг, симпотичный синтаксис... И, как буд-то этого было мало — полноценное опционально иммутабельное ООП. Которое никто не пользует)
источник

к

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

YP

Yuriy Pitomets in Haskell
Maxim Koltsov
Да дались вам модули
Что они полезного в повседневной работе дают?
неймспейсинг, gadt, type families, type classes, higer kind — все это при желании только через одну абстракцию
источник

MK

Maxim Koltsov in Haskell
Types.hs!
источник

AV

Alexander Vershilov in Haskell
T.hs
источник

к

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

AV

Alexander Vershilov in Haskell
Data.Int.T
источник

MK

Maxim Koltsov in Haskell
Yuriy Pitomets
неймспейсинг, gadt, type families, type classes, higer kind — все это при желании только через одну абстракцию
Где можно посмотреть, например, про гадты и модули?
источник

AV

Alexander Vershilov in Haskell
Data.Bool.T
источник

AA

A64m AL256m qn<co... in Haskell
кана
рекорды
не самый удовный в смысле рекордов язык-то. одни рекорды слишком убогие, другие слишком навороченные где не надо
источник

ХЛ

Хороший Лисичко... in Haskell
_Ryner' :: IO ❄️
Help! В доках написано что так энкодился enum, но он все-равно выдает:

ResultError (ServerError "42804" "column \"presence\" is of type svarta_state.presence_type but expression is of type text" Nothing (Just "You will need to rewrite or cast the expression."))
Что за редактор? Код выглядит классно
источник

к

кана in Haskell
A64m AL256m qn I0
не самый удовный в смысле рекордов язык-то. одни рекорды слишком убогие, другие слишком навороченные где не надо
да главное что без конструкторов, и тип рекорда выводится по полям
источник

YP

Yuriy Pitomets in Haskell
Quet Zal
язык удобный, а вот писать на нем не очень ) класс..
в хаскеле просто либы лучшеее. Зато каждый исходник, как следствие, похож на пейпер по теоркату. Гуд лак хэв фан в плане рынка труда.
источник

AV

Alexander Vershilov in Haskell
> Зато каждый исходник, как следствие, похож на пейпер по теоркату.

o.O
источник