Пользователь 629ac

как так-то?! В Хаскеле же багов нет? Типы там, профункторы, зависимые типы - багов нет!!! /sarcasm/

Есть такая линза - (<>~) :: Semigroup a => ASetter s t a a -> a -> s -> tУ меня есть тип - data Client auth act = Client { _clientManager :: H.Manager , _clientAuth :...

Ребят, а вы про никс говорите. Вы что, на НиксОСе сидите? Или просто пакедж-менеджер ихний ставите на Линукс?

вот почему никто не говорит ну ни разу об Эликсире? :) А ведь он прекрасно подходит для этих задач. И у них там есть даже спец фреймворк, забыл как его

чувак ездил на последнюю λConf, и говорит: "Да даже математики переходят на coq!". И вот я думаю, а за каким лядом может быть нужен математику coq?! Я могу вообразить только в...

вот я и спрашиваю, что в итоге я получаю? Я этот объект могу начать процессить через пол-часа. Каково состояние сокета, буферов, хипа Хаскела при таком раскладе?

Играюсь с GADT-ами и дерайвингом Genericа для них. Вот такое проходит: class X a; class Y a data T :: (* -> Constraint) -> * where T1 :: { x :: Int } -> T c T2 :: { y...

да, но на mtl-е же абстрактная монада. А на фримонадах там разве не список из данных, который интерпретируется потом? Или я что-то совсем старое читал... что-то у Гонзалеса...

Вот написал такое грубо говоря - class X a where x :: String -> Maybe a newtype Helper a = Helper a instance X a => SomeClass (Helper a) where .... data DDD = .... deriving...

А вот такой тупой вопрос: ну простенькое что-то, условно Хеллоу-ворлд, когда транспилируешь Пюрескрипт в ЖС, в итоге этот ЖС что представляет? Маленький ЖС, как из си-шарпа? И...

а есть способ из forall a b. ... XXX a -> XXX b -> ... сделать что-то такое, чтоб в TypeApplication указывать не типы для a, b, а для XXX a, XXX b ?

Линукс. А у тебя что?

мое ИМХО в том, что вся эта игра с типами бессмысленна при вот таком белом пятне в поведении первоклассных для ОС объектов и в то же время скрытых от Хаскелиста. Типа мы safe....

если так дальше пойдет vscode убьет основной бизнес ДжетБрейнса) Они кстати, тоже что-то на Хаскеле же делали?

но знаешь чего я все-таки не понял, твои ошибки, они будут внутри программы "в структурированном виде", и снаружи как человеко-читаемый текст. ОК. Но снаружи в "структурирован...

ну грубо говоря на Си структура из 4-ех unit8_t занимает 4 байта (выровненная). А на Хаскеле? :)

Есть класс (TF, буду использовать как монаду в Constraint-ах) - class Monad m => ClientM auth act m where authClient :: Client auth act -> H.Request -> m (H.Request)и есть...

Изучаю servant и пытаюсь сделать custom errors: скажем хочу вернуть клиенту в качестве ошибки JSON со своими произвольными полями и какой-нибудь HTTP код. Вообще любые errorы ...

Ну странно - newtype Nullable a = Nullable { getNullable :: Either a a } instance ToJSON a => ToJSON (Nullable a) where -- toJSON (getNullable -> Left _) = Null -- t...

Народ. А у кого какие претензии накопились к серванту? Типа то не очень дизайнуто, сё бывает глючит... Я его никогда не юзал, но хочу собрать негативные отклики, пока нашел 1)...